基于模型的高安全性系统和软件开发环境
Ansys SCADE Architect
基于 SysML 系统建模语言的系统建模和验证工具
Ansys SCADE Suite
基于模型的控制软件建模、
验证和自动代码生成环境
Ansys SCADE Display
人机交互界面软件建模、
验证及自动代码生成环境
Ansys SCADE Test
模型自动化测试工具
Ansys medini analyze
功能安全分析工具
Ansys SCADE LifeCycle
系统 / 软件研制生命周期数据生成、维护
与研制流程管理工具