能源和重工业
符合IEC 61508标准所有SIL等级的代码生成，并具有形式验证功能
为什么应用SCADE Suite?
SCADE Suite可降低能源和重工业行业控制软件的开发成本，并获得符合IEC61508所有级别的安全性。
SCADE Suite应用于什么地方？
SCADE Suite可用于许多重型高安全设备，比如发电机组，核电站控制，牵引机车，起重机，以及其他特种机械与车辆。
SCADE KCG 代码生成器通过了IEC 61508 所有级别的认证。
减少开发与验证成本
- 缩减70-90%的编码、检查和测试成本
- 降低70-90%的手工质量保证成本
- 缩短65-75％的软件修正周期
正确构造的理念
- SCADE在形式上能够删除规格说明书不明确的地方。它也可以确保有限的合成代码的执行时间和内存。
- SCADE Suite在早期就可以对模型进行检查：可以在模型级进行验证与确认工作，并保证准确地向代码转化。
- SCADE Suite能彻底检查设计的一致性。比如，它将检查逻辑循环，类型的不一致，设计死区。
- SCADE Suite形式验证功能能获取和核查系统级的性能，无需编写测试用例即可发现问题，并自动生成反例。设计方案在设计初期就能得到验证，避免了在设计后期才发现程序缺陷。
- 通过验证的代码生成器可以省略单元测试，因此能既快又安全的执行设计变更。
请看我们的成功案例
