Ansys SCADE Suite
基于模型的控制软件建模、验证和自动代码生成环境
Ansys SCADE Suite—基于模型的控制软件开发环境。其前台提供图形化的数据流图、控制流图、数学运算符等对控制逻辑进行建模,支持安全状态机,安全状态机可以和其它模型构建混合建模;其后台有一套严谨的同步语言(scade)与前台的模型对应,能够保证设计模型的精确性、完整性、一致性、可验证性和无二义性。Ansys SCADE Suite 提供模型检查、仿真调试、形式化验证、覆盖率分析、时间堆栈分析等验证方法,可以进行完备的模型与需求一致性的验证。Ansys SCADE Suite 可以自动生成符合DO-178B/C、IEC61508、EN 50128、ISO 26262 等标准的最高安全级别的产品级代码。