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

Toulouse, France (ots/PRNewswire) -

Efficient Requirements Validation with Prover iLock
Based on Formal

Requirement Specifications in PiSPEC

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 systems.

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 AB.

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

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

ots Originaltext: Prover Technology
Im Internet recherchierbar: http://www.presseportal.de