La mise en service et
l'exploitation d'un certain nombre de systèmes nécessitent des
autorisations préalables délivrées par des autorités de sûreté.
Cette délivrance est
conditionnée par la fourniture de démonstrations de sûreté.
En aéronautique les
systèmes embarqués doivent satisfaire aux exigences de navigabilité.
Ces
certificats sont accordés sur la base de preuves satisfaisantes montrant
que le système avionné répond à des spécifications au moins égales à des
normes définies (FAA, CAA, DGAC, ..).
Les moyens de la preuve notamment incluent les analyses de défaillances,
les plans et les résultats d'essais.
Dans le domaine de l'énergie nucléaire, l'exploitation des centrales est
conditionnée par d'autorisations délivrées par l'Autorité de Sûreté
Nucléaire au terme de procédures incluant la fourniture par le
concepteur et l'exploitant de rapports de sûreté qui démontrent la
sûreté de l'installation conçue ou exploitée.
On retrouve
dans d'autres secteurs (transports ferré, domaine spatial,
industries pétrolières et chimiques, ..) des dispositions analogues.
Réalisation et
accompagnement
ClearSy
prend en charge tous les travaux relatifs à la démonstration de
sûreté, en respectant les exigences du cadre normatif du domaine.
Ces travaux couvrent les aspects matériels et logiciels du système
considéré:
- Analyse Préliminaire des Risques
- Analyse des Principes de Sécurité de l'Architecture
- AMDEC
- AEEL
- Lecture Critique de Code
- Analyse de Sécurité de Chaînes de production de Code
- Dossier de Sécurité
et sont
réalisés dans des cadres variés :
- Assistance à l'industriel fabricant
- Assistance à l'organisme chargé de l'homologation/certification
Cet
accompagnement a notamment été mis en oeuvre pour des systèmes
critiques (Safety Integrity Level 4) :
- Système de signalisation ferroviaire BKL TIVD
- Informatique de sécurité du matériel roulant MF2000
- Logiciels de paramétrage des Postes de Manoeuvre Informatisés
- Logiciel Codeur et extension
Démonstration
formelle
Comme
alternative à des méthodes traditionnelles, les consultants de
Clearsy ont mis au point en collaboration avec J.R Abrial,
inventeur de la méthode B,
une méthode de démonstration formelle des principes de
fonctionnement appliquée notamment aux systèmes de protection et de
sauvegarde. Cette méthode de démonstration formelle permet d'une
part de garantir la robustesse de ces systèmes sous des hypothèses
incidentelles et accidentelles définies et d'autre part d'offrir un
moyen sûr de diagnostic de pannes et de leurs effets.
Cette
démonstration formelle vient en complément des calculs, simulations
et essais effectués par ailleurs.
Cette
méthode formelle a pu être mise en oeuvre dans le cadre :
