轨道交通
独有的符合EN50128标准所有SIL等级的代码生成，并具有形式验证功能
为什么应用SCADE Suite?
SCADE Suite能有计划的减少铁路运输软件的开发成本，同时完成高标准的安全性，包括EN50128认证标准的所有SIL标准。
SCADE Suite应用于什么地方？
SCADE Suite适用于所有轨道交通中的高安全性应用，比如车载软件，自动列车驾驶，电力管理，连锁系统，列车控制系统，信号系统，地面站点，以及其他应用。
SCADE KCG 代码生成器通过了EN 50128 所有级别的认证。
降低开发及验证成本
- 缩减70-90%的编码、检查和测试成本
- 降低70-90%的手工QA成本
- 缩短65-75％的软件修正周期
正确构造的理念
- SCADE在形式上能够删除规格说明书不明确的地方。它也可以确保有限的合成代码的执行时间和内存。
- SCADE Suite在早期就可以对模型进行检查：可以在模型级进行验证与确认工作，并保证准确地向代码转化。
- SCADE Suite能彻底检查设计的一致性。比如，它将检查逻辑循环，类型的不一致，设计死区。
- SCADE Suite形式验证功能能获取和核查系统级的性能，无需编写测试用例即可发现问题，并自动生成反例。设计方案在设计初期就能得到验证，避免了在设计后期才发现程序缺陷。
- 通过验证的代码生成器可以省略单元测试，因此能既快又安全的实现设计变更。
