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

54 Chapitre 2. Modélisation formelle de systèmes
Pour ce faire, les auteurs proposent d’utiliser différentes transformations de modèles permettant
de traduire les informations pertinentes présentes dans les documents de conception (modèle
EAST-ADL2) en informations pertinentes pour les analyses de Sûreté de Fonctionnement (en
modèle HIP-HOPS).
2.6 Conclusion du chapitre : Pourquoi AltaRica ?
Pour rappel, nous nous intéressons au support et à la réalisation d’analyse de sécurité de type
arbre de défaillance. D’après la section précédente, ces analyses peuvent avoir deux philosophies :
– soit la modélisation est réalisée dans une logique d’injection des défaillances au sein d’un
modèle de conception (e.g. de type Matlab Simulink ou SCADE) déjà existant ;
– soit cette modélisation est réalisée en prenant en compte et en modélisant directement la
logique de propagation de défaillance au sein du système considéré.
Concernant la première philosophie tout d’abord, ce type de modélisation est utilisé dans la
littérature principalement pour la représentation de systèmes informatiques, électriques ou électroniques
là où nous nous intéressons à la représentation de systèmes mécaniques ou hydromécaniques.
De plus et pour de tels systèmes, nous n’avions pas au début des travaux et n’avons pas
plus aujourd’hui à disposition des modèles de conception.
Nous nous sommes ainsi intéressé pour répondre à notre problématique à l’utilisation de modèles
de propagation de défaillance. Le langage AltaRica s’inscrit alors dans la seconde philosophie.
Par rapport aux langages Figaro et HiP-HOPS, le langage AltaRica est doté d’une sémantique
formelle permettant à la fois d’obtenir du langage AltaRica à partir d’autres formalismes (e.g.
SysML [23]) et de générer à partir d’AltaRica des modèles du type arbres de défaillance ou analyse
de Markov.
Enfin, les travaux et expériences passés [33, 9, 12, 20, 38, 37] ont déjà montré la pertinence
de l’utilisation du langage AltaRica pour réaliser l’étude de sécurité d’un système aéronautique.
Nous nous inscrivons ainsi directement dans leur continuité et approfondissons l’approche à l’étude
de systèmes multi-physiques.