Our Solutions
Our Solutions
Solutions for Increased Capacity & Reliability in Creating Modern Railway Signaling Systems.
Solutions for Increased Capacity & Reliability in Creating Modern Railway Interlocking Systems.
Software tools to automate and support the entire development and verification process meeting highest demands and safety standards.
Our expert team supports your process, your use of software tools or takes on turn-key projects.
Successful Rail Control Project with
Signaling Design Automation
By using signaling design automation in your Rail Control project, you can generate accurate requirements, get correct system architecture and develop applications verified with 100% safety.
Lower cost, fast delivery and guaranteed 100% safety
In signaling design automation projects, we create a digital twin of your rail control system. Everything is done using formal methods that digitalize your existing or conceptual system and your new requirements.
With your digital twin you can reduce costs and get the correct tendering from the start. By validating your digital twin you can be sure your new system is 100% safe.
The tools and processes in Signaling Design Automation
Many of the challenges you encounter during rail control projects can be resolved with a better production process. We call it Signaling Design Automation.
A digital twin is a virtual, interactive replica of an actual physical system, asset or process.
Formal methods are mathematical techniques for modeling and verifying the properties of computer systems and software.
Avoid costly mistakesby formalize system requirements in a formal language – clearly defined syntax and semantics.
We utilize formal methods as an integrated part of a tool-supported system development process.
To ensure your specifications are high-quality, we validate them through simulation and formal verification.
The tools and processes in Signaling Design Automation
All the challenges you encounter during rail control projects can be solved with a better production process. We call it Signaling Design Automation.
A digital twin is a virtual, interactive replica of an actual physical system, asset or process.
Formal methods are mathematical techniques for modeling and verifying the properties of computer systems and software.
Avoid costly missteps by formalize system requirements in a formal language – clearly defined syntax and semantics.
We utilize formal methods as an integrated part of a tool-supported system development process.
To ensure your specifications are high-quality, we validate them through simulation and formal verification.
Prover SDA Software Suite – Verify safety in every step of your project.
Prover is a complete process and tool suite that reduces engineering efforts and life cycle costs, provide prompt time-to-market and ensures certification to the highest available safety standards.
Our software suite contains the following three solutions: Prover Studio, Prover iLock and Prover Certifier.
Prover SDA Software Suite – Verify safety in every step of your project.
Prover SDA Software Suite is a complete process and tool suite that reduces engineering efforts and life cycle costs, provide prompt time-to-market and ensures certification to the highest available safety standards.
Our software suite contains the following three solutions: Prover Studio, Prover iLock and Prover Certifier.
Prover Studio® helps you develop, manage and maintain formal specifications.
Key features
The desktop tool for producing fully documented, tested and verified application software for railway signaling systems.
Key features
The only sign-off verification tool on the market that allows you to automatically produce complete safety evidence using formal verification.
Key features
The software tool for automated processing, checking and generation of Relay-Based Interlocking (RBI) system schematics.
Key features
Prover PSL is a model checker capable of formally verifying big industrial systems. It supports HLL and sHLL.
Key features
Your way to ensure that no one makes unnoted changes to approved documents, drawings or programs.
Key features
Education
World-class Training
Our experienced and highly skilled professional services team provides software, training and support in order for you to succeed with your rail control projects.
How much can you save by implementing Signaling Design Automation?
In this meeting you’ll find out how digital twins and formal methods can help you achieve your rail control projects in less time and lower costs. And 100% secure system.
+46 (0)8 617 68 00