 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
|---|
|
|
|
|---|
|
|
|
|---|
Speed, Safety and Savings
LATEST NEWS
The CBTC User Group – discussing the CBTC signaling systems of today and tomorrow
Together with the metros of Copenhagen (Metroselskabet, MS), New York City (New York City Transit, NYCT) and Stockholm (Storstockholms [...]
New webinar on Signaling Design Automation
Prover is strengthening its Signaling Design Automation solution with the introduction of the software Prover Studio. Prover Studio is [...]
Verification of Safety Requirements
There are two main kinds of accidents that are worth worrying about: collisions and derailments. An interlocking is safe [...]
Interlocking Design Automation
There is a need for a modern approach to signaling control for railway if infrastructure managers are going to keep up with the future demand. A modern approach need to handle flexibility and security at the same time.
A new process for how a signaling solution is developed and maintained must become standard practise. The efforts that is needed today for development and maintenance must be radically reduced.
PiSPEC IP®
PiSPEC is a formal specification language designed to facilitate formalization and review of requirement specifications for railway signaling systems.
Prover iLock®
Prover iLock is a desktop tool for development of application software for railway interlocking systems.
