Esterel Technologies>News & Events>成功案例>Siemens

基于模型开发在轨道交通领域的应用：西门子的挑战和经验

联锁系统由上千个控制要素组成，他们的生命周期能持续30年。针对他们的设计，西门子决定采用基于模型的SCADE Suite开发环境。

• 用于嵌入式控制应用的安全相关软件开发的SCADE建模语言（基于形式化语言）
• 自动代码生成器
• 模型级仿真
• 形式验证
• 开发环境包括第三方工具桥接器（需求工程，UML架构）

西门子运输系统的Dr. Ralf Pinger表示，基于SCADE模型的开发具有高效率，能在设计过程的开始阶段就发现错误——总之，我们的产品能以最快的方式，并在保证质量的前提下满足客户的要求。