Video: Demo of an Interlocking Design Automation Solution in Chinese2018-11-19T13:48:32+00:00

Project Description

联锁设计的自动化解决方案演示

联锁设计的自动化解决方案演示

本视频展示了一个现代化的联锁设计自动化解决方案,即Prover Trident, 以及如何利用此方案高效地,安全地设计和开发铁路联锁系统。
从本视频中,您将会了解

  • 如何创建联锁应用并且自动生成其目标代码
  • 如何使用仿真工具对联锁逻辑进行测试
  • 如何使用形式化方法验证目标代码是否符合安全需求

填写表格后观看演示