Supply of Interlocking Rail Control Software Developed with Prover iLock
for Stockholm Public Transport SL's Light Rail System Tvärbanan
STOCKHOLM, Sept. 12, 2012 /CNW/ - Prover Technology, a world leader in
software technology for Automated Development of Rail Control Software,
today announced that General Electric has placed an order for turnkey
delivery of interlocking software developed with Prover iLock. The
scope of the order includes the interlocking systems for the existing
light rail system Tvarbanan as well as the new Solna branch, to be
delivered by General Electric to Stockholm Public Transport SL.
Automated Development of Rail Control Software with Prover iLock
The interlocking software code for Tvarbanan will be developed and
checked using the highly automated Prover iLock process. Based on
design, test and safety requirements defined in the formal
specification language PiSPEC, the Prover iLock tool suite generates
the software code, test cases and safety requirements for each specific
rail control system. The functional testing and formal safety
verification is performed using the push-button tools Prover iLock
Simulator and Prover iLock Verifier.
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. The Prover iLock Process yields a very
efficient and reliable development process, integrating generation of
software code and documentation, functional testing and formal safety
verification based on formal specifications.
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 Boralv, +46-8-6176800, firstname.lastname@example.org