11月3-4日，由中国航空学会、中国航空研究院和中航机载系统有限公司联合主办的第十一届飞机航空电子国际论坛在上海隆重举行。本次活动吸引了30余家航空领域科技企业参展，近百家企业的400位嘉宾参会。上?？匕沧魑旃た匕踩拇葱缕笠担嗫詈娇樟煊蚣际醭晒料啻蠡幔⒂诼厶成戏⒈肀ǜ嫜萁病?/span>

01 报告演讲

PRESENTATION

在“控制、导航与制导系统技术专题”分论坛，上?？匕沧噬罴际踝摇⒖尚湃砑葱卵芯吭焊痹撼げ锑淌?，发表“国产民机高安全软件工具链”主题报告演讲，围绕民机高安全软件工具的发展与挑战进行深入剖析，详细论述当前民机领域内国产化高安全软件工具的研发现状。报告演讲过程中，颇多具有前瞻性、洞察力的观点得到现场产业人士的一致认可。

02 现场展台

EXHIBITION BOOTH

制造强国的核心是创新，在于掌握关键核心技术，提高国产化替代率是重中之重。在展会现场，上海控安呈现了嵌入式软件智能化测试工具、可视化建模开发工具等多款国产化工业替代软件，展现了平台公司多年攻坚我国卡脖子技术的智慧结晶与创新成果。

03 国产工具

SMARTROCKET

SmartRocket TestGrid

高可信嵌入式系统代码自动化测试与检测工具套件

01 针对嵌入式软件测试问题，上海控安对标国外同类测试执行和覆盖分析工具，推出集静态分析、单元测试、集成测试于一体的软件智能测试工具，提供具备满足DO-178C/DO-330要求的全套适航鉴定数据包。 

点击下方链接，查看产品详情

SmartRocketTestGrid高可信嵌入式系统代码自动化测试与检测工具套件

SmartRocket Modeler

可视化建?？⒐ぞ?/span>

02 针对嵌入式软件基于模型的开发工具“卡脖子”问题，上?？匕餐瞥鲋С智度胧饺砑Ｐ蜕杓朴肟⒌墓ぞ?，提供基于Lustre模型语言的图形化建模、模型静态检查、模型仿真与调试等功能。

点击下方链接，查看产品详情

SmartRocketModeler可视化建?？⒐ぞ?/span>

航空科技是20世纪以来发展最为迅速、对人类生产生活影响最大的科技领域之一。从运-20到AG600再到C919，我国大飞机制造取得的傲人成绩令人振奋不已。二十大报告中，再次强调了航空强国、民航强国的战略性作用。上?？匕捕嗄暌岳闯中罡ひ等砑ぞ吡囱蟹ⅲ⒉欢瞎ゼ岷娇樟煊颉翱ú弊印奔际跄烟?。面向未来，上海控安将始终以自立自强之使命担当站在科技前沿，为把我国建设成为航空强国而不懈奋斗。

阅读原文