Scade

Scade

航空航天和国防,铁路运输,能源和重型设备行业中的安全关键嵌入式软件开发标准Esterel Technologies SCADESuite®是基于模型的开发环境,专门用于关键嵌入式软件。凭借Scade语言的本机集成及其统一的形式符号,SCADE Suite是针对关键应用程序的独特集成设计环境,涵盖了需求管理,基于模型的设计,仿真,验证,可验证/认证的代码生成以及与其他开发工具和组件的互操作性。平台。SCADE有何独特之处?SCADE专为解决任务和对安全至关重要的嵌入式应用而开发。SCADE已通过以下国际安全标准的认证/鉴定:> DO-178B:军事和航空航天工业的A级认证> IEC 61508:TÜV的重型设备在SIL 3认证,以及能源> EN 50128:在SIL的认证TÜV的3/4,用于铁路运输> IEC 60880:符合核能,提高了生产率,提高了产品质量SCADE用户报告了开发和验证成本的降低:>平均每天开发10个可执行LOC,包括验证活动,而平均水平5种用于手动编码的代码,同时减少了执行时间>软件认证成本降低了50%>编码,审查和测试成本降低了70%至90%>软件更新周期缩短了65%至75%>自动化的模型级测试和覆盖率分析>消除编码错误和低级测试>在整个生命周期中快速安全地进行设计更改,测试成本降低了70%达到90%的SCADE Suite显着降低了关键的嵌入式软件项目成本
scade

分类目录

Tcl版Scade的替代品

DRAKON

DRAKON

DRAKON是一种视觉语言和编辑器,旨在表示基于目标的知识。