Ansys SCADE 是一款模型驱动的开发工具包,适用于安全关键型嵌入式软件。通过使用专用软件工具和经过认证的代码生成器,系统工程师和开发人员可以避免编码错误并遵守严格的认证标准。
SCADE诞生于上世纪80年代的法国,从欧洲的航空与核能领域的工程应用起步,经过近40年的发展,现代SCADE已经是融合了Esterel、Lustre、SAO\SAGA、Lucid Synchrone等多个语言和工具的集大成之作。由于SCADE专注于流程规范、标准严苛的安全关键行业,行业的特性使得其多应用于研制具有相当密级的、高难度的重大项目。
在逐渐成为航空航天、国防军工、轨道交通、核能重工、汽车电子等安全关键行业里具有广泛的商业应用的同时,SCADE也是产学研相结合的一个典范,SCADE研发团队中脱颖而出的法国科学院院士和图灵奖获得者就是对该产品的一种绝佳肯定。
File Size: 2.75 GB
声明:本站所有文章,如无特殊说明或标注,均为本站原创发布。任何个人或组织,在未征得本站同意时,禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益,可联系我们进行处理。