SCADE用于铁路信号联锁应用

模型开发环境在铁路领域的应用:西门子挑战与经验

联锁系统由数以千计的可控元件构成,生命周期长达30年。西门子在设计中决定 采用 SCADE Suite 模型开发环境。做出这一决定的重要因素包括:

  • SCADE建模语言(基于形式示意图)满足安全相关软件嵌入式控制应用要求
  • 自动代码生成
  • 模型层面的仿真
  • 形式验证(完整的属性演示)
  • 开发环境包括第三方工具(需求工程、UML架构)的网关

采用SCADE进行模型开发不仅效率高,而且在设计进程中能更早发现错误。总而言之,产品能以最高的品质更快交付给西门子客户。  

Railway Interlocking Applications