Brazil 
Canada 
Chile 
China 
Columbia 
Denmark 
France 
India 
Indonesia 
Ireland 
Italy 
Malaysia 
Norway 
New Zealand 
Panama 
Peru 
Poland 
Portugal 
Saudi Arabia 
Singapore 
South Korea 
Spain 
Sweden 
Taiwan 
Thailand 
United Kingdom 
United States 
Vietnam 
Introduction to Prover
SYSTRA is Prover’s partner in Australia. Prover provides tools and methodologies for Railway Signalling Automation with Formal Methods and Digital Twin support. Prover software tools support and automate the entire development and verification process behind the delivery of signalling systems, meeting the highest demands and safety requirements.
The Evolution of Delivering Train Control Solutions
Prover is a thought leader in the industry, actively driving innovation, shaping standards and developing best practices for efficient development and verification of railway control systems. To support clear definition of what signalling systems should deliver, Prover has developed three different programming languages:
- PiSPEC
- HLL
- LCF
In addition to having a precisely defined syntax and semantics, these languages have been carefully designed to make it easy to express signalling requirements and configuration data, but also to simplify manual-review tasks.
Prover and SYSTRA
Together with Prover, Rail Systems Australia contributes to the automation and digitisation of modern rail control systems. Prover is an active member of industry organisations and standardisation bodies such as UNIFE, IEEE and Shift2Rail to contribute to developing standards and best practices for the train systems of tomorrow where safety, time to market and cost efficiency are paramount.
Prover tools support Signalling Design Automation, including solutions for Rail Control Project with Automation and 100% Verified Safety, and Digital Twin to simulate and analyse real-world behaviour and performance.
Prover Solutions
Prover Studio®
Prover Studio® helps you manage, develop and maintain formal specifications.
Key features:
- Write specifications in HLL, LCF or PiSPEC.
- Navigate in specifications.
- Identification of mistakes as you type.
Prover iLock®
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.
Prover Certifier®
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 languages.
- Simplify your safety case by referring to our certificate.
Asset Management Solutions
Our rail asset management solutions utilise data to evaluate the performance and reliability of the rail network helping to improve strategic decision-making and informing operational and maintenance strategies, ensuring reliable asset performance.
- Nexxiot: Provides near real-time Asset Intelligence for railcars, empowering rolling stock owners and freight operators to harness the power of their data.
- Prover: Provides tools and methodologies for Railway Signalling Automation with Formal Methods and Digital Twin support.
- Viezo Powerail: Provides a comprehensive solution for monitoring rolling stock and optimising maintenance processes.
- Viavi: Provides of testing, measurement and assurance solutions for telecommunications networks.
SOLUTION SPECIALIST
Pontus Nilsson
For more information about SYSTRA’s Prover Solutions, please reach out to Pontus Nilsson:
Email: [email protected]
Phone: +61 437 1915 26
Need more information?
For more information, please get in contact with us. Alternatively, if you wish to keep in touch please hit subscribe.
