可靠的嵌入式软件开发解决方案
万博Ansys嵌入式软件开发解决方案根据安全标准目标调整设计过程，降低开发成本，并将认证时间缩短两倍。
加速嵌入式软件开发
万博Ansys提供基于模型的嵌入式软件开发和仿真环境，内置认证自动代码生成器，以加速嵌入式软件开发项目。系统和软件工程师使用Ansys进行图形化设计、验证和自动生成具有高可万博靠性要求的关键嵌入式应用程序。万博Ansys SCADE解决方案具有高度互操作性，可以轻松集成到现有的开发流程中，优化开发，并增加团队成员之间的沟通。
-
开发和集成先进的算法和功能
-
改进整个工作流的一致性和可追溯性
-
验证和确认你的代码和设计
-
自动生成满足认证要求的代码
万博Ansys 2022 R2特别关注嵌入式控制和HMI软件的安全可靠的代码生成，促进遵守国际安全标准(SEI CERT C)，安全和A&D (DO-178C, ARINC 661, Khronos glTF™)和汽车(AUTOSAR)的互操作性。覆盖率分析助手的改进进一步加快了复杂且耗时的模型和代码覆盖率分析活动。
改进包括:
- 安全与安全代码生成
- 生成的代码符合SEI CERT C安全编码标准
- 演示与SCADE生成的代码使用关联的安全风险
- 覆盖率分析辅助改进
- 加速复杂且耗时的覆盖分析活动
- 检测并报告模型中不可覆盖的部分
- 为未发现的点生成理由或测试序列
- 嵌入式显示器的3D渲染
- 在SCADE显示中导入并渲染Kronos标准的glTFTM 3D资产
- 允许嵌入式显示设计人员包括突破性的渲染效果
在线研讨会
万博网
查看所有产品万博网
SCADE解决方案ARINC 661帮助您开发符合ARINC 661航空电子设备显示标准的座舱显示系统。
- 原型和设计符合ARINC 661的座舱显示系统和用户应用
- 可定制的兼容小部件库
- 自动生成二进制文件和XML定义文件(DF)
功能
万博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)是在整个开发周期中使用系统模型来定义需求、设计、分析以及验证和确认活动的关键。它通过一个不断发展的模型而不是书面的设计规范来跟踪这些相互依赖的关系，因此您可以确保所有子系统在一个精心调整的整体中相互啮合，即使您继续更改设计。
应用程序
技术论文
有特色的网络研讨会
案例研究
视频
视频
开发自动驾驶汽车的综合解决方案
万博Ansys가귀사를위해무엇을할수있는지알아보십시오。
万博Ansys가귀사를위해무엇을할수있는지알아보십시오。
联系我们
문의하기
