Ansaldo STS France a décidé d'utiliser l'outil Prover Certifier de Prover Technology pour la vérification formelle des systèmes d'enclenchements dans le cadre du projet "ESTER - ERTMS niveau 2" pour la Suède

STOCKHOLM et TOULOUSE, France, March 15, 2011 /PRNewswire/ -- Prover Technology, leader mondial dans l'automatisation, le développement et la vérification des systèmes de signalisation critiques, a annoncé aujourd'hui qu'Ansaldo STS a placé une commande pour utiliser l'outil "Prover Certifier" pour la vérification formelle des systèmes d'enclenchements 'ERTMS de niveau 2' fournis à Trafikverket, (Administration suédoise des transports). Prover Certifier est le seul logiciel actuellement sur le marché qui permet la vérification formelle automatique des propriétés de sécurité d'un système logiciel pour la certification CENELEC EN50128 SIL 4. Grâce à l'utilisation de Prover Certifier, Ansaldo STS sera en mesure de remplacer ses méthodes traditionnelles basées sur les tests, de réduire ses dépenses dans les phases de développement et de V&V et permet d'obtenir une couverture intégrale de la sécurité des systèmes d'enclenchements SEI (niveau logiciel).

Dans le cadre de ce partenariat, Prover Technology va écrire une spécification formelle à partir des règles de sécurité de Trafikverket. En se basant sur cette spécification formelle, Prover Certifier sera appliqué pour la vérification de sécurité de tous les systèmes d'enclenchements de la ligne connectant Boden et Haparanda ("Haparandabanan"). La vérification formelle des propriétes de sécurité sera réalisée sur l'implémentation logiciel des systèmes d'enclenchements SEI d'ASTS, dans le langage C. La spécification formelle des règles de sécurité de Trafikverket sera générique afin de permettre la réutilisation pour tout système d'enclenchement ERTMS de niveau 2 fourni à Trafikverket.

Prover Certifier - augmente la qualité et réduit les coûts

Prover Certifier est le seul logiciel actuellement sur le marché qui permet la production automatique de preuves complètes de sécurité basées sur la vérification formelle pour la certification CENELEC EN50128 SIL 4. La vérification formelle est une méthode d'analyse basée sur des preuves mathématiques. Elle est fortement recommandée par les organisations établissant les normes de sécurité comme le CENELEC et plusieurs directeurs d'infrastructures ferroviaires de premier plan requièrent la vérification formelle dans le cadre de l'évaluation de la sécurité. La raison : la vérification formelle augmente la sécurité et la qualité, tout en étant plus efficace que les méthodes d'essai en termes de coûts et de temps. Pour tout complément d'information, veuillez cliquer sur le lien suivant : http://www.prover.com/products/prover_certifier/.

L'ERTMS - l'avenir de la signalisation des chemins de fer européens

Le système européen de surveillance du trafic ferroviaire (ERTMS) est une initiative soutenue par l'Union européenne et qui a pour objectif de renforcer l'interopérabilité transfrontalière de la signalisation en créant une norme unique à l'échelle européenne pour les systèmes de contrôles ferroviaires. L'ERTMS a été conçu pour remplacer les nombreux systèmes de sécurité incompatibles actuellement utilisés par les chemins de fer européens, en particulier sur les lignes à haute vitesse.

Prover Technology - automatise l'ingénierie de la signalisation

Prover Technology fournit des logiciels et des services destinés au développement des systèmes de signalisation et de contrôle. Établie à Stockholm, en Suède, il s'agit d'une société privée qui compte des filiales en propriété exclusive en France et aux États-Unis. Parmi la clientèle de Prover Technology figurent Ansaldo STS, ABB, Bombardier Transportation, le Chemin de fer Canadien Pacifique, Invensys Rail, New York City Transit, les chemins de fer nationaux norvégiens, la RATP (métro parisien), le métro de Stockholm, les chemins de fer nationaux suédois, Thales, et beaucoup d'autres. Pour tout complément d'information et pour savoir où sont implantés les bureaux de Prover Technology, veuillez consulter le site Internet de la société à l'adresse : http://www.prover.com/.

Prover est une marque de commerce déposée et Prover Certifier est une marque de commerce de Prover Technology AB.

SEI est une marque de commerce d'Ansaldo STS.

Toutes les autres marques de commerce mentionnées dans ce communiqué sont la propriété intellectuelle de leurs propriétaires respectifs.

Contacts éditoriaux :

Prover Technology, Thierry Lartaud, [email protected], +33-562-275327