ARINC653新版标准正式发布，望安科技参与新标准的制订

近日，ARINC653标准委员会发布ARINC653新版标准，对653P1-5航空电子应用软件标准接口作了新的补充定义。

该标准定义了航空电子计算机操作系统和应用软件之间的通用应用/执行（APEX）软件接口。应用软件和操作系统服务之间的接口需求的定义方式使应用软件能够控制内部处理元素的调度、通信和状态。补充的Part1-5增加了多核处理器服务能力。

12月23日发布在ARINC官网的信息

望安科技的赵永望董事长作为ARINC653标准委员会成员，参与了近三年的新版本标准制订的补充和修改工作。本次新版本标准的发布，由标准会员会的诸多成员单位联合完成，他们包括波音公司、空客公司、霍尼韦尔、GE航空、泰雷兹、柯林斯、风河、绿山等。其中，ARINC标准和解决方案提高了国际航空公司及其航空电子、客舱系统等领域的安全性。望安科技作为国内唯一成员单位，利用形式化验证核心技术，可提供基于标准的形式化验证和认证服务等。

望安科技赵永望董事长参加ARINC 653国际操作系统标准委员会（前排左三）