嵌入式软件

嵌入式系统与软件开发

嵌入式软件正被广泛地用于智能设备，但不完美的代码可能会导致频繁的产品故障。据行业领导者估计，嵌入式软件中每 1,000 行代码中就有 8 个漏洞。要管控这一质量风险并满足更高的软件认证标准，这需要充分利用嵌入式软件开发和验证工具及经认证的代码生成器。

ANSYS 提供基于模型的嵌入式软件开发和仿真环境，内置自动代码生成器，可加速完成嵌入式软件开发项目。系统及软件工程师利用 ANSYS SCADE 解决方案以图表的形式进行设计、验证并自动生成具有高可靠性的关键嵌入式系统和软件应用程序。SCADE 解决方案具有较高的交互性，能够轻松集成，优化开发并加强各团队成员之间的交流。

跨行业认证代码生成

SCADE 代码生成器和验证工具已在六大细分市场中获得超过 10 家全球安全机构的顶级安全标准资质/认证，这些安全机构包括：

• DO-178C 标准（直至 A 级）— FAA、EASA、加拿大运输部、CAAC 与 ANAC 等航空航天与国防应用
• ISO 26262 标准（直至 ASIL D 级）— TÜV SÜD 汽车应用
• IEC 61508 标准（直至 SIL 3 级）— TÜV SÜD 运输和工业应用
• EN 50128 标准（直至 SIL 3/4 级）— TÜV SÜD、EBA 与 Certifer 铁路运输应用
• IEC 60880 标准合规性表现—核安全机构核应用

SCADE 加速嵌入式软件的开发和验证进程

SCADE 用户表示希望开发和验证成本得到以下改进：

• 根据安全标准要求调整设计流程
• 开发成本平均降低 50%
• 认证速度加快两倍