Quantcast

Ansaldo STS Standardizes on Prover Certifier for Safety Verification of ERTMS Level 2 Systems Supplied in Sweden

March 15, 2011

STOCKHOLM and TOULOUSE, France, March 15, 2011 /PRNewswire/ — 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
    thierry@prover.com
    +33-562-275327

SOURCE Prover Technology


Source: newswire



comments powered by Disqus