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

3.4 Modélisation d’un sous-système mécanique 75
Exemple : Une rupture de l’engrenage entraînera non seulement un arrêt de l’entraînement du
rotor (si l’hélicoptère possède un unique moteur) mais conduira également à une perte du couple
résistant sur la turbine... ce qui conduira à une survitesse de celle ci... ce qui entraînera l’activation
de la protection survitesse.
Par conséquent, il nous faut propager le couple de variable {couple, vitesse} de façon bidirectionnelle,
i.e. en amont et en aval.
Plus « simple » à présent est l’étude de la propagation des défaillances ayant trait à la
lubrification et au guidage (i.e. au roulement) de l’engrenage. Au sujet de la lubrification, une
propagation monodirectionnelle (de l’amont vers l’aval) du couple de variable {présence d’huile,
présence de particules dans l’huile} suffit pour propager à la fois l’usure de l’engrenage et sa perte
de lubrification. Au sujet du guidage, ce qui nous intéresse est de savoir si l’engrenage est guidé
en rotation ou non, i.e. si la fonction de guidage est assurée correctement. Nous propageons ainsi,
de façon monodirectionnelle, l’effet de la réalisation correcte (ou incorrecte) de la fonction de
guidage.
L’ensemble de ses informations nous permet ainsi de définir un ensemble raffiné d’entrées et
de sorties nous permettant de propager les évènements du composant et de son environnement.
La figure 3.8 a pour vocation de présenter de manière graphique cet ensemble.
Couple transmis de l’amont −→ −→ Couple transmis vers l’aval
(IN_Tq_from_upstream)
(OUT_Tq_to_downstream)
Vitesse transmise de l’amont −→ −→ Vitesse transmise vers l’aval
(IN_Spd_from_upstream)
(OUT_Spd_to_downstream)
Couple imposé à l’amont ←− ←− Couple imposé par l’aval
(OUT_Tq_to_upstream)
(IN_Tq_from_downstream)
Vitesse imposée à l’amont ←− ←− Vitesse imposée par l’aval
(OUT_Spd_to_upstream)
(IN_Spd_from_downstream)
Présence d’huile en entrée −→ −→ Présence d’huile en sortie
(IN_Oil)
(OUT_Oil)
Particules en entrée −→ −→ Particules en sortie
(IN_Oil_particles)
(OUT_Oil_particles)
Guidage
(IN_Guidance)
−→
Figure 3.8 – Identification des E/S raffinées d’un engrenage
3.4.5.2 Identification de la granularité des variables de flux
Une fois l’ensemble de variables allant nous permettre de propager nos évènements fonctionnels
et dysfonctionnels déterminé, il est nécessaire de nous intéresser à la détermination du
niveau de granularité de ces variables. Par « niveau de granularité », nous rappelons ici que nous
entendons « niveau de détail » ou alors « domaine de définition » ; nous rappelons également que
ces variables seront discrètes.