 |
 |
 |
|---|
 |
 |
 |
|---|
Speed, Safety and Savings
Are you Managing Signaling Control Solutions?
Signaling Control Systems Managers main challenge is to be able to handle the demand of the future rail road. The level of complexity will increase dramatically. This will demand a new concept for how digital train control need to function and operate. It is the Signaling Control Systems Manager that need to lead the infrastructure providers in to this new era.
Are you supplying Signaling Control Solutions?
Reaching higher productivity and reducing risks are key success factors for the modern signaling control supplier. The goals are to deliver new innovative signaling solutions that meet the demands of the digital railway of today and tomorrow. This needs to be done on time, at a lower cost and with the highest quality and safety. Find out how this can be achieved.
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, and to enable automated engineering and verification of such systems. PiSPEC is used to formalize design, test and safety specifications.
Prover iLock
Prover iLock is a desktop tool for development of application software for railway interlocking systems. Prover iLock automatically turns PiSPEC IP together with an application configuration into revenue service code for the given target hardware, complete with functional test and safety verification reports.
Prover Certifier
Prover Certifier is a sign-off verification tool, creating CENELEC EN50128 SIL 4 compliant safety evidence for the Specific Application software based on formal verification. Prover Certifier minimizes the need for traditional safety verification tasks such as testing and code review.
Prover at CBTC World Congress- October 29th – 31st 2018!
We will exhibit at CBTC World Congress! Come to see and discover our market leading solutions for Formal Verification and Signaling Design Automation. We will present Prover Certifier, the first SIL-4 certified sign-off verification tool [...]
Using HLL to solve Sudoku puzzles
In a recent post we celebrated the 10th anniversary of the declarative, formal language HLL. The language is used extensively in the railway signaling domain for the formal verification of interlocking logic and CBTC subsystems (such [...]
Challenges in Digitizing Specific Application Configurations
To enjoy the full benefits of Signaling Design Automation, particular care needs to be taken regarding the Specific Application Configuration. Characteristics of Specific Application Configuration Specific Application Configuration (SAC) often involves large amounts of safety [...]