Infrabel Orders Prover ilock for Validation of Requirements for Level Crossing Systems
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
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
Contact: Arne Boralv, +46-8-6176800, firstname.lastname@example.org
SOURCE Prover Technology