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

More documents

Recommendations

Info

3.4 Modélisation d’un sous-système mécanique 79 OUT_Oil : = IN_Oil ; OUT_Oil_particles = case { ST_particles=yes : yes, else IN_Oil_particles} ; edon 3.4.7 Bilan sur la modélisation d’un sous-système de transmission mécanique Remarque : D’une manière générale, on rappelle ici que doivent être modélisées les grandeurs permettant de propager les évènements fonctionnels et dysfonctionnels. Les résultats présentés ici n’ont pas pour objectif d’être exhaustifs mais se veulent davantage être un fondement pour de futures réflexions. Le travail relaté ici et les résultats présentés sont donc à mettre en relation avec le cas d’étude considéré (système + évènements redoutés considérés) mais ne peuvent être appliqués directement. On rappelle ici les principaux résultats traitant de la modélisation d’une chaîne d’engrenage. – Types de composants à modéliser : – Engrenage – Roulement (à billes, à rouleaux) – Arbre de transmission – Vis – ... – Types d’évènements à propager – Rupture de l’élément mécanique – Blocage de l’élément mécanique – Perte de la lubrification de l’élément mécanique – Perte du guidage et/ou du maintien en position (perte d’un roulement, perte d’une vis...) de l’élément mécanique – Survitesse de l’élément mécanique – ... – Abstraction proposée – Couple – Granularité : {ok, nul} (ou {ok, nul, important}) – Orientation : Bidirectionnelle – Vitesse – Granularité : {ok, nulle, survitesse} – Orientation : Bidirectionnelle – Huile – Granularité : {yes, no} – Orientation : Monodirectionnelle – Particules dans l’huile – Granularité : {yes, no} – Orientation : Monodirectionnelle
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.
Page 1 and 2:
THÈSE En vue de l'obtention du DOC
Page 4 and 5:
Table des matières Liste des abré
Page 6 and 7:
Table des figures 1.1 Indicateurs S
Page 8:
Liste des tableaux 1.1 Critère de
Page 12 and 13:
Remerciements Fin de l’étape. ..
Page 14 and 15:
3 que du jus de carotte, même si j
Page 16 and 17:
Introduction L’objectif de cette
Page 18 and 19:
7 l’efficacité de ces activités
Page 20:
Chapitre 1 Concepts généraux auto
Page 23 and 24:
12 Chapitre 1. Concepts généraux
Page 25 and 26:
Page 27 and 28:
Page 29 and 30:
Page 31 and 32:
Page 33 and 34:
Page 35 and 36:
Page 37 and 38:
Page 39 and 40: 28 Chapitre 1. Concepts généraux
Page 42 and 43: Bien que les arbres de défaillance
Page 44 and 45: 2.2 Syntaxe du langage AltaRica OCA
Page 52 and 53: 2.3 Sémantique du langage AltaRica
Page 60 and 61: 2.4 Outils pour la construction et
Page 62 and 63: 2.5 Autres langages pour la réalis
Page 64 and 65: 2.5 Autres langages pour la réalis
Page 66: Chapitre 3 Vers une méthodologie u
Page 69 and 70: 58 Chapitre 3. Vers une méthodolog
Page 89: 78 Chapitre 3. Vers une méthodolog
Page 112: Chapitre 4 Processus pour la valida
Page 115 and 116: 104 Chapitre 4. Processus pour la v
Page 141 and 142:
130 Chapitre 4. Processus pour la v
Page 143 and 144:
Page 145 and 146:
Page 147 and 148:
Page 150 and 151:
« Plutôt que de répéter sans ce
Page 152 and 153:
5.1 Bilan de l’activité de modé
Page 154 and 155:
5.1 Bilan de l’activité de modé
Page 156 and 157:
5.2 Bilan de l’activité de valid
Page 158 and 159:
5.2 Bilan de l’activité de valid
Page 160 and 161:
5.3 Accent sur quelques avantages d
Page 162 and 163:
5.4 Quelques bonnes pratiques recom
Page 164:
5.5 Retours sur quelques difficult
Page 167 and 168:
156 Conclusion Cette représentatio
Page 170:
Index AltaRica Assertion, 37 Évèn
Page 173 and 174:
162 Bibliographie [14] Matthias Bie
Page 175 and 176:
164 Bibliographie [47] Jeff Offutt,
Page 177:
Résumé Pour certifier un système
show all

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

Create successful ePaper yourself

Delete template?

Save as template?