5月29日，由成都市科学技术协会主办的 “蓉智沙龙”--AI及数智化赋能航空航天产业发展专题活动在成都成功举办。本次活动汇聚200余名专家学者、技术骨干和企业代表，围绕AI、大数据等前沿技术，共探航空航天产业数字化转型的新路径。

泛联新安作为国内领先的AI驱动开发支撑类与验证EDA类基础软件企业，受邀携工业领域研发智能体亮相本次活动，并展示面向航空航天等高可靠场景的Omni可信智能开发体系，成为论坛关注的焦点之一。

01

AI赋能航空航天：可信智能开发

航空航天装备是高端制造业的皇冠，其嵌入式软件规模庞大、安全性与可靠性要求极高。传统研发模式下，代码审查、测试用例编写、缺陷检测高度依赖人工经验，不仅效率低，而且质量一致性难保障。

随着C/C++、Verilog等传统语言代码量的持续增长，以及适航标准（如DO-178C）对测试覆盖率和可追溯性的严苛要求，航空航天企业亟需引入智能化手段，在提升研发效率的同时守住质量与安全的底线。

泛联新安在此次沙龙中展示了专为工业场景打造的工业领域研发智能体，包括Omni Code 编码智能体、Omni Test测试智能体、以及Omni Unittest智能单元测试智能体等。这些智能体并非通用AI助手的简单套壳，而是基于泛联新安多年在代码质量测试、安全测试及数字IC验证领域的深厚积累，深度融合大模型的理解能力与确定性工具的工程能力，为航空航天企业提供从需求、编码、审查、测试到安全的全链路可信智能开发闭环。

Omni Code编码智能体

国内首款嵌入式领域编码智能体

基于自研的OmniDTCoder模型，严格遵循国家军用标准规范，通过20o0亿tokens的海量嵌入式开发数据进行深度训练，成功打造国内首款嵌入式领域编码智能体，显著提升软件工程场景的研发效率和产品质量，可广泛应用于航空、航天、汽车、船舶、智能制造、能源、工业等领域。

Omni Test测试智能体

国内首款面向高可靠领域的大模型

原生智能测试智能体

以深度语义理解为引擎，以知识图谱为骨架，以全生命周期追溯为保障，彻底重构传统测试方式。平台通过智能解析需求规格说明书、系统设计文档、接口协议等多源异构资产，自动构建覆盖”业务语义”与“技术实现”的统一知识图谱，实现从需求到报告的端到端自动化闭环。

严格内嵌GJB438C-2021、GJB/Z141-2004等标准规则库，支持在昇腾、海光等国产AI芯片及麒麟、统信操作系统上全栈部署。实现测试设计效率提升5一10倍，关键需求覆盖率超80%，人工干预降低70%以上。

02

以“可信”为基，持续深耕航空航天工业软件

此次“蓉智沙龙”不仅搭建了产学研用协同创新的高端平台，也进一步印证了航空航天领域对自主可控、高可信AI研发工具的迫切需求。

泛联新安将继续深耕AI+可信智能开发赛道，依托Omni可信智能开发体系（模型+网关+智能体+自主工具），助力航空航天企业实现从“工具辅助”到“智能工程”的跨越，为国产大飞机、航空发动机及航天装备的软件质量和适航安全贡献核心力量。