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

76 Chapitre 3. Vers une méthodologie unifiée de modélisation AltaRica de systèmes physiques
Remarque : À aucun moment nous ne prétendrons fournir LA solution optimale permettant de
répondre à nos objectifs. La solution proposée ici nous semble cependant satisfaisante
et pertinente pour propager les évènements fonctionnels et dysfonctionnels
identifiés et observer les évènements redoutés considérés. La solution proposée est
alors et aussi à mettre en relation avec le cas d’étude proposé.
Variable « couple » et « vitesse »
Nous nous intéressons pour commencer à la détermination du niveau de granularité des
variables représentant le « couple » et la « vitesse ». Pour déterminer ce niveau de granularité, nous
prenons le parti d’inclure les informations nécessaires et suffisantes à la propagation des évènements
(fonctionnels et dysfonctionnels) considérées et à l’observation des évènements redoutés à étudier.
Ici et en adéquation avec le tableau 3.2, nous souhaitons observer une perte de la génération
de mouvement et une survitesse de la transmission. Nous souhaitons également pouvoir propager
leurs effets à l’environnement. Nous choisissons comme granularité :
– le domaine de définition {ok, nul} pour les variables « couple » ;
– le domaine de définition {ok, nulle, survitesse} pour les variables « vitesse ».
Exemple : Si on se contente ici et pour l’exemple de considérer la transmission de mouvement
entre l’engrenage et ses composants en aval :
– une perte de la génération de mouvement sera caractérisée par un couple transmis égal à
« nul » et une vitesse transmise égale à « nulle » ;
– une survitesse sera caractérisée par un couple égal à « ok » et une vitesse égale à « survitesse
».
Variables relatives à la lubrification
Ici, nous nous intéressons à la détermination du niveau de granularité des variables relatives
à la lubrification de notre engrenage, i.e. à la variable modélisant la présence d’huile ainsi qu’à la
variable représentant la présence de particules métalliques dans l’huile. Pour les comportements
de notre système, ce qui nous intéresse est de savoir : s’il y a de l’huile ou non ; si des particules
métalliques sont présentes ou non dans l’huile. En particulier, l’observation de modes dégradés ne
nous intéresse pas ici. Pour cette raison, nous choisissons comme granularité :
– le domaine de définition {yes, no} pour les variables d’E/S « présence d’huile » ;
– le domaine de définition {yes, no} pour les variables d’E/S « particules ».
Variable « guidage »
De manière relativement similaire aux variables modélisant la lubrification de l’engrenage,
nous sommes intéressés en ce qui concerne la fonction de guidage à la bonne réalisation de cette
fonction. Pour fonctionner correctement, l’engrenage doit être correctement guidé en rotation.
Par conséquent, nous choisissons comme granularité pour les variables « guidage » le domaine de
définition {ok, ko}.