Ansaldo STS estandariza con Prover Certifier la verificación de seguridad de sistemas ERTMS de nivel 2

ESTOCOLMO y TOULOUSE, Francia, March 15, 2011 /PRNewswire/ -- Prover Technology, líder mundial en diseño de señalización automatizado, ha anunciado hoy la realización de un pedido por parte de Ansaldo STS para el uso del Prover Certifier para los sistemas de enclavamiento ERTMS de nivel 2 suministrados a Trafikverket, la administración de transportes de Suecia. Prover Certifier es el único producto de software en el mercado que permite la producción automática de pruebas de seguridad completas para la certificación CENELEC EN50128 SIL 4 que se basa en la verificación formal. Al utilizar Prover Certifier, Ansaldo STS puede sustituir los métodos de pruebas tradicionales para comprobación de seguridad; con lo que reduce los costes y puede proporcionar un 100% de cobertura en verificación de seguridad para los sistemas desplegados.

Como parte del pedido, Prover Technology definirá una especificación formal de los requisitos de seguridad de Trafikverket. Basándose en esta especificación formal, Prover Certifier se aplicará para la verificación de seguridad de todos los sistemas de enclavamiento ERTMS de nivel 2 que conectan Boden y Haparanda ("Haparandabanan"). La verificación formal de seguridad se llevará a cabo contra la implementación del software de los sistemas de enclavamiento SEI, de ASTS, en el idioma de programación C. La especificación formal de los requisitos de seguridad de Trafikverket será genérica, para permitir su reutilización en cualquier sistema de enclavamiento ERTMS de nivel 2 suministrado a Trafikverket.

Prover Certifier - aumento de la calidad y reducción de los costes

Prover Certifier es el único producto de software del mercado que permite la producción automática de pruebas de seguridad completas para la certificación CENELEC EN50128 SIL 4 basado en la verificación formal. La verificación formal es un método de análisis basado en pruebas matemáticas. Es recomendado por organizaciones de estándares de seguridad como CENELEC, y varios de los más importantes responsables de infraestructuras de vías férreas exigen la verificación formal para las evaluaciones de seguridad. La razón: la verificación formal aumenta la seguridad y la calidad, y es más eficiente que los métodos de pruebas, que presentan un elevado coste y requieren de mucho tiempo. Si desea más información visite http://www.prover.com/products/prover_certifier/.

ERTMS - el futuro de la señalización de las vías férreas europeas

ERTMS es una iniciativa que cuenta con el respaldo de la Unión Europea, con el fin de mejorar la interoperabilidad entre fronteras y la capacidad de señalización, a través de la creación de un estándar único, a nivel europeo, para el control de trenes y sistemas de mando. ERTMS se diseñó para sustituir los muchos e incompatibles sistemas de seguridad utilizados actualmente en las vías férreas europeas, sobre todo en líneas de alta velocidad.

Prover Technology - ingeniería de señalización automatizada

Prover Technology proporciona productos y servicios de software para el desarrollo de sistemas de control y señalización. La compañía es de propiedad privada y tiene su sede central en Estocolmo, Suecia, disponiendo de filiales totalmente propias en Francia y Estados Unidos. La base de clientes de Prover Technology incluye compañías como 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 y muchas otras. Si desea más información visite la página web de Prover Technology disponible en http://www.prover.com/.

Prover es una marca registrada, y Prover Certifier es una marca registrada de Prover Technology AB.

SEI es una marca registrada de Ansaldo STS.

El resto de marcas registradas mencionadas en este comunicado son propiedad intelectual de sus respectivos dueños.

    
    Contactos editoriales:

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