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

3.3 Modélisation des bibliothèques : cas d’étude et analyse préliminaire 67
(b) Connexion entre ces nœuds
(c) Modélisation des synchronisations
3. Modélisation des évènements redoutés
3.3 Modélisation des bibliothèques : cas d’étude et analyse
préliminaire
Remarque : Dans un souci de clarté et de lisibilité, le cas d’étude proposé est inspiré de la
réalité mais n’en reprend pas toute la complexité, ni même tout le réalisme. Ainsi,
certains aspects et phénomènes pourront être présent dans un but d’illustration de
la démarche sans qu’ils n’aient forcément lieu dans le système physique réel.
Dans cette section, nous présentons le cas d’étude sur lequel nous appliquerons la méthodologie
proposée à la section 3.2. Nous identifierons en particulier les évènements redoutés à étudier
sur ce cas d’étude.
3.3.1 Cas d’étude
3.3.1.1 Description
En phase de vol, un turbomoteur (moteur d’hélicoptère) est potentiellement soumis à une
phase de survitesse (i.e. le moteur tourne à une vitesse supérieure à la normale). La raison peut
avoir diverses origines. Par exemple, la cause peut être :
– mécanique : en cas de rupture d’arbre de transmission ;
– hydromécanique : si la quantité de carburant envoyée dans la chambre de combustion est
supérieure à la consigne ;
– logicielle : si cette même consigne est calculée de manière erronée ;
– opérationnelle : en cas d’action pilote inappropriée.
Quelle qu’en soit l’origine, l’effet de cette survitesse sur le moteur doit être limité. Pour cela,
un turbomoteur possède différentes protections possibles, du blindage (protection mécanique) à la
coupure électronique du débit carburant dont le but est de détecter cette survitesse puis d’éteindre
le moteur « proprement », i.e. sans autre effet.
Les différents sous-systèmes composant le système turbomoteur, utilisé comme fil rouge par
la suite et représenté sur la figure 3.4, sont les suivants :
– La chaine de transmission, que l’on considérera comme une succession d’engrenages et
d’arbres de transmission, est constituée principalement d’engrenages (assemblage de 2 roues
dentées) et de roulements. Le rôle principal d’un tel système est de transmettre de la
puissance mécanique d’un point d’entrée à un point de sortie (ici de la sortie de la turbine
jusqu’au rotor de l’hélicoptère). À noter également, ce système comporte différents capteurs
permettant de mesurer la vitesse de rotation de l’ensemble et de transmettre cette vitesse
au calculateur.
– Le circuit carburant, que l’on considérera comme un circuit hydromécanique, est composé de
tuyaux, de pompes, de valves, de filtre, etc. Ce système assure, entre autres, les fonctions
de dosage du carburant et d’alimentation de la chambre de combustion. Brièvement, il