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

3.4 Modélisation d’un sous-système mécanique 73
3.4.3.2 ... puis en langage AltaRica
En langage AltaRica, la figure 3.7 se traduit par la création de deux variables d’état ST_transmission
et ST_particles représentant respectivement l’état de la transmission de mouvement et
l’état de l’émission de particules métalliques dans l’huile. Concernant le niveau de détail de ces
variables, nous les prendrons à valeurs respectives dans {ok, ko} (ok correspondant à une transmission
correcte ; ko à une transmission incorrecte) et dans {no, yes} (no correspondant à l’absence
de particule émise, yes à l’émission de particules). Notons que initialement, la transmission est
correcte et qu’aucune particule n’est encore émise.
À ce stade, il est également possible de créer les évènements « Rupture » et « Usure »
qui correspondent respectivement à la rupture et à l’usure (entraînant l’émission de particules) de
l’engrenage. Une fois les états et les évènements déclarés, on implémente les différentes transitions
du nœud (représentées par des arcs orientés sur la figure 3.7).
node engrenage
...
state
ST_transmission : {ok, ko} ;
ST_particles : {no, yes} ;
init
ST_transmission := ok ;
ST_particles := no ;
event
Rupture, Usure ;
trans
ST_transmission = ok |- Rupture -> ST_transmission:=ko ;
ST_particles = no |- Usure -> ST_particles = yes ;
...
edon
3.4.4 Identification des évènements externes à propager
Le comportement de l’engrenage ne dépend cependant pas uniquement des évènements ayant
lieu en son sein. Le composant doit propager à l’environnement non seulement ses évènements
internes (Rupture et Usure) mais aussi les évènements d’autres composants (appartenant à son
système ou à des systèmes en interaction avec le sien) qui parviennent jusqu’à lui.
Exemple : Sur la figure 3.4, l’engrenage se situe par exemple à l’intérieur du système « Chaîne
de transmission ». Au delà de ses évènements internes, il devra aussi propager des scénarios tels
que :
– une survitesse due au système d’air : si le système d’air entre en survitesse, l’engrenage verra
une survitesse en entrée et propagera une survitesse en sortie ;
– une rupture du circuit de lubrification : si la lubrification de l’engrenage n’est plus assurée,
celui-ci cassera et ne sera plus à même d’assurer sa fonction ;
– ...