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

3.2 Processus de modélisation 61
Toujours au niveau du choix des composants à inclure dans le modèle, ce choix peut être
raffiné dans le but de rendre explicite certaines fonctions réalisées par un composant. Ainsi, si
un composant réel a deux fonctions, il est possible de modéliser chaque fonction par un nœud
AltaRica. Au contraire et pour limiter la taille du modèle, il peut être parfois bénéfique de grouper
un ensemble de composants réels en un unique nœud AltaRica (par exemple, lorsqu’un ensemble
de composants est pris en compte pour le bon fonctionnement du modèle mais n’impacte pas
l’occurrence de l’évènement redouté). Dans tous les cas, les choix de modélisation devront être
justifiés (majoritairement, grâce à l’analyse fonctionnelle et à l’AMDE) et tracés.
Le but de l’identification des composants à inclure dans le modèle peut se résumer de manière
simple :
– réduire au maximum le nombre de nœuds modélisés dans la bibliothèque (en profitant de la
capacité de réutilisation de modèle) ;
– permettre une observation fine des comportements et scénarios souhaitant être observés ;
– conserver un comportement du modèle conforme à celui du système réel.
Enfin, pour chaque composant identifié comme étant à modéliser, le choix des ports d’entréesortie
(E/S) se doit de refléter et de modéliser les dépendances fonctionnelles et physiques entre
le composant et son environnement.
3.2.2 Caractérisation du comportement d’un composant unitaire : abstraction
La section 3.2.1 ayant permis d’identifier les composants devant être modélisés, le comportement
de chacun d’entre eux doit désormais être abstrait afin de préparer son implémentation
en langage AltaRica. Nous fournissons dans cette section diverses étapes permettant d’initier une
réflexion sur cette abstraction et d’obtenir une première représentation comprenant les informations
devant être implémentées dans le modèle AltaRica. Nous appellerons cette représentation
une spécification.
Remarque : Par spécification, nous entendons une description du comportement d’un système,
d’un sous-système ou d’un composant. Ainsi, une spécification devra décrire ce qui
doit être modélisé.
Comme déjà mentionné, le processus proposé ici est loin d’un processus automatique type
presse bouton et souvent, la réflexion de l’analyste est mise à contribution. Cependant, divers
exemples seront donnés dans des sections ultérieures.
Pour un sous-système d’étude considéré et une fois l’architecture et le but du modèle identifiés,
nous souhaitons donc à présent 1) caractériser le comportement de chacun des composants
identifiés comme étant à modéliser et 2) définir des abstractions permettant de modéliser ce
comportement. Il nous est ainsi nécessaire d’identifier, pour chacun des composants :
– les comportements fonctionnels : identifier les évènements ayant trait au fonctionnement
nominal du composant ainsi que les modes de fonctionnement nominaux ;
– les comportements dysfonctionnels : identifier les modes de défaillance du composant ainsi
que ses modes de dysfonctionnement (i.e. les états que le système peut atteindre après
l’occurrence d’une défaillance) ;
– les lois de propagation à l’intérieur du composant : comment réagit le composant à une
entrée non nominale ? Comment propage t-il l’information à son tour ?