ANSYS SCADE Suite

Ansys SCADE Suite是一个基于模型的关键嵌入式软件开发环境。SCADE Suite具有本地集成的形式化 Scade 语言，是用于关键应用的集成设计环境，涵盖需求管理、基于模型的设计、仿真、验证和可限制/认证级代码生成，能够与其他开发工具和平台进行交互操作。