Ansaldo STS Standardizes on Prover Certifier for Safety Verification of ERTMS Level 2 Systems Supplied in SwedenBy Prover Technology, PRNE
Monday, March 14, 2011
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
STOCKHOLM and TOULOUSE, France, March 15, 2011 - 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 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
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
Editorial Contacts: Prover Technology, Thierry Lartaud, thierry at prover.com , +33-562-275327
Tags: France, March 15, Prover Technology, Stockholm And Toulouse, sweden