王珞 中国证券报·中证网 2024-06-07 15:41
中证网讯（王珞）在近期举办的2024（第十三届）飞机航空电子国际论坛上，科大国创携可信代码生成AI助手、科创方舟质量管理平台等多款高可信软件产品方案亮相。
据悉，高可信软件分析与验证技术作为科大国创的核心技术，在强人工智能时代的重要性日益凸显，是人工智能规模化应用的前提。科大国创在OS内核、编译器、控制软件等底层系统软件验证方面具备了深厚的经验和能力，相关产品荣获CCF中国软件大会一等奖，在国内国际处于领先地位，已广泛应用于航空航天、国防军工、智能汽车、机器人、金融、电信等安全领域。科大国创自主研发的高可信软件技术目前在航空航天、国防军工领域已实现广泛应用。
在其它安全攸关领域，科大国创高可信软件系列产品为广大智能汽车、金融、运营商企业客户的软件开发和测试提供一站式质量管理服务。其中科创方舟软件质量管理平台集成了静态、动态分析工具，对软件开发各环节进行中央式代码质量分析和检测把控，帮助用户尽早发现软件缺陷，节省代码评审时间，助力企业实现高质量发展。
随着人工智能的不断发展，高可信软件在机器学习、区块链技术、量子计算等领域的重要性将日益凸显。科大国创作为高可信软件的引领者之一，未来将不断推动该领域的研究突破和实践创新。
中证网声明：凡本网注明“来源：中国证券报·中证网”的所有作品，版权均属于中国证券报、中证网。中国证券报·中证网与作品作者联合声明，任何组织未经中国证券报、中证网以及作者书面授权不得转载、摘编或利用其它方式使用上述作品。 相关阅读