现代铁路互锁设计自动化的未来
支持：
2017年9月26日
支持：
2017年9月26日
关于这个网络研讨会
互锁设计需要为基础设施管理者和供应商进行现代化，以实现当前和未来的需求。现代解决方案需要基于正式的方法和自动化。这将提高速度，安全性，显着降低开发和维护的成本。
在本次网络研讨会中，验证器技术AB讨论:
- 当前的即时通信系统在安全和信号系统开发方面举步维艰的根本原因
- 现代解决方案的原则和示范
- 目前客户实施
- 投资现代互锁设计自动化解决方案的商业案例
扬声器
主讲嘉宾
Daniel Fredholm，高级顾问，Prover Technology AB
弗雷德霍姆先生拥有斯德哥尔摩大学的数学博士学位。从2005年开始在Prover工作，涉及正式验证，包括为正式规范和验证开发方法。
JesperCarlström，VP项目交付，Prover Technology AB
Carlström先生在斯德哥尔摩大学的数学博士学位。自2008年以来与先成文合作，具有正式验证，正式规范和Python编程。他现在是VP项目交付。
