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

64 Chapitre 3. Vers une méthodologie unifiée de modélisation AltaRica de systèmes physiques
plupart du temps énuméré) est fonction des évènements redoutés à observer (i.e. des objectifs du
modèle) et des évènements à propager.
Remarque : Nous illustrerons dans les cas d’application présents dans ce mémoire (section 3.4 à
3.7) que si ce choix de modélisation nous impose de descendre à bas niveau, il nous
fournit aussi :
– la capacité d’expliciter de manière détaillée l’impact des défaillances sur le
comportement physique du système ;
– une flexibilité et une capacité de généricité importante dans la prise en compte
des évènements devant être modélisés ;
– la possibilité de capitaliser la connaissance (fonctionnelle et dysfonctionnelle)
du comportement des composants dans des modèles génériques de bas niveau.
Sens de propagation : Une question importante devant être levée à ce stade est celui du sens de
propagation des évènements. En effet le principe de la propagation est d’informer l’environnement
de ce qui ce passe à l’intérieur du composant et réciproquement. Souvent en particulier pour la
propagation des flux physiques, la propagation se devra d’être bidirectionnelle.
Exemple : Dans un système physique, souvent, « l’entrée » influe sur la sortie et réciproquement.
En prenant l’exemple d’un tuyau pouvant se colmater dans un circuit hydraulique, un colmatage
entraînera d’une manière générale non seulement une absence de fluide en sortie mais aussi une
accumulation de fluide en entrée et donc une augmentation de pression en amont du tuyau. Pour
informer l’environnement, il faudra propager l’information de manière bidirectionnelle.
Remarque : Dans la suite, les termes « amont » et « aval » présume un sens « générateur →
récepteur ».
Sémantique des flux propagés : Les flux propagés peuvent avoir au sein d’un même modèle
différentes sémantiques. Au delà des différences entre flux physiques / informationnels et entre flux
physiques (flux mécanique, flux électrique, flux hydraulique...), il est possible de propager la valeur
(la plage de valeur) d’une grandeur physique et/ou sa qualité (correcte ou erronée). AltaRica étant
fondé sur la notion d’automate de mode, il convient ordinairement de faire un compromis entre
expressivité et complexité afin d’éviter un temps de calcul trop important (problème d’explosion
combinatoire). La plupart du temps, une solution acceptable est de s’assurer que les valeurs
manipulées (i.e. le domaine de définition des variables manipulées) soient nécessaires et suffisantes
à l’observation des évènements redoutés considérés.
En pratique, les flux sont représentés par deux types d’informations : leurs qualités et leurs
grandeurs. Par exemple, pour un système informationnel, la valeur du signal transmis est discrétisée
en fonction des tests nominaux que le signal subit. Pour un système physique, on parlera de valeur
nominale, inférieur à ce que prévoit la spécification ou supérieur à ce que prévoit la spécification (en
prenant en compte différents niveaux pour ces infériorités ou supériorités). La qualité permettra,
par exemple pour un fluide, d’indiquer la présence de pollutions dans le fluide où d’indiquer des
oscillations (plus ou moins importante) du débit de fluide.