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研发团队中脱颖而出的法国科学院院士和图灵奖获得者就是对该产品的一种绝佳肯定。

本站所有资源版权均属于原作者所有,这里所提供资源均只能用于参考学习用,请勿直接商用。若由于商用引起版权纠纷,一切责任均由使用者承担。更多说明请参考 VIP介绍。

最常见的情况是下载不完整: 可对比下载完压缩包的与网盘上的容量,若小于网盘提示的容量则是这个原因。这是浏览器下载的bug,建议用百度网盘软件或迅雷下载。 若排除这种情况,可在对应资源底部留言,或联络我们。

对于会员专享、整站源码、程序插件、网站模板、网页模版等类型的素材,文章内用于介绍的图片通常并不包含在对应可供下载素材包内。这些相关商业图片需另外购买,且本站不负责(也没有办法)找到出处。 同样地一些字体文件也是这种情况,但部分素材会在素材包内有一份字体下载链接清单。

如果您已经成功付款但是网站没有弹出成功提示,请联系站长提供付款信息为您处理

源码素材属于虚拟商品,具有可复制性,可传播性,一旦授予,不接受任何形式的退款、换货要求。请您在购买获取之前确认好 是您所需要的资源