Last updated on April 16, 2014 at 11:02 EDT

Infrabel Orders Prover ilock for Validation of Requirements for Level Crossing Systems

September 17, 2012

TOULOUSE, France, September 17, 2012 /PRNewswire/ –

Prover Technology, a world leader in software technology for Automated Development of
Rail Control Software, today announced that Infrabel, the Belgian railway infrastructure
manager, has placed an order for using Prover iLock for validation of level crossing
control requirements.

The Belgian railway network is one of the busiest in Europe, with more than 1,800
level crossing systems. Infrabel chose Prover iLock in order to validate the requirement
specifications for new, computerized level crossing systems. Requirement validation
detects specification errors and ambiguities, enabling improved quality of requirements
specifications and reducing the risk of delays in delivery of computerized rail control.

As part of the order, Prover Technology will formalize Infrabel’s level crossing
requirements in the formal specification language PiSPEC, and perform requirements
validation using the Prover iLock software tool suite.

Requirements Validation with Prover iLock

Based on design, test and safety requirements defined in the formal specification
language PiSPEC, the Prover iLock tool suite offers efficient support for requirements
validation based on functional simulation and formal safety verification.

The use of formal verification for safety assessment is required by leading railway
infrastructure managers, and highly recommended by standards such as CENELEC EN 50128. The
reason: formal verification can establish that a rail control system is safe in all
possible situations that can arise, as opposed to traditional and time-consuming methods
based on test and review.

About Prover Technology

Prover Technology pioneered the use of formal safety verification in rail control in
the 1990s, and today offers complete software solutions for development of rail control

Prover Technology is a privately held Swedish company headquartered in Stockholm,
Sweden, with wholly owned subsidiaries in France and the USA. For more information and
office locations, visit Prover Technology’s web site at http://www.prover.com.

Prover is a registered trademark, and Prover iLock is a trademark of Prover Technology

Any other trademarks mentioned in this release are the intellectual property of their
respective owners.

Contact: Arne Boralv, +46-8-6176800, press@prover.com

SOURCE Prover Technology

Source: PR Newswire