可靠的嵌入式软件开发解决方案
万博Ansys嵌入式软件开发解决方案根据安全标准目标调整设计过程,降低开发成本,并将认证时间缩短两倍。
万博Ansys嵌入式软件开发解决方案根据安全标准目标调整设计过程,降低开发成本,并将认证时间缩短两倍。
加速嵌入式软件开发
万博Ansys提供基于模型的嵌入式软件开发和仿真环境,内置认证自动代码生成器,以加速嵌入式软件开发项目。系统和软件工程师使用Ansys进行图形化设计、验证和自动生成具有高可万博靠性要求的关键嵌入式应用程序。万博Ansys SCADE解决方案具有高度互操作性,可以轻松集成到现有的开发流程中,优化开发,并增加团队成员之间的沟通。
万博Ansys 2022 R2特别关注嵌入式控制和HMI软件的安全可靠的代码生成,促进遵守国际安全标准(SEI CERT C),安全和A&D (DO-178C, ARINC 661, Khronos glTF™)和汽车(AUTOSAR)的互操作性。覆盖率分析助手的改进进一步加快了复杂且耗时的模型和代码覆盖率分析活动。
改进包括:
SCADE解决方案ARINC 661帮助您开发符合ARINC 661航空电子设备显示标准的座舱显示系统。
万博Ansys嵌入式软件解决方案提供一系列强大的功能,帮助您更快地开发安全可靠的软件设计。
从商用飞机到自动驾驶汽车,嵌入式软件开发过程的质量决定了操作效率和安全性。经过认证的代码生成器,如Ansys SCADE中的一个,确保您的嵌入式软件将按计划工万博作,第一次和每一次。
尽管如今的智能产品都具有自主性,但仍必须偶尔通过直观、易于使用的人机界面与人类进行交万博网互。您可以使用Ansys的软件开发和认证代码生成工具优化界面的可用性和可靠性。万博
万博Ansys代码生成器和验证工具已获得全球10多个安全权威机构在6个细分市场的最高安全级别的合格/认证,包括:用于航空航天和国防应用的DO-178C达到A级,用于汽车应用的ISO 26262达到ASIL D,用于运输和工业应用的IEC 61508达到SIL 3,用于轨道运输应用的EN 50128达到SIL 3/4,以及IEC 60880已被许多核安全机构证明符合核应用。
基于模型的系统工程(MBSE)是在整个开发周期中使用系统模型来定义需求、设计、分析以及验证和确认活动的关键。它通过一个不断发展的模型而不是书面的设计规范来跟踪这些相互依赖的关系,因此您可以确保所有子系统在一个精心调整的整体中相互啮合,即使您继续更改设计。