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

2.5 Autres langages pour la réalisation d’étude de Sûreté de Fonctionnement 51
textuelle) standardisée. Il permet de décrire les interfaces entre composants de l’architecture (e.g.
les entrées et les sorties de chacun des composants), ainsi que le comportement de ces composants
et du système modélisé. Enfin, ici, le langage AADL est pensé pour être extensible afin d’autoriser
des types d’analyses que le langage « de base » ne permet pas.
Concernant notre problématique, le « AADL Error Model Annex », par exemple, autorise la
création, au sein d’une bibliothèque, de modèles d’erreur. Ces modèles permettent la description
de caractéristiques classiques de la Sûreté de Fonctionnement comme les modes de défaillance, les
potentielles réparations, les propagations de pannes... Ces modèles d’erreur sont alors instanciés et
associés aux autres composants déjà présents dans le modèle AADL de l’architecture. Obtenu de
la sorte, un modèle AADL permet alors de décrire le comportement dysfonctionnel d’un système.
Les modèles AADL sont ensuite transformés en d’autres modèles permettant des analyses
spécifiques. Par exemple, [57] propose de transformer un modèle AADL en un Réseau de Petri
(RdP) et d’utiliser ensuite ces RdP pour réaliser les analyses de Sûreté de Fonctionnement. Le
principe général de l’approche étant de profiter des outils disponibles sur les RdP tout en masquant
leurs complexités. Ainsi, l’utilisateur maitrisant AADL et ayant des connaissances limitées sur les
RdP pourra réaliser les analyses. Dans une problématique proche, [26] propose de transformer un
modèle AADL en un modèle AltaRica. L’avantage de la transformation est double : le modèle
AltaRica est obtenu en parcourant le modèle AADL une unique fois, alors que plusieurs itérations
sont nécessaires dans le travail proposé par [57] ; l’utilisation du langage AltaRica permet la
génération d’arbre de défaillance (ce que ne permet pas en standard un réseau de Petri).
2.5.1.2 East-ADL2
EAST-ADL2 [21], d’une philosophie issue de celle d’UML 4 , est un langage à l’origine développé
pour la modélisation et la conception de systèmes électroniques, en particulier dans le
domaine automobile. Le langage, structuré en « couches » permet une description hiérarchique
du système, du niveau « véhicule » au niveau matériel. Comme AADL, EAST-ADL2 permet de
représenter les composants du système ainsi que les interfaces présentes entre ces composants. En
tant qu’héritier d’UML, si un modèle EAST-ADL2 représente une large quantité d’informations,
son appréhension nécessite de connaître le formalisme associé au langage.
D’un point de vue dysfonctionnel, les modèles écrits en EAST-ADL2 permettent de modéliser
les défaillances d’un système, i.e. les défaillances d’un composant et les propagations de panne
ayant lieu dans le système ensuite. Une particularité de la méthode vient du fait que la construction
de ces modèles dysfonctionnels est clairement séparée de celle des modèles fonctionnels nominaux :
les modèles dysfonctionnels sont alors plutôt à caractère informatif ; ceux fonctionnels plus voués
à la génération automatique de code.
2.5.1.3 Nu-SMV
Le langage Nu-SMV [22], fondé sur les machines à états finis, permet la réalisation de
preuve sur des formules de logique temporelle. Il est utilisé pour décrire différents types de systèmes,
aussi bien synchrone qu’asynchrone, à différents niveaux de détails. De manière similaire au
langage AltaRica, il permet la description de systèmes hiérarchiques et encourage la réutilisation
de composants déjà modélisés (i.e. encourage la réutilisation de modèle). Également à mettre en
analogie avec AltaRica, Nu-SMV ne permet pas la description de données continues et prend en
compte des données booléennes ou énumérées.
Dans [18, 19], la description d’un système et de son comportement peut être vue en deux
temps. La description du comportement nominal puis la description du comportement dysfonc-
4. Crée à la fin des années 1990, UML est destiné à la modélisation orientée objet de systèmes logiciels.
Il a inspiré de nombreux autres langages parmi lesquels SysML (System Modelling Langage) pour l’ingénierie de
systèmes ou EAST-ADL puis EAST-ADL2 pour le développement de systèmes électroniques automobiles.