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

3.5 Modélisation d’un sous-système hydromécanique 83
Exemple : Ces effets seront dans la suite propagés via les E/S qui seront identifiées. Par exemple
à l’heure actuelle et en reprenant les notations de la figure 3.10 :
– la mise en position 1 se traduit par (s 1 , s 2 ) = (e, 0) ;
– la mise en position 2 se traduit par (s 1 , s 2 ) = (0, e) ;
– un blocage du clapet en position intermédiaire se traduit par s 1 ≠ e et s 2 ≠ e ;
– une rupture (ou un colmatage total) du circuit en amont se traduit par e = 0.
3.5.5.1 Identification des E/S raffinées
Pour raffiner les entrées et sorties de haut niveau précédemment définies, nous nous intéressons
à la description des effets sur le sous-système des différents évènements à propager.
L’utilisation d’une analyse de panne (AMDE par exemple) peut être pertinente à ce stade. Ainsi,
l’utilisation d’une telle analyse ainsi que la connaissance du système permet de constater que les
conséquences d’un mode de défaillance d’un composant hydromécanique (comme le clapet représenté
figure 3.10) peuvent être exprimées en terme de conséquences sur le débit et la pression du
fluide s’écoulant à travers le composant :
– si le clapet est en position 1, le fluide s’écoule de l’entrée entree à la sortie sortie 1 ;
– si le clapet est en position 2, le fluide s’écoule de l’entrée entree à la sortie sortie 2 ;
– si le clapet est en position intermédiaire, le débit de fluide envoyé vers les sorties sortie 1
et sortie 2 est nul - la pression augmente en entrée du clapet - le débit de fluide passant à
travers le clapet est nul ;
– en cas de rupture d’un composant (le circuit est ouvert), le débit de fluide envoyé en aval
est nul ; constat identique pour la pression ;
– non représenté sur la figure 3.9, le système réel contient des mécanismes de sécurité chargés
de mitiger par exemple une surpression due à un colmatage en aval de ces mécanismes. Ces
colmatages doivent ainsi être propagés en amont des composants à leurs origines ;
– ...
Ainsi, une solution pertinente dans notre cas satisfaisante pour propager les évènements
devant l’être est de propager, en amont et en aval (i.e. de manière bidirectionnelle) le couple de
variable {debit, pression}. En effet, nous verrons par la suite que les différents évènements peuvent
être exprimés en terme de conséquences sur le débit et / ou la pression du fluide s’écoulant à
travers le composant. Ce couple de variable raffinera les entrées et sorties entree, sortie 1 et
sortie 2 et nous permettra de propager les différents évènements devant l’être dans le modèle. De
manière similaire au domaine mécanique, une défaillance n’a pas uniquement des conséquences
sur les composants situés en aval mais aussi sur les composants en amont de celui étudié.
Exemple : Le blocage du clapet en position intermédiaire (ou de manière générique toute
obturation ou colmatage dans le circuit) entraînera non seulement une perte du débit et de la
pression en aval du clapet mais conduira également à une augmentation de la pression en amont
de celui-ci.
Dans le cas réel, d’autres évènements sont à propager comme par exemple la présence de
particules dans le fluide (ce qui pourrait colmater les injecteurs), l’augmentation de la température