2026年04月21-23日，第十五届飞机航空电子国际论坛于上海顺利举办。丰蕾科技携SMAVE系列软件产品、VxSPACE系列软硬件产品重磅参展，全面展示公司在航空电子领域前沿技术、创新成果及整体解决方案。展会期间，公司现场与各方来宾深度交流对接，共探行业发展新趋势，共筑高安全智能化航空电子新生态。
丰蕾科技副总经理杨洋博士围绕《低空飞行器高安全航电系统设计验证工具的开发与应用》主题展开分享。
该主题指出随着技术的进步和低空飞行器应用的扩展，低空飞行器航电系统的设计与验证面临着日益严格的安全性、可靠性和正确性要求，航电系统的复杂性和多样性使得传统的验证方法逐渐无法满足新兴的需求。为了应对这些挑战，现代低空飞行器航电系统的研发需要使用一系列先进的技术手段，以确保系统的高安全性和高可靠性。
其中，高安全编译技术成为确保低空飞行器航电系统安全性的重要手段，通过自动化生成符合标准的高质量代码，能够有效避免人工编码中可能产生的安全隐患，确保代码的可靠性与可维护性；形式化验证技术通过严格的数学方法对系统设计进行验证，确保系统逻辑的正确性和一致性，减少潜在的设计缺陷，不仅提升了系统的可靠性，还支持自动生成反例，以进一步发现并解决设计中的潜在问题；人机交互可视化技术通过直观的图形界面和交互方式，用户能够轻松地进行系统调试和优化，提高了系统的易操作性和可维护性；虚拟仿真技术通过模拟飞行环境，在没有实际飞行测试的情况下，对系统进行全面的验证，以高效整合资源，提前识别潜在问题，并进行优化，以确保系统在不同环境中的表现；人工智能（AI）技术通过需求理解-实现生成-自动化执行-智能分析形成了AI驱动的软硬件开发与验证闭环，增强了系统在飞行控制和故障预测中的自动化能力，并提高了对复杂环境和突发事件的适应能力。
这些技术的整合不仅提升了低空飞行器航电系统的开发效率，还显著增强了系统的安全性和可靠性。通过这些先进的验证工具，低空飞行器制造商能够优化设计流程，提升产品质量，缩短研发周期，并确保系统符合国际安全标准。同时，这些工具在设计、验证和认证过程中提供了全方位的支持，确保产品在安全性和可靠性上的高标准，可以有效推动低空飞行器航电技术的创新与发展。
上海丰蕾信息科技有限公司成立于2015年9月，是专业从事高安全控制系统高端工业软件产品研发的科技型企业。公司是国家专精特新重点“小巨人”企业、国家高新技术企业、上海市科技小巨人企业及博士后创新实践基地等；已通过武器装备质量管理体系、CMMI5级、ISO9001等认证；荣获上海市专家工作站、普陀区企业技术中心、上海产学研合作优秀项目奖三等奖、2022年度“创客中国”创新创业大赛上海赛区100强、连续四年入选上海软件和信息技术服务业高成长百家企业等资质荣誉。同时，公司还加入OMG、INCOSE、Modelica、SAE、PI-China等国际协会组织，为公司技术前沿性发展提供信息，推动公司产品的国际化发展。
经过十余年的技术积累与公司近年来的持续研发，丰蕾科技已形成SMAVE、VxSPACE及ACEPHERE三大品牌系列产品。SMAVE系列模型驱动的安全攸关控制系统工业软件研发平台(工具集)，为航空航天、汽车电子、轨道交通、工业控制等安全攸关嵌入式系统软件研制提供全生命周期解决方案，包括基于模型的设计、高安全代码自动生成、多领域模型集成仿真、形式化验证、虚拟仿真与分析等功能，解决了传统工控软件研发过程中的设计复杂、系统级联合仿真困难及复杂需求难于定性验证等问题，打破了国外产品在此领域的垄断，填补了国产工业软件产业链中高安全工控软件研发平台这一空白。VxSPACE系列产品打破资源限制，为工控领域提供数字样机超融合验证管理平台及配套硬件，满足精密工业场景下复杂控制与仿真测试需求，助力自动化向高精度、多流程协同方向升级。ACEPHERE系列产品聚焦泛工业控制场景，对标国际主流产品，提供基于IEC61131-3开发与运行时环境、运动控制等功能。
sales@formal-tech.com
上海市普陀区同普路339弄3号楼10层
