Aonix公司日前宣布，加拿大一家提供实时嵌入方案的公司Aversan选用了Aonix ObjectAda Raven安全Ada95环境和AdaCAST工具。这些产品将被用于支持Aversan的F-35(Joint Strike Fighter) PTMSC控制器软件设计和嵌入测试软件设计及验证。  

   “DO-178B Level A认证需要最迫切的安全至上的要求。”Aversan公司软件经理Ted Sherlock表示。“当我们评估供应商技术时，我们主要关心产品质量、次级承包商的响应能力，以及软件是否在技术上满足要求。Aonix满足了所有要求。”  

    Aversan选用Aonix面向安全至上软件设计的工具，延续了Aonix长期为商业及政府安全项目——如航空、高速铁轨和核工业等领域——成功交付可靠应用的历史。Aonix在安全领域享有声誉，设计了符合市场标准的工具，为大量商业及国防项目提供安全解决方案，如国际航空站、波音777、法国主力战斗机阵风多功能战斗机、C130-J大力士、空中客车A 330-340及NH90直升机。