DÉMONSTRATION DE SÛRETÉ

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 œuvre pour des systèmes critiques (Safety Integrity Level 4) :

  • Systèmes de signalisation ferroviaire BKL TIVD
  • Informatique de sécurité du matériel roulant MF2000
  • Logiciels de paramétrage des Postes de Manœuvre informatisés
  • Logiciel Codeur et extension

DéMONSTRATION FORMELLE

Comme alternative à des méthodes traditionnelles, les consultants de CLEARSY ont mis au point 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

  • Des principes de détection et d’isolation des pannes et de reprise (FDIR) du système de contrôle commande de satellite dont les composants (non spatialisés) sont soumis au rayonnement ionisant de l’environnement spatial.
  • Du diagnostic de pannes des constituants d’un véhicule automobile à partir des effets observables sur le véhicule.