Technical sheet

VAL DE ROISSY – Software de segurança SIL4
VAL DE ROISSY
DESENVOLVIMENTO DO SOFTWARE DE SEGURANÇA SIL4 DOS
AUTOMATISMOS FIXOS DO VAL DE ROISSY
O sistema simplificado
Realização do software de segurança com o método B
A Siemens Transportation Systems (STS) subcontrata com a
ClearSy a realização dos softwares de segurança com B dos
automatismos do futuro VAL de ROISSY : Unidade de Controle
dos Alarmes (UCA) e Pilotos Automáticos De Seção (PADS),
em nome da Siemens. Esses softwares representam cerca de
150 000 linhas de ADA no final.
Esses softwares são classificados como SIL4 segundo a norma
IEC61508 : EN50126, EN50128, EN50129.
Alguns números…
Na linha L1 do VAL inaugurada em 4 de Abril de 2007, foram
instalados 2 calculadores: o UCA e o PADS (tantos PADS quantos necessários – S por
Seção).
Para o software pads :




186 440 linhas para o código de segurança Ada do AS (AS – Aplicativo de Segurança)
30 632 linhas para o código não seguro Ada do AS
número de Provas matemáticas : 12 811
número de linhas B : 65 722 linhas
ClearSy System Engineering / Fersil
320 avenue Archimède – Les Pléïades III Bat A - 13857 AIX EN PROVENCE CEDEX3
Tel : 04 42 37 12 70 – Fax : 04 42 37 12 71 - Site Web : www.fersil-railway.com
VAL DE ROISSY – Software de segurança SIL4
Para o software UCA :









50 085 linhas para o código de segurança Ada do AS
11 662 linhas para o código não seguro Ada do AS
número de Provas matemáticas : 12 811
número de linhas B : 65 722 linhas
50 085 lignes pour le code Ada sécuritaire de l'AS
11 662 lignes pour le code Ada non-sécuritaire de l'AS
nombre de Preuves mathématiques : 12 811
nombre de lignes B : 65 722 lignes
O número de linhas B efetivas é menor do que o anunciado porque teve em consideração
comentários, incluindo comentários que orientam os refinamentos.
Uma segunda linha para o aeroporto Charles de Gaulle deverá ser inaugurada em Junho de
2007.
Publicações e comentários







Documento de introdução : realização dos softwares de segurança SIL4 do Val de
Roissy : descarregar
Conferência ZB2005 : Artigo « Using B as a High Level Programming Language in an
Industrial » : descarregar
Conferência ZB2005 : Apresentação (transparências) « Using B as a High Level
Programming Language in an Industrial Project »: descarregar
Météor : a Successful Application of B in a Large Project », FM’99, Toulouse, França,
1999 – Behm P., Benoît P., Faivre A., Meynadier J.-M. SpringerLink.com
Vital software: Formal method and coded processor – ERTS 2006 – 25-27 Janeiro
2006 – Toulouse – Dollé D. descarregar o artigo
Formal Methods in Industry: Achievements, Problems, Future – Jean Raymond Abrial
Swiss Federal Institute of Technology Zurich : Portal.acm.org
MetroPole : um artigo sobre o Val de Roissy
ClearSy System Engineering / Fersil
320 avenue Archimède – Les Pléïades III Bat A - 13857 AIX EN PROVENCE CEDEX3
Tel : 04 42 37 12 70 – Fax : 04 42 37 12 71 - Site Web : www.fersil-railway.com