11月3-4日，由中國航空學(xué)會、中國航空研究院和中航機(jī)載系統(tǒng)有限公司聯(lián)合主辦的第十一屆飛機(jī)航空電子國際論壇在上海隆重舉行。本次活動吸引了30余家航空領(lǐng)域科技企業(yè)參展，近百家企業(yè)的400位嘉賓參會。上?？匕沧鳛橐I(lǐng)工控安全的創(chuàng)新企業(yè)，攜多款航空領(lǐng)域技術(shù)成果亮相大會，并于論壇上發(fā)表報告演講。

01 報告演講

PRESENTATION

在“控制、導(dǎo)航與制導(dǎo)系統(tǒng)技術(shù)專題”分論壇，上?？匕操Y深技術(shù)專家、可信軟件創(chuàng)新研究院副院長蔡喁教授，發(fā)表“國產(chǎn)民機(jī)高安全軟件工具鏈”主題報告演講，圍繞民機(jī)高安全軟件工具的發(fā)展與挑戰(zhàn)進(jìn)行深入剖析，詳細(xì)論述當(dāng)前民機(jī)領(lǐng)域內(nèi)國產(chǎn)化高安全軟件工具的研發(fā)現(xiàn)狀。報告演講過程中，頗多具有前瞻性、洞察力的觀點得到現(xiàn)場產(chǎn)業(yè)人士的一致認(rèn)可。

02 現(xiàn)場展臺

EXHIBITION BOOTH

制造強國的核心是創(chuàng)新，在于掌握關(guān)鍵核心技術(shù)，提高國產(chǎn)化替代率是重中之重。在展會現(xiàn)場，上海控安呈現(xiàn)了嵌入式軟件智能化測試工具、可視化建模開發(fā)工具等多款國產(chǎn)化工業(yè)替代軟件，展現(xiàn)了平臺公司多年攻堅我國卡脖子技術(shù)的智慧結(jié)晶與創(chuàng)新成果。

03 國產(chǎn)工具

SMARTROCKET

SmartRocket TestGrid

高可信嵌入式系統(tǒng)代碼自動化測試與檢測工具套件

01 針對嵌入式軟件測試問題，上?？匕矊?biāo)國外同類測試執(zhí)行和覆蓋分析工具，推出集靜態(tài)分析、單元測試、集成測試于一體的軟件智能測試工具，提供具備滿足DO-178C/DO-330要求的全套適航鑒定數(shù)據(jù)包。 

點擊下方鏈接，查看產(chǎn)品詳情

SmartRocketTestGrid高可信嵌入式系統(tǒng)代碼自動化測試與檢測工具套件

SmartRocket Modeler

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

02 針對嵌入式軟件基于模型的開發(fā)工具“卡脖子”問題，上?？匕餐瞥鲋С智度胧杰浖Ｐ驮O(shè)計與開發(fā)的工具，提供基于Lustre模型語言的圖形化建模、模型靜態(tài)檢查、模型仿真與調(diào)試等功能。

點擊下方鏈接，查看產(chǎn)品詳情

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

航空科技是20世紀(jì)以來發(fā)展最為迅速、對人類生產(chǎn)生活影響最大的科技領(lǐng)域之一。從運-20到AG600再到C919，我國大飛機(jī)制造取得的傲人成績令人振奮不已。二十大報告中，再次強調(diào)了航空強國、民航強國的戰(zhàn)略性作用。上?？匕捕嗄暌詠沓掷m(xù)深耕國產(chǎn)化工業(yè)軟件工具鏈研發(fā)，并不斷攻堅航空領(lǐng)域“卡脖子”技術(shù)難題。面向未來，上?？匕矊⑹冀K以自立自強之使命擔(dān)當(dāng)站在科技前沿，為把我國建設(shè)成為航空強國而不懈奮斗。

閱讀原文