航空航天和国防，铁路运输，能源和重型设备行业中的安全关键嵌入式软件开发标准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显着降低了关键的嵌入式软件项目成本