用微信扫描二维码
分享至好友和朋友圈
QQ空间 扫一扫
用微信扫描二维码
分享至好友和朋友圈
航空电子产业是支撑国家航空工业发展的重要组成部分，是现代航空事业发展的关键基础。近年来，在国家政策的积极推动下，我国航空电子产业实现了较快发展，初步形成了较为完备的研发、生产和市场应用体系。作为关系国家安全的战略性产业，航电产业重要性日益凸显。
2024(第十三届)飞机航空电子国际论坛于5月29-30日在上海市成功举行。本届论坛由中国航空学会、中国航空研究院、中航机载（600372）系统有限公司联合主办。论坛围绕“创新驱动引领航电产业高质量发展”主题展开，来自政府、航电主系统研制企业、航空工业机载企业、智能制造相关企业、机载软硬件研制与开发相关企业和嘉宾齐聚此次盛会共同促进飞机航空电子行业技术能力提升。
此次论坛，科大国创（300520）携科创星云形式验证工具、科创瀚海静态分析工具、科创星码编程助手、科创星帆低代码平台、科创方舟质量管理平台、可信验证服务多款高可信软件产品方案亮相展示，受到与会人员广泛关注。
高可信软件是公司多年自主研发的面向程序分析和形式验证领域的基础软件，通过精确的数学描述和严格的逻辑推理，确保了人工智能关键性软件的可靠性、可信性和安全性，颠覆了传统软件开发流程，大大降低了软件编程成本。广泛应用于航空航天、国防军工、智能汽车、机器人、金融、电信等安全攸关领域。荣获CCF中国软件大会一等奖，是填补国内空白和解决“卡脖子”难题的关键技术，在国内国际处于领先地位。
未来，科大国创将持续开展高可信软件核心技术的研发与应用，助力航电产业高质量发展，为中国航空航天事业的发展保驾护航。
关注同花顺财经（ths518），获取更多机会
0人
+1
收藏(0)
分享到：
用微信扫描二维码
分享至好友和朋友圈
用微信扫描二维码
分享至好友和朋友圈
