GE Transportation Orders Turnkey Delivery of Interlocking Rail Control Software Developed With Prover iLock

Stockholm (ots/PRNewswire) -

?

Supply of Interlocking Rail Control Software Developed with
Prover iLock for

Stockholm Public Transport SL's Light Rail System
Tvärbanan

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 Tvärbanan 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 Tvärbanan 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 Borälv, +46-8-6176800, press@prover.com

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

Contact:
.