嵌入式软件

Ansys SCADE Architect

基于 SysML 系统建模语言的系统建模和验证工具

Ansys SCADE Suite

基于模型的控制软件建模、

验证和自动代码生成环境

Ansys SCADE Display

人机交互界面软件建模、

验证及自动代码生成环境

Ansys SCADE Test

模型自动化测试工具

Ansys medini analyze

功能安全分析工具

Ansys SCADE LifeCycle

系统 / 软件研制生命周期数据生成、维护

与研制流程管理工具