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

80 Chapitre 3. Vers une méthodologie unifiée de modélisation AltaRica de systèmes physiques
3.5 Modélisation d’un sous-système hydromécanique
Nous présentons ici l’application de la méthodologie proposée au sous-système hydromécanique
de notre cas d’étude (figure 3.4). Rappelons ici que ce sous-système assure les fonctions de
dosage et de distribution du carburant à la chambre de combustion du moteur.
3.5.1 Architecture du sous-système hydromécanique
En premier lieu, nous souhaitons identifier l’architecture du modèle allant permettre la modélisation
des propagations de défaillance à l’intérieur du sous-système étudié. Sans reprendre
tout le principe évoqué dans l’exemple précédent (section 3.4.1), nous identifions une architecture
composée principalement de clapets, de pompes, de tuyaux ou encore de filtres. La figure 3.9
explicite le schéma de principe d’une telle architecture.
E
⇃
Commande
ր Pompe ց ⇓ ր Injecteurs
principaux
Rsv Filtre → Clapet Arrêt → Doseur →
ց Pompe ր ↓ ց
Injecteurs
de
démarrage
↿
Retour Rsv
E
Figure 3.9 – Schéma de principe simplifié du sous-système hydromécanique
(Rsv : Réservoir ; E : Entraînement pompe ; → : tuyaux ; ⇓ : Commande calculateur ;
⇃ : Puissance électrique)
Nous identifions ainsi ce qui sera l’architecture de notre modèle : les composants à modéliser
et les interfaces entre ceux-ci. Ici, le principe d’instanciation du langage AltaRica conduira à ne
modéliser qu’un nœud « Pompe » au sein de la bibliothèque pour modéliser les deux pompes
présentes dans le modèle et qu’un nœud « Injecteur » pour modéliser les deux types d’injecteurs.
Pour chacun des nœuds, deux instances seront présentes dans le modèle.
Dans la suite de cette section, nous illustrerons le principe de modélisation en nous appuyant
sur l’exemple du clapet d’arrêt. Promptement et pour bien comprendre le fonctionnement de
ce mécanisme, le clapet d’arrêt peut être vu comme un robinet à une entrée et deux sorties
correspondant à deux positions possibles : une, que l’on nommera « position 1 » et qui conduira le
fluide de l’entrée à la première sortie ; la seconde, « position 2 » qui conduira le fluide de l’entrée à
la seconde sortie. La mise dans l’une ou l’autre des positions est commandée par un ordre extérieur.
Remarque : Pour des raisons de confidentialité, le mécanisme du clapet est ici simplifié par
rapport à son utilisation réelle.
3.5.2 Une première identification des entrées / sorties
Dans un premier temps, nous souhaitons identifier un premier ensemble d’entrées et de
sorties de haut niveau. Pour cela, le schéma de principe du clapet étudié (figure 3.10) fournit une
aide pour caractériser les interfaces que le composant peut avoir avec son environnement.