Val de Roissy

Val de Roissy

Development of SIL4 safety software for the fixed automatisms of the future Val de Roissy

Realization of the safety software with the B method

Siemens Transportation Systems (STS) has subcontracted with CLEARSY for the realization with B of the safety software for the automatisms of the future VAL de ROISSY: alarm control unit (UCA) and automatic section drivers (PADS) for Siemens.

This software represents approximately 150,000 ADA lines once completed. The software is classified as SIL4, according to standards IEC61508: EN50126, EN50128, EN50129.

A few figures

On the L1 VAL line inaugurated on 4th April 2007, 2 computers have been installed: the UCA and PADS (as many PADS as required – S for Section).

For the pads software:

  • 186,440 lines for the AS Ada safety code (AS – Safety Application)
  • 30,632 lines for the AS non safety-critical Ada code
  • number of mathematical Proofs: 62,056
  • number of B lines: 256,653 lines

For the UCA software:

  • 50,085 lines for the AS Ada safety code
  • 11,662 lines for the AS non safety-critical Ada code
  • number of mathematical Proofs: 12,811
  • number of B lines: 65,722 lines

The number of effective B lines is smaller than that announced as comments are taken into account, including remarks which guide refinement.

Publications and feedback

Thematics
Link to this référence
Tools
Linked to this référence

Need a custom-made system ?

We are safety software and systems designers.  Contact us and let's discuss your project together!