Our Solutions

Our Solutions

Solutions for Increased Capacity & Reliability in Creating Modern Railway Interlocking Systems.

Solutions for Increased Capacity & Reliability in Creating Modern Railway Interlocking Systems.

Products

Software tools to automate and support the entire development and verification process meeting highest demands and safety standards.

Services

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.

Want to learn how your project can benefit with Signaling Design Automation?

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.

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

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 SDA Software Suite

Prover Studio helps you manage, develop and maintain formal specifications.

Key features
  • Write specifications in HLL, LCF or PiSPEC

  • Navigate in specifications

  • Have mistakes pointed out as you type

The desktop tool for producing fully documented, tested and verified application software for railway interlocking systems.

Key features
  • Build digital twins

  • Inspect, simulate and verify

  • Generate code for your target platform

The only sign-off verification tool on the market that allows you to automatically produce complete safety evidence using formal verification.

Key features
  • Do sign-off formal verification for SIL4 projects
  • Handle software in C, ADA and several domain-specific langauges
  • Simplify your safety case by referring to our certificate

Additional solutions

The software tool for automated processing, checking and generation of Relay-Based Interlocking (RBI) system schematics.

Key features
  • Extract the logic from relay schematics
  • Navigate in relay schematics

  • Check compliance with guidelines

PSL with its library Prover SL CE is a model checker capable of formally verifying big industrial systems.

Key features
  • Prove or disprove properties expressed in HLL or sHLL

  • Debug your system using interactive inspection with the Why tool

  • Choose between many built-in SAT solvers and strategies

Your way to ensure that no one makes unnoted changes to approved documents, drawings or programs.

Key features
  • Create checksums of documents, drawings and programs
  • Verify integrity of files using checksums
  • Monitor changes in files live
World-class training
World-class training
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.

  • Specific Application Engineering with Prover iLock

  • Formal Verification with Prover iLock and Prover Certifier

  • Specific Application Engineering with Prover iLock

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.

  • Specific Application Engineering with Prover iLock

  • Formal Verification with Prover iLock and Prover Certifier

  • Specific Application Engineering with Prover iLock

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.

testimonial-3-female

Mats Boman
Title, Prover

”We can map the complete workings of a unit at the heart of the cycle, look inside it and see what’s going on.”

testimonial-3-female

Mats Boman
Title, Prover

”We can map the complete workings of a unit at the heart of the cycle, look inside it and see what’s going on.”