嵌入式系统/ARM技术中的ObjectAda工具用于美国F 35战机的嵌入式开发

Aonix公司日前宣布,加拿大一家提供实时嵌入方案的公司Aversan选用了Aonix ObjectAda Raven安全Ada95环境和AdaCAST工具。这些产品将被用于支持Aversan的F-35(Joint Strike Fighter) PTMSC控制器软件设计和嵌入测试软件设计及验证。 “DO-178B Level A认证需要最迫切的安全至上的要求。”Aversan公司软件经理Ted Sherlock表示。“当我们评估供应商技术时,我们主要关心产品质量、次级承包商的响应能力,以及软件是否在技术上满足要求。Aonix满足了所有要求。” Aversan选用Aonix面