大数跨境
0
0

丰蕾科技携公司SMAVE系列产品亮相2024(第十三届)飞机航空电子国际论坛

丰蕾科技携公司SMAVE系列产品亮相2024(第十三届)飞机航空电子国际论坛 ACEPHERE
2024-05-31
1
导读:丰蕾科技携公司SMAVE系列产品亮相2024(第十三届)飞机航空电子国际论坛


点击蓝字,关注我们


2024(第十三届)飞机航空电子国际论坛5月29-30日在上海成功召开。丰蕾科技携公司SMAVE系列工业软件开发平台,为嵌入式系统软件研制提供了全生命周期解决方案,亮相本次论坛。


现场交流
丰蕾科技是国家可信嵌入式软件工程技术研究中心(国家科技部)重点孵化的高新技术企业,是专业从事高安全控制系统高端工业软件产品研发的科技型企业。
SMAVE系列工业软件开发平台,为嵌入式系统软件研制提供了全生命周期解决方案,包括基于模型的设计、高安全代码自动生成、多领域模型集成仿真、形式化验证、虚拟仿真与分析等功能,拳头产品SMAVE Model Suite突破了ANSYS SCADE等国外产品的技术限制实现高安全装备领域模型设计软件的国产化替代。 
ACEPHERE系列产品聚焦泛工业控制场景,对标3S CODESYS,提供基于IEC61131-3开发与运行时环境、运动控制、人机交互界面设计等功能。

分享主题
在本次航电论坛丰蕾科技总经理史建琦博士的主题是《航空软件功能安全验证关键技术创新与实践》。
史建琦博士向嘉宾分享到:
在航空电子领域,航空软件的安全性和可靠性至关重要,因为其关系到飞行器的安全和效率。功能安全验证技术的创新和发展直接关系到航空软件的质量和研制成本。在适航要求的框架下,如何利用验证技术和自动化验证工具保障软件研制生命周期各阶段成果的准确性和符合性是一个重要的问题。可以预见,随着计算资源的优化与提升,自动化验证技术与工具会减轻复杂航空软件的研制难度,提高研发效率。本报告旨在探讨在当前技术发展前景下,功能安全验证技术所面临的机遇与挑战。我们将详细分析功能安全验证技术在航空软件开发过程中的作用,并与传统测试方法和工具进行比较。此外,报告还将探讨验证技术结合虚拟化技术和形式化方法后的改进及其效果。

丰蕾科技已与多家安全攸关系统研制单位进行项目合作,将持续聚焦于工业研发设计类软件核心技术的研发,推广应用至航空航天领域,丰富实践经验、充实标准理论、改进管理工具,提供自主知识产权全生命周期的高安全工业控制系统软件研制解决方案,为自主工业软件进步贡献力量。


END





ACEPHERE公众号




SMAVE公众号


【声明】内容源于网络
0
0
ACEPHERE
ACEPHERE工业控制系统软硬件解决方案,工业自动化编程平台,ACEphere LiteSys楼宇控制系统,GearSys恶劣环境装备控制系统,UniSys高性能测控系统
内容 11
粉丝 0
ACEPHERE ACEPHERE工业控制系统软硬件解决方案,工业自动化编程平台,ACEphere LiteSys楼宇控制系统,GearSys恶劣环境装备控制系统,UniSys高性能测控系统
总阅读0
粉丝0
内容11