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

78 Chapitre 3. Vers une méthodologie unifiée de modélisation AltaRica de systèmes physiques
Remarque : Un exemple de l’influence des évènements à propager sur la granularité des variables.
Imaginons ici que nous voulions propager un blocage de l’engrenage. Ce blocage
aurait pour effet de transmettre un couple très important en amont et en aval
ainsi qu’une vitesse nulle. Ainsi pour prendre en compte un tel mode de défaillance,
nous prendrions {ok, nul, important} comme domaine de définition pour la variable
« couple » et le modéliserions de la façon suivante :
Blocage de l’engrenage
Sortie
Valeur
Couple transmis vers l’aval important
Vitesse transmise vers l’aval nulle
Couple imposé à l’amont important
Vitesse imposée à l’amont nulle
De manière analogue, nous définissons l’effet de l’usure sur la variable « particules ». À noter
que l’on ne considère pas ici que l’engrenage puisse conduire à l’arrêt de la lubrification d’huile.
Mode nominal
Usure de l’engrenage
Sortie Valeur Sortie Valeur
Présence d’huile en
sortie
Présence d’huile en
entrée
Présence d’huile en
sortie
Présence d’huile en
entrée
Particules en sortie Particules en entrée Particules en sortie yes
En langage AltaRica...
Le travail présenté ci-dessus permet alors, avec la prise en compte du fonctionnement nominal
(ici, le fonctionnement nominal se résume à « Mouvement sortie » = « Mouvement entrée »,
i.e. le composant est passif), de définir la valeur des sorties dans chaque mode de fonctionnement
/ dysfonctionnement. Les assertions AltaRica peuvent être implémentées. Les références aux
différentes entrées et sorties sont illustrées sur la figure 3.8.
node engrenage
...
assert
OUT_Tq_to_downstream = case { ST_Transmission = ko : nul,
IN_Guidance = ko : nul,
else IN_Tq_from_upstream } ;
OUT_Spd_to_downstream = case {ST_Transmission = ko : IN_Spd_from_downstream,
IN_Guidance = ko : IN_Spd_from_downstream,
else IN_Spd_from_upstream } ;
OUT_Tq_to_upstream = case { ST_Transmission = ko : nul,
IN_Guidance = ko : nul,
else IN_Tq_from_downstream } ;
OUT_Spd_to_upstream = case { ST_Transmission = ko : IN_Spd_from_downstream,
IN_Guidance = ko : IN_Spd_from_downstream,
else IN_Spd_from_downstream } ;