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

90 Chapitre 3. Vers une méthodologie unifiée de modélisation AltaRica de systèmes physiques
– Pression
– Granularité : {nominal, excessive, nul}
– Orientation : Monodirectionnelle
– Vitesse
– Granularité : {nominal, excessive, nul}
– Orientation : Monodirectionnelle
– Corps étranger
– Granularité : Booléenne
– Orientation : Monodirectionnelle
Remarque : Au niveau du sens de propagation des flux, il peut être surprenant en comparaison
avec la modélisation des systèmes mécaniques (section 3.4) et hydromécaniques
(section 3.5) de n’utiliser qu’une propagation monodirectionnelle. Cela s’explique par
le fait que dans le cas d’étude considéré, il a été montré par des calculs numériques
hors du périmètre des travaux présentés ici que le flux d’air était monodirectionnel et
qu’il ne pouvait ainsi pas « revenir en arrière » dans le moteur. Notons que si le choix
du cas d’étude avait été différent, la propagation des flux aurait été potentiellement
bidirectionnelle.
3.7 Modélisation d’un sous-système logiciel [20]
Les résultats présentés dans cette section sont fondés sur le retour d’expérience tiré de
différentes références comme [20, 34]. De manière logique, puisque la méthodologie présentée
dans ce mémoire en est inspirée, on retrouve dans ces références les principales étapes utilisées
pour la modélisation de systèmes physiques (mécanique, hydromécanique) présentés section 3.4
à 3.6.
3.7.1 Caractérisation de l’architecture
Comme dans les cas présentés auparavant, la construction du modèle AltaRica est fondée
sur des spécifications fonctionnelles et sur des analyses de pannes.
– À partir des spécifications fonctionnelles, nous extrayons la liste des composants (des fonctions)
à modéliser, les dépendances fonctionnelles (i.e. quel composant utilise quels résultats
de quels autres composants ?), les modes de fonctionnement de ces composants ainsi que
les dispositifs utilisés pour détecter et contrôler les modes de défaillance prévus.
– À partir des analyses de pannes, nous identifions les modes de défaillance, leurs effets sur
l’environnement du composant ainsi que les modes de dysfonctionnement du composant.
À partir de ces documents, l’architecture du modèle est donc identifiée. Pour chacun des
composants considérés, nous identifions ses interfaces avec son environnement et en déduisons
ses ports d’entrées / sorties. Notons sur ce point une différence avec les domaines physiques
précédemment étudiés. En effet, ici l’étude est la plupart du temps effectuée au niveau fonctionnel
et l’information propagée est ainsi souvent limitée à la qualité du signal transmis d’un composant
à l’autre (d’une fonction à l’autre). Aussi, la propagation n’a souvent qu’à être monodirectionnelle
dans le sens où la défaillance d’une fonction f n’influe que les fonctions situées en aval de f
(n’influe que les fonctions utilisant spécifiquement le résultat de f).