Ansys SCADE 是一款用于安全关键型嵌入式软件的模型驱动开发工具包。通过使用专用软件工具和经过认证的代码生成器,系统工程师和开发人员可以避免编码错误并遵守严格的认证标准。工具 Ansys SCADE 广泛应用于从设计飞机控制系统到在人类创造之前远程控制核电站的所有行业-汽车的机器界面。
模块 Ansys SCADE
Ansys SCADE Architect
用于对可靠性和安全性有高要求的系统的集成设计环境,支持流程、行业标准 ARP 4754A、ISO 26262 和 EN 50126
Ansys SCADE 显示
解决方案,用于开发嵌入式图形、显示器和人机界面,以及为安全关键系统生成经过认证的代码。
用于显示器和人机界面 (HMI) 的多功能图形设计环境,能够为安全关键系统生成经过认证的代码。
Ansys SCADE LifeCycle 的主要特性
- -全面的需求溯源分析
- -测试用例可追溯性
- – 通过需求和测试进行双向导航
- – 符合 DO-178B、DO-178C、EN 50128、IEC 61508、ISO 26262 和 IEC 60880 标准
- -与其他软件生命周期管理工具集成
- -RTF 或 HTML 格式的生成项目文档和报告
- – 配置报告的内容和显示参数
- -配置基于TCL脚本语言的通用报表模板
- -支持SCCI标准
- -以ASCII格式存储数据
Ansys SCADE Suite
一种用于基于模型开发控制算法和系统逻辑、验证和集成系统和软件以及生成认证代码的环境。
Ansys SCADE 测试
一种工具,用于根据软件要求、嵌入式软件和人机界面的验证和验证以及测试结果的文档来开发和执行测试场景。
Whats New
Updates:官方网站不分享有关此版本更改的任何信息。
SCADE诞生于上世纪80年代的法国,从欧洲的航空与核能领域的工程应用起步,经过近40年的发展,现代SCADE已经是融合了Esterel、Lustre、SAO\SAGA、Lucid Synchrone等多个语言和工具的集大成之作。由于SCADE专注于流程规范、标准严苛的安全关键行业,行业的特性使得其多应用于研制具有相当密级的、高难度的重大项目。
在逐渐成为航空航天、国防军工、轨道交通、核能重工、汽车电子等安全关键行业里具有广泛的商业应用的同时,SCADE也是产学研相结合的一个典范,SCADE研发团队中脱颖而出的法国科学院院士和图灵奖获得者就是对该产品的一种绝佳肯定。
下载仅供下载体验和测试学习,不得商用和正当使用。
下载体验