STOCKHOLM and TOULOUSE, France, March 15, 2011 /PRNewswire/ --
- Following Successful Deployment for Urban Metro CBTC Systems, Ansaldo STS Orders Prover Certifier for Safety Verification of ERTMS Level 2 Interlocking Systems Supplied to the Swedish Transport Administration
Prover Technology, the world leader in Signaling Design Automation, today announced that Ansaldo STS has placed an order for using Prover Certifier for ERTMS Level 2 interlocking systems delivered to Trafikverket, the Swedish Transport Administration. Prover Certifier is the only software product on the market that enables automatic production of the complete safety evidence for CENELEC EN50128 SIL 4 certification based on formal verification. By using Prover Certifier, Ansaldo STS can replace traditional testing-based methods for checking safety; this reduces costs and provides 100 % coverage in safety verification of systems delivered.
As part of the order, Prover Technology will define a formal specification of Trafikverket's safety requirements. Based on this formal specification, Prover Certifier will be applied for safety verification of all ERTMS Level 2 interlocking systems connecting Boden and Haparanda ("Haparandabanan"). The formal safety verification will be performed against the software implementation of ASTS' SEI interlocking systems, in the C programming language. The formal specification of Trafikverket's safety requirements will be generic to enable reuse for any ERTMS level 2 interlocking systems delivered to Trafikverket.
Prover Certifier - increases quality and reduces costs
Prover Certifier is the only software product on the market that enables automatic production of complete safety evidence for CENELEC EN50128 SIL 4 certification based on formal verification. Formal verification is an analysis method based on mathematical proof. It is strongly recommended by safety standards organizations such as CENELEC, and several leading railway infrastructure managers require formal verification for safety assessment. The reason: formal verification increases safety and quality, and is more efficient than costly and time-consuming testing methods. For more information, see http://www.prover.com/products/prover_certifier/.
ERTMS - the future of European railway signaling
ERTMS is an initiative backed by the European Union to enhance cross-border interoperability and signaling procurement by creating a single Europe-wide standard for train control and command systems. ERTMS was designed to replace the many incompatible safety systems currently used by European railways, especially on high-speed lines.
Prover Technology - automates signaling engineering
Prover Technology provides software products and services for development of control and signaling systems. The company is privately held and headquartered in Stockholm, Sweden with wholly owned subsidiaries in France and USA. Prover Technology's customer base includes Ansaldo STS, ABB, Bombardier Transportation, Canadian Pacific Railway, Invensys Rail, New York City Transit, Norwegian National Rail, Paris Metro (RATP), Stockholm Metro, Swedish National Rail, Thales, and many others. For more information and office locations, visit Prover Technology's web site at http://www.prover.com/.
Prover is a registered trademark, and Prover Certifier is a trademark of Prover Technology AB.
SEI is a trademark of Ansaldo STS.
Any other trademarks mentioned in this release are the intellectual property of their respective owners.
Editorial Contacts: Prover Technology Thierry Lartaud firstname.lastname@example.org +33-562-275327
SOURCE Prover Technology