 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
|---|
|
|
|
|---|
|
|
|
|---|
安全 快速 经济
目前众多的轨道交通项目都需要新的控制系统，支持不断扩充的交通容量。 现有的陈旧系统将被新的数字化控制系统所取代，以符合诸多的交互操作标准（包括 ERTMS 和 CBTC），这也正是 Prover 可以提供技术支持的部分。 Prover 提供软件自动化解决方案，协助新的、更复杂的数字列车控制系统提升其搭载软件的能力，满足日趋复杂的数字化轨道交通控制系统安全性不断提升的需求。
近期要闻
为什么进行形式验证-验证问题的解决方案
如果您已经阅读了本系列的前两部分，那么您将知道，验证联锁满足安全要求并不是一件容易的事。由于联锁的状态空间很大，因此手动方法和测试都无法助您一臂之力。
形式化验证Why系列之二：形式化验证的适用性
“形式化”其实就是指“数学”。因此，形式验证意味着将验证问题转化为数学问题。大家都知道一旦连结到数学领域，我们就可以获得数学所带来的严谨性和精确性。
形式化验证Why系列之一：铁路系统的安全需求
我将尝试解释为什么形式化验证是更好的选择。尤其是为什么在验证铁路系统的安全需求时使用形式化验证是一种好的做法。 为了做出令人信服的论证，我需要从头开始。
联锁设计自动化
如果项目运营商想要跟上未来的趋势，就需要应用现代化的轨道交通信号控制系统。 现代化的解决方案要同时兼备灵活性和安全性。
与此同时，一个如何开发和维护信号解决方案的新流程，也就必须成为标准化做法。我们要大幅度地减少目前在开发和维护上耗费掉的时间和精力。
