嵌入式软件开发

可靠的嵌入式软件开发解决方案

联系我们申请试用

可靠的嵌入式软件开发解决方案

Ansys嵌入式软件开发解决方案根据安全标准目标调整设计流程，降低开发成本，并将认证时间缩短两倍。

全速前进

了解全球铁路行业领导者为何选择采用Ansys开发符合最高安全认证标准的嵌入式软件。

获取白皮书

加速嵌入式软件开发

Ansys提供了基于模型的嵌入式软件开发与仿真环境，内置经过认证的自动代码生成器，可加速嵌入式软件开发项目。系统和软件工程师采用Ansys技术进行图形式设计、验证并自动生成具有高可靠性要求的关键嵌入式应用。Ansys SCADE解决方案具有高度互操作性，并且可以轻松集成到现有开发流程中，从而优化开发并增进团队成员之间的沟通。

产品

查看所有产品

Scade One

嵌入式软件

Scade One能够开发安全可靠的嵌入式软件，减少开发时间和成本，并确保您的认证之路顺利无阻。

视觉编码体验
基于模型的开放式方法
开放生态系统
有效的协作
安全可靠的代码生成
广泛的应用范围

查看产品

SCADE Suite

嵌入式软件

SCADE Suite是面向关键嵌入式软件设计和验证以及安全认证代码生成的模型化开发环境。

可靠的基于模型的嵌入式软件设计
调试和仿真
合格/经认证的自动代码生成
满足安全要求的认证套件

查看产品

SCADE Display

嵌入式软件

SCADE Display有助于推动嵌入式图形、显示和HMI开发，以及安全认证代码生成等工作。

多功能图形设计和开发环境
支持多种安全标准
与SCADE Suite集成

查看产品

SCADE Test

嵌入式软件

SCADE Test提供了测试、确认和验证应用以及获得可靠的嵌入式软件所需的一切。

用于需求验证的完整测试环境
系统在环环境中的软件测试
模型和代码覆盖分析

查看产品

SCADE Architect

嵌入式软件

SCADE Architect提供系统和软件架构建模功能，全面支持工业系统工程流程。

基于模型的嵌入式系统和软件架构设计
生成一致、全面的ICD
与SCADE应用集成，以实现软件密集型系统设计

查看产品

Screenshot demo of Ansys SCADE ARINC 661

用于ARINC 661的SCADE解决方案

嵌入式软件

适用于ARINC 661的SCADE解决方案可帮助您开发符合ARINC 661航空电子显示器标准的座舱显示系统。

原型和设计符合ARINC 661标准的座舱显示系统和用户应用
兼容小部件的可定制库
自动生成二进制和XML定义文件（DF）

查看产品

2025年1月

新功能

Ansys嵌入式软件2025 R1版本，在安全可靠的嵌入式软件开发方面进一步推动创新发展。

Ansys SCADE产品系列在针对DO-178C和ISO 26262安全标准的认证/合格代码生成方面进行了显著改进，并将继续在汽车和航空航天行业认证/合格方面保持领先地位。此版本涵盖了多项改进的控制软件功能，可加速关键嵌入式应用的开发。

在2025 R1版本中，Scade One提供了在主机上测试模型的完整工作流程，以及IDE支持的所有功能（建模、调试、仿真、测试）中的用户体验改进，还有生成的代码的性能改进。此外，Ansys 2025 R1还引入了PyScadeOne，通过专用的Python库扩展和定制Scade One功能。

Ansys SCADE - 安全可靠的嵌入式控制和HMI软件

嵌入式控制软件和人机界面

增强的SCADE验证与确认（V&V）工作流程支持控制软件
新的SCADE Display KCG 6.7.2代码生成器符合关键安全标准：DO-178C、ISO 26262、EN 50128、IEC 61508
针对SCADE Display的各种SCADE Test（Environment、Model Coverage）和SCADE LifeCycle（Reporter）增强功能
ARINC 661解决方案的多项增强功能

汽车控制软件

AUTOSAR在支持诊断事件管理器（DEM）服务方面的改进

Ansys Scade One：最新一代基于模型的嵌入式软件

完整的开发工作流程

使用Scade One在主机上设计、调试和测试模型
生成代码的性能提高
用户体验增强

PyAnsys

PyAnsys现在具有PyScadeOne组件，用户可通过Python使用Ansys Scade One

网络研讨会

Ansys 2025 R1 – 嵌入式软件新功能

准备好探索Ansys嵌入式软件的前沿创新，揭示基于模型的系统工程的最新进展。

立即注册

功能

Ansys嵌入式软件解决方案可提供一系列强大的功能，帮助您更快地开发安全可靠的软件设计。

嵌入式控制软件开发
人机接口软件
跨行业的认证代码生成
基于模型的系统工程

嵌入式控制软件开发

无论是商用飞机还是自动驾驶汽车，嵌入式软件开发流程的质量决定了操作效率和安全性。经过认证的代码生成器（如Ansys SCADE中的代码生成器）可确保您的嵌入式软件每次都能按计划工作。

人机接口软件

尽管当今的智能产品实现了完全自动化，但有时仍须通过直观、易于使用的人机接口与人类进行交互。您可以使用Ansys的软件开发工具和认证代码生成工具来优化接口的易用性和可靠性。

跨行业的认证代码生成

Ansys代码生成器和验证工具，已通过全球十几个安全机构在六大细分市场的最高安全级别认证，包括：面向航空航天与国防应用的DO-178C A级；面向汽车应用的ISO 26262 ASIL D；面向交通运输和工业应用的IEC 61508 SIL 3；面向铁路运输应用的EN 50128 SIL 3/4；以及许多核安全机构用于认证核应用合规性的IEC 60880。

基于模型的系统工程

基于模型的系统工程（MBSE）对于在整个开发周期中使用系统模型定义需求、设计、分析以及验证和确认活动至关重要。它通过不断改进的模型而不是书面设计规范来记录相关性，因此即使您继续更改设计，也能够确保所有子系统可以啮合在经过精细调节的整体中。

2020-12-SCADE Architect-System Design Environment Configuration.jpg

系统设计环境配置

SCADE Architect Editor可以进行配置，以满足特定的域需求，例如IMA、FACE和AUTOSAR等行业标准，或者公司或项目标准。

使用SCADE Architect Configurator，您可以配置Architect Advanced Editor以满足项目或用户组确定的特定需求。使用SCADE Architect Configurator在简化图表中定义特定域对象、属性和约束，并使用特定域UI调色板、属性页面、菜单和表格定制您的建模器。您甚至可以在元模型上应用定制规则，确保您的模型满足建模约束。

2020-12-SCADE Architect-FACE-interface.jpg

FACE、AADL、航空电子接口解决方案

Ansys SCADE Avionics Package可通过为航空电子系统设计量身打造的解决方案扩展SCADE Architect，包括用于FACE技术标准、AADL和航空电子接口的解决方案。

SCADE Architect可以通过添加Ansys SCADE Avionics Package进行扩展，这是一种综合全面的专用解决方案，用于设计符合重要行业标准的嵌入式航空电子系统。Avionics Package包括针对ARINC 429、ARINC 664-P7/AFDX或CAN通信协议、集成模块化航空电子架构和ARINC 653特定属性提供的支持。它甚至可以自动生成ARINC 653配置文件。Avionics Package还有助于SCADE Architect为AADL和FACE标准提供解决方案，使SCADE Architect成为航空电子嵌入式系统设计的完美平台。

自动代码和HMI生成

SCADE Display KCG为嵌入式HMI提供可读、可追溯和可重定向C代码高效代码生成功能，原生支持OpenGL SC1和SC2以及ES1和ES2标准。

SCADE Display生成的代码紧凑、模块化、安全且独立于目标平台。这意味着它可以快速部署到几乎所有目标平台，包括Windows、Apple iOS和Android，以及特殊的嵌入式目标操作系统。借助生成器生成的超整洁代码，您可以消除大多数编码错误，甚至无需进行低层测试；这在之前是耗时耗力的重要步骤，而现在利用上述功能，您可以节省更多时间和精力。

2020-12-scade-display-certification-for-critical-safety-standards.jpg

关键安全标准认证

SCADE Display KCG C代码生成器已经过认证，成为用于开发DO-178B A级软件并符合DO-178C/DO-330 TQL-1标准的开发工具；其已通过IEC 61508 SIL 3标准认证、EN 50128 SIL 3/4标准认证以及ISO 26262 ASIL D软件标准认证。

SCADE Display代码生成器是一款经过广泛认证的开发工具。此外，SCADE Display KCG认证套件（本身符合DO-178B和C、EN 50128、IEC 61508和ISO 26262标准）对其进行了补充，包含完整的材料，可用于向认证机构证明代码生成器符合最严格的安全标准。它们还为您提供了认证过程中所需的文档，从而简化并加快认证流程。