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

3.1 Introduction
3.1.1 Généralités & Objectifs
Les études de Sûreté de Fonctionnement se fondent sur la représentation des comportements
fonctionnels, des comportements dysfonctionnels et des propagations de panne ayant lieu au sein
d’un système (section 1.2.1). Au delà des méthodes classiques (de type arbres de défaillance)
présentées section 1.5, divers travaux ont montré le bien fondé d’une approche à base de modèle
(section 2.5). Deux approches de modélisation peuvent être différenciées :
– l’ajout d’un modèle dysfonctionnel à un modèle fonctionnel déjà existant ;
– la création d’un modèle dysfonctionnel spécifique.
Nous nous intéresserons ici à la seconde catégorie. D’une manière générale, le but de tels
modèles est de faciliter l’appréhension, la compréhension et l’analyse d’un système en autorisant,
par exemple, la simulation d’une ou plusieurs défaillances, l’observation des conséquences engendrées
par cette défaillance ou encore l’évaluation automatique des combinaisons de défaillance
conduisant le système dans un état non souhaité.
Aujourd’hui donc, les modèles se veulent être un support pour les analyses classiques de
Sûreté de Fonctionnement et seront en tant que tel utilisés pour démontrer le fonctionnement sûr
d’un système (i.e. pour la phase de certification du système). La figure 3.1 a pour vocation de
reprendre cette philosophie. Les informations présentes à l’intérieur d’un tel modèle doivent donc
être correctes. Pour s’assurer de la correction et de la pertinence des informations présentes dans
un modèle, nous proposons la mise en place d’un processus rigoureux de modélisation se voulant
supporter la construction d’un modèle AltaRica. À ce propos, différentes études traitent de la
modélisation en langage AltaRica de systèmes logiciels, électriques ou encore hydrauliques [12, 33] ;
peu traitent de l’unification de ces études pour la modélisation de systèmes physiques et multiphysiques
(mécanique, hydraulique, hydromécanique...).
Système
Réel
Abstraction
SdF
*
Arbres de
Défaillance
Évaluation de
la sécurité du
système
Modèle
formel
AltaRica
*
Génération de
séquences
Figure 3.1 – Approche classique Vs Approche à base de modèles
(* : Section 2.4.3)