5月28日,2025(第十四届)飞机航空电子国际论坛在上海市成功举办。论坛为期两天,由中国航空学会、中国航空研究院、中航机载系统有限公司共同主办,围绕“数智化、多核化赋能航空电子的未来绿色和智慧发展”主题展开,共发表40组专题演讲,吸引了来自政府机构、飞机制造厂商、航电系统供应商、低空经济领军企业、科研机构、高等院校等100余家单位的600余位嘉宾参与,共探如何高质量助推飞机航空电子设计及制造能力提升。

当前,航空电子产业作为我国战略性新兴产业的核心领域,正经历从技术追赶向全球领跑的关键跃迁,机载软件的功能安全性及适航符合性对飞行安全和国际认证至关重要,实现航空科技高水平自立自强,是我国建设现代航空工业体系的迫切任务。
作为受邀企业,泛联新安多年来致力于突破关键技术瓶颈,目前已为多家航空领域关键部门提供技术支撑,本次论坛特别携iUnit智能单元测试平台、CodeSense源代码缺陷深度分析平台、VHawk-LintHDL代码缺陷检查管理平台等多款适航工具产品亮相,与行业伙伴积极展开深入交流,致力于打造全自主可控的适航工具生态。
iUnit智能单元测试平台
iUnit,一款针对C/C++语言的智能单元测试平台,国际领先,符合DO-178B/C(航空)、ISO-26262(汽车)、IEC-61508(工业)、EN-50128(轨道交通)、IEC-62304(医疗)等标准,具备模拟执行和目标机执行能力,兼容基于需求的精准测试和基于代码的自动化测试,自动化测试覆盖率高达90%。
产品具备自动化适配、自动化用例生成和自动化测试能力,有效提高单元测试、集成测试效率,为软件开发与验证降本、增效、提质提供有力保障。
CodeSense源代码缺陷深度分析平台
CodeSense 源代码缺陷深度分析平台是由泛联新安研制的自主可控静态分析工具。它基于控制流、数据流和值流图分析等技术,能深度分析 C、C++、Java、Python 等十多种语言,精准检测代码中存在的质量缺陷与安全漏洞。
VHawk-Lint HDL代码缺陷检查管理平台
VHawk,国内首款匹配军工特点要求,针对主流硬件设计语言Verilog HDL、SystemVerilog、VHDL的代码缺陷检查管理平台。平台能够对HDL代码的编码风格、可综合性、可重用性、时钟复位、跨时钟域以及状态机等潜在设计缺陷进行一站式管理,包括自动化检测、缺陷跟踪等。
VHawk支持GJB9765-2020、GJB10157-2021、Do254、Xilinx、Altera、RMM、Starc等主流HDL编码规则集,能够高效的对ASIC及FPGA的设计编码质量进行检查和评估,协助用户提高代码编码质量,可以有效降低后续验证及返工带来的经济和时间成本。
