C919大型客机航电系统软件开发
华元创信服务中国商飞公司（COMAC），为其开发的C919大型客机提供航电系统嵌入式软件开发与验证服务。基于国家可信嵌入式软件工程技术研究中心的成果，公司采用模型驱动的系统工程（MBSE）方法，设计并实现高可靠、高安全的航电核心软件，涉及实时操作系统（RTOS）的安全认证，确保符合DO-178C适航标准。该项目通过严格的测试流程，包括故障注入测试和形式化验证，显著降低了软件缺陷率，提升了系统整体安全性，支持了C919客机成功完成试飞和适航认证。
融资次数
1
员工数量
小于50人
专利数量
26
经营范围
计算机软硬件、计算及嵌入式软件、电子产品、电子设备、计算机系统集成领域内的技术服务、技术开发、技术咨询、技术转让及销售（除计算机信息系统安全专用产品）。【依法须经批准的项目，经相关部门批准后方可开展经营活动】
主营业务
可信嵌入式系统软件的研发、推广与技术服务，重点满足国防安全、工业信息化等领域的高可信软件需求。
上海华元创信软件有限公司
有限责任公司(国有控股)
￥2,000万
2014-03-12
王忠海
zongguan@ntesec.com.cn
上海市普陀区金沙江路1006号第2幢562室