Efficient Requirements Validation with Prover iLock Based on Formal
Requirement Specifications in PiSPEC
TOULOUSE, France, Sept. 17, 2012 /CNW/ - 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
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.
SOURCE: Prover Technology
For further information:
Arne Borälv, +46-8-6176800, firstname.lastname@example.org