中证网讯（王珞）在近期举办的2024（第十三届）飞机航空电子国际论坛上，携可信代码生成AI助手、科创方舟质量管理平台等多款高可信软件产品方案亮相。

　　据悉，高可信软件分析与验证技术作为的核心技术，在强人工智能时代的重要性日益凸显，是规模化应用的前提。在OS内核、编译器、控制软件等底层系统软件验证方面具备了深厚的经验和能力，相关产品荣获CCF中国软件大会一等奖，在国内国际处kaiyun手机网 开云登录网址于领先地位，已广泛应用于航空航天、国防军工、智能汽kaiyun手机网 开云登录网址车、机器人、金融、电信等安全领域。科大国创自主研发的高可信软件技术目前在航空航天、国防领域已实现广泛应用。

　　在其它安全攸关领域，科大国创高可信软件系列产品为广大智能汽车、金融、运营商企业客户的软件开发和测试提供一站式质量管理服务。其中科创方舟软件质量管理平台集成了静态、动态分析工具，对各环节进行中央式代码质量分析和检测把控，帮助用户尽早发现软件缺陷，节省代码评审时间，助力企业实现高质量发展。

　　随着的不断发展，高可信软件在机器学习、区块链技术、量子计算等领域的重要性将日益凸显。科大国创作为高可信软件的引领者之一，未来将不断推动该领域的研究突破和实践创新。