Ansaldo STS standardisiert Prover Certifier f�r die Sicherheitsverifikation von ERTMS-Level-2-Systemen, die in Schweden bereitgestellt werden
Prover Technology, das weltweit f�hrende Unternehmen f�r die
Automatisierung von Signalprojektierung gab heute bekannt, dass
Ansaldo STS eine Bestellung f�r die Verwendung von Prover Certifier
f�r ERTMS-Level-2-Stellwerksanlagen aufgegeben hat, welches der
schwedischen Transportadministration Trafikverket bereitgestellt
werden wird. Prover Certifier ist das einzige Softwareprodukt auf dem
Markt, welches die automatische Herstellung eines vollst�ndigen
Sicherheitsnachweises f�r die CENELEC EN50128 SIL 4-Zertifizierung
basierend auf der formalen �berpr�fung erm�glicht. Durch die
Verwendung von Prover Certifier kann Ansaldo STS die traditionellen,
testbasierten Methoden f�r die Sicherheits�berpr�fung ersetzen. Dies
reduziert die Kosten und bietet eine hundertprozentige Abdeckung bei
der �berpr�fung der Sicherheit von bereitgestellten Systemen.
Als Teil der Bestellung wird Prover Technology eine formale
Spezifikation f�r die Sicherheitsanforderungen von Trafikverket
festlegen. Basierend auf diesen formalen Spezifikationen wird Prover
Certifier auf die Sicherheits�berpr�fung f�r alle
ERTMS-Level-2-Stellwerksanlagen, die Boden und Haparanda verbinden
("Haparandabanan"), angewandt werden. Die formale
Sicherheits�berpr�fung wird gegen�ber der Softwareimplementierung von
SEI-Stellwerksanlagen von ASTS in der C-Programmiersprache
durchgef�hrt werden. Die formale Spezifikation der
Sicherheitsanforderungen von Trafikverket wird allgemein sein, um die
Wiederverwendung f�r alle ERTMS-Level-2-Stellwerksanlagen zu
erm�glichen, die f�r Trafikverket bereitgestellt werden.
Prover Certifier - erh�ht die Qualit�t und senkt Kosten
Prover Certifier ist das einzige Softwareprodukt auf dem Markt,
welches die automatische Herstellung eines vollst�ndigen
Sicherheitsnachweises f�r die CENELEC EN50128 SIL 4-Zertifizierung
basierend auf der formalen �berpr�fung erm�glicht. Die formale
Verifikation ist eine Analysemethode, die auf einem mathematischen
Nachweis basiert. Sie wird von Sicherheitsstandardorganisationen wie
CENELEC unbedingt empfohlen und mehrere f�hrende Manager von
Eisenbahninfrastrukturen fordern die formale Verifikation f�r die
Sicherheits�berpr�fung. Der Grund: Die formale Verifikation erh�ht
die Sicherheit und die Qualit�t und ist effizienter als kosten- und
zeitintensive Testmethoden. F�r ausf�hrlichere Informationen besuchen
Sie bitte: http://www.prover.com/products/prover_certifier/.
ERTMS - Die Zukunft der europ�ischen Eisenbahnsignale
ERTMS ist eine von der Europ�ischen Union unterst�tzte Initiative
zur Verbesserung der grenz�berschreitenden Interoperabilit�t und
Signalbeschaffung durch die Erstellung eines einzigen, europaweiten
Standards f�r die Zugkontrolle und Eisenbahnkommandosysteme. ERTMS
wurde so gestaltet, dass es die vielen mit einander inkompatiblen
Sicherheitssysteme, die derzeit von europ�ischen Eisenbahnen
verwendet werden, ersetzte - und das vor allen Dingen auf
Hochgeschwindigkeitsstrecken.
Prover Technology - automatisiert die Signaltechnik
Prover Technology stellt Softwareprodukte und -dienste zur
Entwicklung von Kontroll- und Signalsystemen bereit. Das Unternehmen
befindet sich in Privatbesitz, hat seinen Hauptsitz in Stockholm
(Schweden) und verf�gt �ber hundertprozentige Tochtergesellschaften
in Frankreich und in den USA. Zum Kundenstamm von Prover Technology
geh�ren 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 und viele andere. F�r weitere Informationen und
Niederlassungsstandorte besuchen Sie die Website von Prover
Technology unter http://www.prover.com/.
Prover ist eine registrierte Handelsmarke und Prover Certifier
ist eine Handelsmarke von Prover Technology AB.
SEI ist eine Handelsmarke von Ansaldo STS.
Alle anderen in dieser Pressemitteilung erw�hnten Handelsmarken
sind das geistige Eigentum der entsprechenden Eigent�mer.
Die PresseMitteilung stellt eine Meinungs�u�erung des Erfassers dar. Der Erfasser hat versichert, dass die eingestellte PresseMitteilung der Wahrheit entspricht, dass sie frei von Rechten Dritter ist und zur Ver�ffentlichung bereitsteht. logistiktreff.de macht sich die Inhalte der PresseMitteilungen nicht zu eigen. Die Haftung f�r eventuelle Folgen (z.B. Abmahnungen, Schadenersatzforderungen etc.) �bernimmt der Eintrager und nicht logistiktreff.de
