SCADE诞生于上世纪80年代的法国，从欧洲的航空与核能领域的工程应用起步，经过近40年的发展，现代SCADE已经是融合了Esterel、Lustre、SAOSAGA、Lucid Synchrone等多个语言和工具的集大成之作。由于SCADE专注于流程规范、标准严苛的安全关键行业，行业的特性使得其多应用于研制具有相当密级的、高难度的重大项目。
在逐渐成为航空航天、国防军工、轨道交通、核能重工、汽车电子等安全关键行业里具有广泛的商业应用的同时，SCADE也是产学研相结合的一个典范，SCADE研发团队中脱颖而出的法国科学院院士和图灵奖获得者就是对该产品的一种绝佳肯定。
Ansys SCADE是一个模型驱动的嵌入式软件开发工具包。通过使用专用软件工具和经过认证的代码生成器，系统工程师和开发人员可以避免编码错误，并遵循严格的认证标准。Ansys SCADE广泛应用于各个行业，从设计飞机控制系统或远程控制核电站之前创建汽车的人机界面………
Ansys SCADE套件
控制算法和系统逻辑的基于模型的开发环境，系统和软件的验证和集成，以及认证的代码生成。
Ansys SCADE测试
用于开发和执行基于软件需求、嵌入式软件和人机界面的验证和验证，以及测试结果的文档化的测试场景的工具。
更新:官方网站不提供任何关于这个版本的变化的信息。
Ansys SCADE Suite 的主要功能：
– 决策图的图形表示
– 能够比较不同版本的项目、模型、操作员或状态机，以及差异和报告的图形指示
– 积分器、滞后、量化器、滤波器、触发器、真相的扩展库表、查找表、矩阵运算符和其他组件 –
导入先前开发的程序代码
– 通过 Eclipse 建模框架 (EMF) 或 Tcl API 对项目和模型文件的读/写访问权限
–
测试用例开发向导 -系统架构模型之间的双向同步和软件项目模型 –
最差程序执行时间分析 (WCET) 和使用的堆栈大小
– 优化程序执行时间和/或堆栈大小 –
分析代码性能
– 自动生成详细报告 –
使用 Tcl 脚本语言设置和自动化仿真
– 自动执行测试脚本 –
Simulink 和 MATLAB 联合仿真 –
将 FMU 模型导出到 Ansys Twin Builder –
评估项目是否符合安全要求并在早期设计阶段检测错误
– 自动生成认证代码并将其集成到商业软件产品中
– 嵌入式人机界面的开发
– 与 Ansys SCADE LifeCycle Ansys SCADE结合的软件生命周期管理
官网：http://www.ansys.com/
文件大小:1.82G
百度网盘下载：
本站解压密码：caxfwz
请先 ！