嵌入式软件对当今智能设备的操作至关重要。设计不良的软件日益成为产品故障的根源。为控制这一质量风险并满足日益严格的软件认证标准要求,嵌入式软件工程师必须采用软件仿真工具和经认证的代码生成器。

ANSYS SCADE解决方案提供了一款带有内置自动代码生成器的模型嵌入式软件开发与仿真环境。嵌入式软件模型可由生成的不带任何歧义的代码正确实现。利用ANSYS SCADE解决方案,您可确保仿真中观察到的状态与目标嵌入式软件平台上的状态是否相匹配。

工程案例

用于嵌入式软件的DO-178C认证基于通信的列车控制解决方案
SCADE用于风力涡轮机SCADE用于无人机
SCADE用于飞机制动系统SCADE用于铁路互锁应用
SCADE用于工业机械控制