Ansys® SCADE Suite®
SCADE Suite—基于模型的控制软件开发环境。其前台提供图形化的数据流图、控制流图、数学运算符等对控制逻辑进行建模，支持安全状态机，安全状态机可以和其它模型构建混合建模；其后台有一套严谨的同步语言（scade）与前台的模型对应，能够保证设计模型的准确性、完整性、一致性、可验证性和无二义性。SCADESuite 提供模型检查、仿真调试、形式化验证、覆盖率分析、时间堆栈分析等验证方法，可以进行完备的模型与需求一致性的验证。SCADE Suite 可以自动生成符合 DO-178B/C、IEC61508、EN 50128、ISO 26262 等标准的高安全级别的产品级代码
SCADE Suite—基于模型的控制软件开发环境。其前台提供图形化的数据流图、控制流图、数学运算符等对控制逻辑进行建模，支持安全状态机，安全状态机可以和其它模型构建混合建模；其后台有一套严谨的同步语言（scade）与前台的模型对应，能够保证设计模型的准确性、完整性、一致性、可验证性和无二义性。SCADESuite 提供模型检查、仿真调试、形式化验证、覆盖率分析、时间堆栈分析等验证方法，可以进行完备的模型与需求一致性的验证。SCADE Suite 可以自动生成符合 DO-178B/C、IEC61508、EN 50128、ISO 26262 等标准的高安全级别的产品级代码
.png)
Ansys SCADE Architect
Ansys SCADE Architect 主要用于系统和软件架构设计，是基于 SysML 系统建模语言的系统建模和验证工具。它提供了对系统进行分析、架构设计和验证的能力，支持可视化地进行专业对象库封装并提供针对航空领域的定制，能和 Ansys SCADE Suite 和 Ansys SCADE Display 进行无缝对接使得系统设计的成果顺畅地传递给软件设计。Ansys SCADE Architect 能很好地支持进行符合相关行业系统工程标准（如ARP4754A、IEC 61508（part 1）、EN 50126、ISO 26262-2）的系统设计过程。
Ansys SCADE Architect 主要用于系统和软件架构设计，是基于 SysML 系统建模语言的系统建模和验证工具。它提供了对系统进行分析、架构设计和验证的能力，支持可视化地进行专业对象库封装并提供针对航空领域的定制，能和 Ansys SCADE Suite 和 Ansys SCADE Display 进行无缝对接使得系统设计的成果顺畅地传递给软件设计。Ansys SCADE Architect 能很好地支持进行符合相关行业系统工程标准（如ARP4754A、IEC 61508（part 1）、EN 50126、ISO 26262-2）的系统设计过程。
.png)
Ansys® SCADE LifeCycle®
Ansys SCADE Lifecycle 主要用于系统、软件研制生命周期各阶段数据的生成和维护、研制流程管理、认证支持等。包括：全生命周期数据追踪管理、设计文档自动生成、支持 OSLC（Open Services for Lifecycle Collaboration）协议用于和第三方 PLM/ALM 工具桥接、提供认证计划用于帮助需要适航认证的项目准备计划阶段的文档。
Ansys SCADE Lifecycle 主要用于系统、软件研制生命周期各阶段数据的生成和维护、研制流程管理、认证支持等。包括：全生命周期数据追踪管理、设计文档自动生成、支持 OSLC（Open Services for Lifecycle Collaboration）协议用于和第三方 PLM/ALM 工具桥接、提供认证计划用于帮助需要适航认证的项目准备计划阶段的文档。
.png)
Ansys® SCADE Display®
Ansys SCADE Display 主要用于人机交互界面软件的建模、验证及自动代码生成。建模方面：支持“所见即所得”的人机交互界面设计，提供基本控件库和一些行业相关的控件库，用户还可以方便地封装自定义的控件库，设计人员可以使用这些控件库设计显示画面；支持 OpenGL 特性包括矢量绘图、遮罩、位图、纹理、α通道、光晕及反锯齿特效等等；支持矢量和位图字体；支持中文字库；支持多国语言开发；支持和地图及视频的叠加集成；支持在图形模型中加入 SCADE Suite 或 C 实现的控制逻辑，使得逻辑和显示能很好融合。验证方面：支持对模型进行合法性检查；支持对设计的图形界面以及嵌入的逻辑进行仿真；支持对人机交互界面进行批量自动测试，方便设计人员进行回归测试，减轻测试工作量；SCADE Display 可以自动生成符合 DO-178B/C、IEC61508、EN50128、ISO 26262 等标准的高安全级别的产品级代码，代码适用于所有支持 OpenGL 的平台。
Ansys SCADE Display 主要用于人机交互界面软件的建模、验证及自动代码生成。建模方面：支持“所见即所得”的人机交互界面设计，提供基本控件库和一些行业相关的控件库，用户还可以方便地封装自定义的控件库，设计人员可以使用这些控件库设计显示画面；支持 OpenGL 特性包括矢量绘图、遮罩、位图、纹理、α通道、光晕及反锯齿特效等等；支持矢量和位图字体；支持中文字库；支持多国语言开发；支持和地图及视频的叠加集成；支持在图形模型中加入 SCADE Suite 或 C 实现的控制逻辑，使得逻辑和显示能很好融合。验证方面：支持对模型进行合法性检查；支持对设计的图形界面以及嵌入的逻辑进行仿真；支持对人机交互界面进行批量自动测试，方便设计人员进行回归测试，减轻测试工作量；SCADE Display 可以自动生成符合 DO-178B/C、IEC61508、EN50128、ISO 26262 等标准的高安全级别的产品级代码，代码适用于所有支持 OpenGL 的平台。
.png)
Ansys® SCADE Test™
Ansys SCADE Test 主要用于对 SCADE 模型进行验证，使模型测试从主机端到目标机端形成完整的自动化测试流程。支持测试用例的创建和管理；支持在 PC 机上自动批量地运行测试用例，并生成测试报告和覆盖率结果报告；支持自动生成目标机平台测试框架（支 持 Testbed、RTRT、VectorCAST）, 然后在目标机批量运行测试，并生成测试报告。
Ansys SCADE Test 主要用于对 SCADE 模型进行验证，使模型测试从主机端到目标机端形成完整的自动化测试流程。支持测试用例的创建和管理；支持在 PC 机上自动批量地运行测试用例，并生成测试报告和覆盖率结果报告；支持自动生成目标机平台测试框架（支 持 Testbed、RTRT、VectorCAST）, 然后在目标机批量运行测试，并生成测试报告。
.png)
021-64227122 
ansys_sales@cybernet.sh.cn 
关注莎益博 CAE 
