GE Transportation Orders Turnkey Delivery of Interlocking Rail Control Software Developed With Prover iLock
Poster: SySAdmin
Posted on September 12, 2012 at 2:14:02 AM
GE Transportation Orders Turnkey Delivery of Interlocking Rail Control Software Developed With Prover iLock
Supply of Interlocking Rail Control Software Developed with Prover iLock for Stockholm Public Transport SL's Light Rail System Tvarbanan
STOCKHOLM, September 12, 2012 /PRNewswire/ --
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.
Contact: Arne Boralv, +46-8-6176800, press@prover.com
Prover Technology
Supply of Interlocking Rail Control Software Developed with Prover iLock for Stockholm Public Transport SL's Light Rail System Tvarbanan
STOCKHOLM, September 12, 2012 /PRNewswire/ --
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.
Contact: Arne Boralv, +46-8-6176800, press@prover.com
Prover Technology