Ansaldo STS Standardizes on Prover Certifier for Safety Verification of ERTMS Level 2 Systems Supplied in Sweden
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
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
Bombardier Transportation, Canadian Pacific Railway, Invensys Rail, New York
City Transit, Norwegian National Rail,
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
SOURCE Prover Technology