Desarrollo del software de seguridad SIL4 para los automatismo fijos de Val de Roissy

Ficha Téchnica

Elaboración del software de seguridad con el método B

Val de Roissy
Val de Roissy

Siemens Transportation Systems (STS) ha subcontratado a CLEARSY la elaboración del software de seguridad para los automatismos del futuro VAL de ROISSY con el método B: Unidad de control de alarmas (UCA) y Pilotos automáticos de sección (PADS), para Siemens. Estos programas representan aproximadamente 150.000 líneas de ADA en total.

Estos programas pertenecen a la clase SIL4 según la norma IEC61508: EN50126, EN50128, EN50129.

El sistema simplificado

Val de Roissy
Val de Roissy

 Algunas cifras…

En la línea L1 de VAL, inaugurada el 4 de abril de 2007, se instalaron dos ordenadores: el UCA y el PADS (tantos PADS como fueron necesarios – S por sección).

Para el software de PADS:

  • 186.440 líneas para el código ADA de seguridad de la AS (aplicación de seguridad)
  • 30.632 líneas para el código ADA no de seguridad de la AS
  • Número de pruebas matemáticas: 62.056
  • Número de líneas B: 256.653 líneas

Para el software de UCA:

  • 50.085 líneas para el código ADA de seguridad de la AS
  • 11.662 líneas para el código ADA no de seguridad de la AS
  • Número de pruebas matemáticas: 12.811
  • Número de líneas B: 65.722 líneas

El número de líneas B efectivas es menor que el anunciado, porque se tienen en cuenta los comentarios, incluyendo los comentarios de mejora. En junio de 2007 se inaugurará una segunda línea para el aeropuerto Charles de Gaulle.

Publicaciones y experiencias

  • Documento deintroducción: elaboración del software de seguridad SIL4 para Val de Roissy: descargar
  • ConferenciaZB2005: Artículo “Using B as a High Level Programming Language in an Industrial”: descargar
  • ConferenciaZB2005: Presentación (transparencias) de “Using B as a High Level Programming Language in an Industrial Project”: descargar
  • Météor: “ASuccessful Application of B in a Large Project”, FM’99, Toulouse, Francia, 1999 – Behm P., Benoît P., Faivre A., Meynadier J.-M. SpringerLink.com
  • Vital software:Formal method and coded processor – ERTS 2006 – 25-27 de enero de 2006 – Toulouse – Dollé D. Descargar el artículo
  • Formal Methods in Industry: Achievements, Problems, Future – Jean Raymond Abrial Swiss Federal Institute of Technology Zurich: Portal.acm.org
  • MetroPole: un artículo sobre Val de Roissy