泛联新安ICGNC 2026亮相 以“AI+可信开发”全栈自主可控工具链链接国际舞台

一、国际舞台上的中国工具链力量\n\nICGNC 2026（国际制导、导航与控制学术会议）作为航空航天与控制系统领域的国际性学术盛会，汇聚了全球顶尖的研究机构、高校与工业界代表。本届会议上，泛联新安携“AI+可信开发”全栈自主可控工具链正式亮相，以研发工具链的全栈自研能力与AI深度融合为核心议题，展示了国产研发工具在复杂系统研制中的工程化能力与安全可控水平。同期参会的泛联科技亦以联合参与方身份深度支撑相关技术展示与产业交流。此次亮相不仅是一次产品展示，更是一次面向国际同行的技术对话，标志着国产研发工具链从“替代可用”向“AI驱动可信”的阶段性跨越。\n\n## 二、“AI+可信开发”的全栈工具链架构\n\n泛联新安此次展示工具链的整体思路，是围绕“可信开发”构建从需求、设计、编码、测试到验证测评的闭环能力，并在闭环中的多个关键环节嵌入AI辅助能力。其呈现出“全栈”结构：\n\n- 程——需求与结构化建模环节，实现从自然语言需求到可验证形式化产物的追踪与一致性校验；\n- 码——高可靠编码与静态分析体系，针对航空航天常用语言构建覆盖编码规范、数据流与指针安全的分析能力；\n- 测——自动化与智能测试，利用AI生成测试用例、智能推测期望输出，提升覆盖率与面向关键算法的定向测试效率；\n- 仿——面向飞控与嵌入式系统的仿真验证联调机制，支持早先发现的建模-编码-测试回环；\n- 管控——全流程质量度量、缺陷预测与凭据了解，尤其在嵌入式软件及其低层代码级别提供预测能力，并有支持强束化的流程监控；\n- 智——面向研发全流程风险的供应链识别与版本管控、试软件工件不同层级的追溯链——突出对开源成分进行检出和分析。\\\\\\n**这里细节略括号影响，处理括号统一一句：AI项可通过可用通过授权、使用工具的基础补充提供落地可\\\n\\ \n