可靠的嵌入式软件开发解决方案
万博Ansys嵌入式软件开发解决方案根据安全标准目标调整设计过程，降低开发成本，并将认证时间缩短两倍。
加速嵌入式软件开发
万博Ansys提供了一个基于模型的嵌入式软件开发和仿真环境，内置认证的自动代码生成器，以加速嵌入式软件开发项目。系统和软件工程师使用Ansys图形化设计，验证和自动生成具有高可靠性万博要求的关键嵌入式应用程序。万博Ansys SCADE解决方案具有高度的互操作性，可以轻松集成到现有的开发流程中，优化开发并增加团队成员之间的沟通。
-
开发和集成先进的算法和功能
-
提高整个工作流程的一致性和可追溯性
-
验证和验证您的代码和设计
-
自动生成符合认证要求的代码
万博Ansys 2022 R2特别关注嵌入式控制和人机界面软件的安全代码生成，促进符合A&D (DO-178C, ARINC 661, Khronos glTF™)和汽车(AUTOSAR)的国际安全标准(SEI CERT C)，安全性和互操作性。对Coverage Analysis Assistant的改进进一步加快了复杂且耗时的模型和代码覆盖率分析活动。
改进包括:
- CERT C /安全代码生成
- 生成的代码符合SEI CERT C安全编码标准
- 说明没有与SCADE生成的代码使用相关联的安全风险
- 覆盖率分析助手改进
- 加速复杂和耗时的覆盖率分析活动
- 检测并报告模型中不可覆盖的部分
- 为未覆盖的点生成证明或测试序列
- 嵌入式显示器的3D渲染
- 在SCADE显示器中导入和渲染Kronos标准glTFTM 3D资产
- 允许嵌入式显示设计人员包含突破性的渲染效果
在线研讨会
万博网
查看所有产品万博网
SCADE Suite ist eine model basierte Entwicklungsumgebung Design and die verification(设计与模具验证)
- Zuverlässige modelbasierte Entwicklung ingebetter Software
- Fehlersuche und Simulation
- qualiizierbare / zerizizierte automatische code generierung
- Zertifizierungs-Kits zur erfllung von Sicherheitsanforderungen
针对ARINC 661的SCADE解决方案可帮助您开发符合ARINC 661航空电子显示标准的驾驶舱显示系统。
- 原型和设计符合arinc661的座舱显示系统和用户应用
- 可定制的兼容小部件库
- 自动生成二进制和XML定义文件(DF)
功能
万博Ansys嵌入式软件解决方案提供了一系列强大的功能，可帮助您更快地开发安全可靠的软件设计。
- 嵌入式控制软件开发
- 人机界面软件
- 跨行业认证代码生成
- 基于模型的系统工程
从商用飞机到自动驾驶汽车，嵌入式软件开发过程的质量决定了运营效率和安全性。经过认证的代码生成器(如Ansys SCADE中的代码生成器)确保您的嵌入式软件第一万博次和每次都能按计划工作。
今天的智能产品尽管具有自主性，但仍然必须偶尔通过直观、易于使用的人机界面与人类进行交万博网互。您可以使用Ansys的软件开发和认证代码生成工具来优化界面的可用性和可靠性。万博
万博Ansys代码生成器和验证工具已通过全球10多个安全机构在六个细分市场的最高安全级别的合格/认证，包括:航空航天和国防应用的DO-178C可达A级，汽车应用的ISO 26262可达ASIL D，运输和工业应用的IEC 61508可达SIL 3，铁路运输应用的EN 50128可达SIL 3/4，以及IEC 60880证明符合许多核安全当局的核应用。
基于模型的系统工程(MBSE)是在整个开发周期中使用系统模型来定义需求、设计、分析以及验证和确认活动的关键。它通过不断发展的模型而不是编写的设计规范来跟踪这些相互依赖关系，因此您可以确保所有子系统在一个精细调整的整体中啮合在一起，即使您继续更改设计。
应用程序
技术论文
有特色的网络研讨会
案例研究
视频
视频
开发自动驾驶汽车的综合解决方案
erfaren Sie，和Ansys万博 Ihnen helfen kann
erfaren Sie，和Ansys万博 Ihnen helfen kann
联系我们
Kontaktieren:这就是我的意思
