上海控安推出国内首个完全符合适航标准的轻量级嵌入式操作系统「飞蜻FlyLite」

来源：上海控安

2023-07-04

3166

6月28-29日，由中国航空学会、中国航空研究院和中航机载系统有限公司联合主办的2023（第十二届）飞机航空电子国际论坛在上海隆重召开。上海控安作为技术引领的工业安全产业生态服务平台，于大会上隆重推出国内首个完全符合适航标准的轻量级嵌入式操作系统——飞蜻FlyLite！

飞蜻FlyLite

飞蜻操作系统FlyLite（简称“飞蜻FlyLite”），由华东师大软件工程学院与上海控安联合研发，是探索中的低成本适航运行时环境的核心。飞蜻FlyLite完全按照DO-178C标准A级软件生命周期活动要求开发，具有全套的生命周期数据和适航鉴定包，支持各类低成本非分区应用快速低成本构建的要求。

✔ 接口符合Posix1002.1-2017接口规范，方便复用和移植，并推动标准化接口规范的形成，删减部分非常用接口，降低适航举证复杂度。

✔ 适配STM32-469处理器以及国产ARM处理器（TBD），通过减少适配对象避免代码膨胀控制研发和使用成本。

✔ 自动化验证关键特征采用形式化分析技术，强化对调度及时间特性的证明。采用模型方法对操作系统底层的调度进行仿真，使得对应底层特征的模型仿真成为可能。

✔ 生命周期数据包括完整的需求、设计、代码、用例、测试数据以及更改和构型记录等，可完全满足DO-178C A级软件要求。

✔ 生命周期环境采用开源/易获取且方便二次开发的构型和流程引擎，自行搭建生命周期环境平台，借助上海控安自研的SmartRocket TestGrid工具开展组件测试和覆盖率分析，大幅度降低生命周期环境成本。

活动主论坛上，华东师范大学软件工程学院、上海工业控制安全创新科技有限公司，先进航空电子研究所主任、教授级高级工程师蔡喁，发表“面向适航的低成本运行时环境解决方案”主题演讲。报告深入剖析机载软硬件的底层环境现状，并分享华东师大软件工程学院与上海控安在降低机载软硬件适航成本的探索经验。

针对民机机载软件研制和适航取证方面的技术难题，由蔡喁教授于2021年牵头，华东师大软件工程学院与上海控安联合成立先进航空电子研究所（试验室），围绕机载软件开发和验证工作，开展机载系统适航技术、机载高安全软件运行时环境、研制-验证-适航一体化环境和技术、安全系统和软件研制自动化技术等联合攻关。近年来，研究所完成了国内首个完全按照DO-178C标准A级软件研制要求开发的轻量级机载操作系统（FlyLite飞蜻操作系统）研制，先后帮助中国商飞、航发集团、中航工业各院所、深圳大疆、边界智控等企业解决多项适航关键技术难题，形成了一支服务于国产自主民机研制的复合型技术研究团队。