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

来源:上海控安
2023-07-04
2675

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飞蜻操作系统)研制,先后帮助中国商飞、航发集团、中航工业各院所、深圳大疆、边界智控等企业解决多项适航关键技术难题,形成了一支服务于国产自主民机研制的复合型技术研究团队。



活动展位现场,上海控安携产业化工具民机项目“高可信嵌入式软件自动化测试工具套件”“可视化建模开发工具”等技术成果亮相,与40余家航空领域科技企业共同展现我国在航空电子高质量发展之路上的智慧结晶,吸引近500位来自政府单位、产业企业、高校院所等领导与权威专家交流研讨。


SmartRocket TestGrid

高可信嵌入式软件自动化测试工具套件

(↑点击链接,查看产品详情↑)



SmartRocket Modeler

可视化建模开发工具

(↑点击链接,查看产品详情↑)



筑牢航空强国、民航强国之基,必须将科技创新与自主可控书写于蓝天画卷之上。上海控安多年深耕国产化工业软件工具链研发,不断攻坚航空领域“卡脖子”技术难题,持续推动飞机航空电子技术革新,为把我国建设成为航空强国而不懈奋斗。


阅读原文


收藏
点赞
2000