第一财经报道｜泛联新安专注国产化基础软件，助力航电产业新发展

6月28日-29日，2023（第十二届）飞机航空电子国际论坛在上海市圆满召开。作为国内发展早、产品全、规模大、技术强的基础软件工具先行者，泛联新安受邀参加本次论坛。

活动当日，国内权威媒体【第一财经】就航电系统国产化相关主题对泛联新安作专题采访报道。泛联新安军工事业部副总经理田安东接受采访时表示：“民机航电板块，泛联新安拥有国产化的一系列解决方案，如果在民航的试航鉴定阶段，在某些重要型号，例如C919和CR929型号的论证当中完整通过，就可以把我们的解决方案推给各个子系统，来完成完整的国产化替换工作。”

国产民机C919的交付加快航空电子产业发展，测试保障作为民机航电产业链至关重要的一环，贯穿航空电子设备“研发-制造-运营”全周期。系统软件越先进，安全攻击越多，系统软件越复杂，出错概率越大。

泛联新安产品发展总监韩葆发表《基于形式化验证和代码大数据的软件质量和安全保障》主题演讲，他提出，泛联新安基于形化验证与代码大数据技术的一整套软件质量和安全保障国产解决方案，可以解决传统软件测试方法无法发现的潜在软件故障难题，通过对软件质量的缺陷检测与安全漏洞的分析验证，提前暴露出航电各系统中的软件安全问题与质量缺陷，保障航电装备的高可靠高质量。

作为开发支撑类和EDA类基础软件先行者，泛联新安将不忘初心，潜心研究航电系统关键瓶颈问题，研发机载核心关键基础软件，致力于为航电产业升级和高质量安全发展作出贡献。