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 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.
SOURCE: Prover Technology
For further information:
Arne Borälv, +46-8-6176800, [email protected]