在嵌入式系统世界安全是大问题。问题是,很少有人知道如何将“安全”添加到我们的产品当甚至没人能告诉我们这是什么意思。我们也发现很难补丁安全到现有系统。很容易在从一开始设计。
这就是艾达。艾达是一种编程语言(有人称之为宗教),旨在创建安全、安全、可靠的嵌入式系统。认为军事电子、导弹和飞机。如果你想要一个极为可靠的系统(这么说),你可能想在Ada计划它。事实上,你的政府需要你计划在艾达。
的一个更大的供应商是AdaCore Ada的工具。蚊(Gnu Ada翻译)产品被武装Ada爱好者多年。AdaCore最初的蚊软件是开源的,所以你可以下载免费的自由软件基金会(FSF)如果你喜欢。AdaCore还将愉快地卖给你的阅读器蚊Pro,这是一个预先配置的各种平台的“收缩包裹”版本。你的电话。
无论哪种方式,AdaCore提供24/7技术支持蚊及其剥离产品年度会员费。公司的100名员工,80%是工程师,他们都是首先致力于技术支持。换句话说,AdaCore没有技术支持人员;工程师们。当你有一个技术问题,一个(或多个)AdaCore的程序员会送还给你。
公司提供三个Ada的“口味”的工具,这取决于政府安全/可靠性标准你想打击。有一个做- 278版本;做- 178 b版本(航空);和千(多个独立的安全水平)版本。取决于您所使用的版本,Ada代码可能正常的操作系统上运行,或者它可能需要一个专门认证的安全操作系统。只取决于你想做什么。
因为小昆虫都是开源的,你可以保持源代码方便代码检查或者只是作为一个安全网。这增加了一个额外的安全级别。