6月28-29日， 由中國(guó)航空學(xué)會(huì)、中國(guó)航空研究院和中航機(jī)載系統(tǒng)有限公司聯(lián)合主辦的2023（第十二屆）飛機(jī)航空電子國(guó)際論壇在上海隆重召開。上?？匕?/strong>作為技術(shù)引領(lǐng)的工業(yè)安全產(chǎn)業(yè)生態(tài)服務(wù)平臺(tái)，于大會(huì)上隆重推出國(guó)內(nèi)首個(gè)完全符合適航標(biāo)準(zhǔn)的輕量級(jí)嵌入式操作系統(tǒng)——飛蜻FlyLite！

飛蜻FlyLite

飛蜻操作系統(tǒng)FlyLite（簡(jiǎn)稱“飛蜻FlyLite”），由華東師大軟件工程學(xué)院與上海控安聯(lián)合研發(fā)，是探索中的低成本適航運(yùn)行時(shí)環(huán)境的核心。飛蜻FlyLite完全按照DO-178C標(biāo)準(zhǔn)A級(jí)軟件生命周期活動(dòng)要求開發(fā)，具有全套的生命周期數(shù)據(jù)和適航鑒定包，支持各類低成本非分區(qū)應(yīng)用快速低成本構(gòu)建的要求。

? 接口符合Posix1002.1-2017接口規(guī)范，方便復(fù)用和移植，并推動(dòng)標(biāo)準(zhǔn)化接口規(guī)范的形成，刪減部分非常用接口，降低適航舉證復(fù)雜度。

? 適配STM32-469處理器以及國(guó)產(chǎn)ARM處理器（TBD），通過減少適配對(duì)象避免代碼膨脹控制研發(fā)和使用成本。

? 自動(dòng)化驗(yàn)證關(guān)鍵特征采用形式化分析技術(shù)，強(qiáng)化對(duì)調(diào)度及時(shí)間特性的證明。采用模型方法對(duì)操作系統(tǒng)底層的調(diào)度進(jìn)行仿真，使得對(duì)應(yīng)底層特征的模型仿真成為可能。

? 生命周期數(shù)據(jù)包括完整的需求、設(shè)計(jì)、代碼、用例、測(cè)試數(shù)據(jù)以及更改和構(gòu)型記錄等，可完全滿足DO-178C A級(jí)軟件要求。

? 生命周期環(huán)境采用開源/易獲取且方便二次開發(fā)的構(gòu)型和流程引擎，自行搭建生命周期環(huán)境平臺(tái)，借助上?？匕沧匝械腟martRocket TestGrid工具開展組件測(cè)試和覆蓋率分析，大幅度降低生命周期環(huán)境成本。

活動(dòng)主論壇上，華東師范大學(xué)軟件工程學(xué)院、上海工業(yè)控制安全創(chuàng)新科技有限公司，先進(jìn)航空電子研究所主任、教授級(jí)高級(jí)工程師蔡喁，發(fā)表“面向適航的低成本運(yùn)行時(shí)環(huán)境解決方案”主題演講。報(bào)告深入剖析機(jī)載軟硬件的底層環(huán)境現(xiàn)狀，并分享華東師大軟件工程學(xué)院與上?？匕苍诮档蜋C(jī)載軟硬件適航成本的探索經(jīng)驗(yàn)。

針對(duì)民機(jī)機(jī)載軟件研制和適航取證方面的技術(shù)難題，由蔡喁教授于2021年?duì)款^，華東師大軟件工程學(xué)院與上?？匕猜?lián)合成立先進(jìn)航空電子研究所（試驗(yàn)室），圍繞機(jī)載軟件開發(fā)和驗(yàn)證工作，開展機(jī)載系統(tǒng)適航技術(shù)、機(jī)載高安全軟件運(yùn)行時(shí)環(huán)境、研制-驗(yàn)證-適航一體化環(huán)境和技術(shù)、安全系統(tǒng)和軟件研制自動(dòng)化技術(shù)等聯(lián)合攻關(guān)。近年來，研究所完成了國(guó)內(nèi)首個(gè)完全按照DO-178C標(biāo)準(zhǔn)A級(jí)軟件研制要求開發(fā)的輕量級(jí)機(jī)載操作系統(tǒng)（FlyLite飛蜻操作系統(tǒng)）研制，先后幫助中國(guó)商飛、航發(fā)集團(tuán)、中航工業(yè)各院所、深圳大疆、邊界智控等企業(yè)解決多項(xiàng)適航關(guān)鍵技術(shù)難題，形成了一支服務(wù)于國(guó)產(chǎn)自主民機(jī)研制的復(fù)合型技術(shù)研究團(tuán)隊(duì)。

活動(dòng)展位現(xiàn)場(chǎng)，上?？匕矓y產(chǎn)業(yè)化工具民機(jī)項(xiàng)目“高可信嵌入式軟件自動(dòng)化測(cè)試工具套件”“可視化建模開發(fā)工具”等技術(shù)成果亮相，與40余家航空領(lǐng)域科技企業(yè)共同展現(xiàn)我國(guó)在航空電子高質(zhì)量發(fā)展之路上的智慧結(jié)晶，吸引近500位來自政府單位、產(chǎn)業(yè)企業(yè)、高校院所等領(lǐng)導(dǎo)與權(quán)威專家交流研討。

SmartRocket TestGrid

高可信嵌入式軟件自動(dòng)化測(cè)試工具套件

（↑點(diǎn)擊鏈接，查看產(chǎn)品詳情↑）

SmartRocket Modeler

可視化建模開發(fā)工具

（↑點(diǎn)擊鏈接，查看產(chǎn)品詳情↑）

筑牢航空強(qiáng)國(guó)、民航強(qiáng)國(guó)之基，必須將科技創(chuàng)新與自主可控書寫于藍(lán)天畫卷之上。上?？匕捕嗄晟罡麌?guó)產(chǎn)化工業(yè)軟件工具鏈研發(fā)，不斷攻堅(jiān)航空領(lǐng)域“卡脖子”技術(shù)難題，持續(xù)推動(dòng)飛機(jī)航空電子技術(shù)革新，為把我國(guó)建設(shè)成為航空強(qiáng)國(guó)而不懈奮斗。

閱讀原文