11月3-4日，由中国航空学会、中国航空研究院和中航机载系统有限公司联合主办的第十一届飞机航空电子国际论坛在上海隆重举行。本次活动吸引了30余家航空领域科技企业参展，近百家企业的400位嘉宾参会。上海控安作为引领工控安全的创新企业，携多款航空领域技术成果亮相大会，并于论坛上发表报告演讲。

01 报告演讲

PRESENTATION

在“控制、导航与制导系统技术专题”分论坛，上海控安资深技术专家、可信软件创新研究院副院长蔡喁教授，发表“国产民机高安全软件工具链”主题报告演讲，围绕民机高安全软件工具的发展与挑战进行深入剖析，详细论述当前民机领域内国产化高安全软件工具的研发现状。报告演讲过程中，颇多具有前瞻性、洞察力的观点得到现场产业人士的一致认可。

02 现场展台

EXHIBITION BOOTH

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

03 国产工具

SMARTROCKET

SmartRocket TestGrid

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

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

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

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

SmartRocket Modeler

可视化建模开发工具

02 针对嵌入式软件基于模型的开发工具“卡脖子”问题，上海控安推出支持嵌入式软件模型设计与开发的工具，提供基于Lustre模型语言的图形化建模、模型静态检查、模型仿真与调试等功能。

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

SmartRocketModeler可视化建模开发工具

航空科技是20世纪以来发展最为迅速、对人类生产生活影响最大的科技领域之一。从运-20到AG600再到C919，我国大飞机制造取得的傲人成绩令人振奋不已。二十大报告中，再次强调了航空强国、民航强国的战略性作用。上海控安多年以来持续深耕国产化工业软件工具链研发，并不断攻坚航空领域“卡脖子”技术难题。面向未来，上海控安将始终以自立自强之使命担当站在科技前沿，为把我国建设成为航空强国而不懈奋斗。

阅读原文