Méthodes pour la validation de modèles formels pour la ... - ISAE

18 Chapitre 1. Concepts généraux autour de la SdF
MTTF
MTBF
MDT
MUT
MTTR
Réparation
t
t=0 D1 Reprise
D2
Figure 1.1 – Indicateurs SdF
D i : Défaillance i, Reprise : Reprise du service
1.4.1 Introduction
Il est courant et fondamental dans le domaine aéronautique de parler de certification. Nous
retiendrons que la certification est la démonstration « légale » devant des autorités dites de certification
qu’un produit est sûr pour lui même et pour son environnement. Divers standards aéronautiques
(e.g. ARP 4754, ARP 4761 [59, 60]) visent à guider cette phase de certification en
indiquant des pratiques communément admises comme conformes pour assurer le fonctionnement
sûr d’un système.
Ainsi, l’application de l’ARP 4761 [60] est recommandée pour démontrer la sécurité d’un
système. Le processus défini dans ce guide décrit une méthodologie composée de plusieurs étapes,
de la définition des objectifs à tenir par le système jusqu’aux analyses qualitatives et quantitatives
justifiant la tenue de ces objectifs. Concernant les objectifs à tenir par le système, ceux-ci sont de
deux types : des exigences de sécurité pour lutter contre les potentielles défaillances du système
(pendant sa phase d’exploitation) ; des exigences concernant la rigueur à adopter pendant le
développement du système pour prévenir d’éventuelles erreurs de conception.
Pour adresser ce type d’exigences, le processus d’analyse de la sécurité d’un système commence
par une analyse fonctionnelle des dangers (FHA pour Functional Hazard Assessment)
auxquels le système est susceptible d’être soumis. Cette analyse permet de fixer les objectifs de
sécurité que le système et ses sous-systèmes se devront d’atteindre. Pour cela, l’approche consiste
à décliner, à chaque niveau de détail, les objectifs de sécurité du niveau N au niveau N − 1.
Parallèlement à cette FHA, des exigences sont allouées aux fonctions réalisées par le système pour
limiter les erreurs potentiellement introduites lors de la phase de conception de ces fonctions. Ensuite,
une évaluation préliminaire de la sécurité du système (PSSA pour Preliminary System Safety
Assessment) permet, en fixant des hypothèses sur le système, d’évaluer sa sécurité et de s’assurer
que son architecture puisse remplir les objectifs identifiés par la FHA. Enfin et une fois l’architecture
figée, une évaluation de la sécurité du système (SSA pour System Safety Assessment) vérifie
si les objectifs sont tenus par l’architecture.
La suite de cette section a pour vocation de présenter plus en détails les différentes étapes
de ce processus.
1.4.2 Identification des exigences de sécurité
1.4.2.1 Analyse fonctionnelle des dangers
L’analyse fonctionnelle des dangers (i.e. la FHA) consiste à identifier les conditions de défaillance
affectant la sécurité de l’aéronef et à les classifier en fonction de la gravité de leurs effets.