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

84 Chapitre 3. Vers une méthodologie unifiée de modélisation AltaRica de systèmes physiques
Débit transmis de l’amont −→ −→ Débit transmis vers l’aval
(IN_Flow_from_upstream)
(OUT_Flow_to_downstream)
Pression transmise de l’amont −→ −→ Pression transmise vers l’aval
(IN_Pressure_from_upstream)
(OUT_Pressure_to_downstream)
Débit imposé à l’amont ←− ←− Débit imposé par l’aval
(OUT_Flow_to_upstream)
(IN_Flow_from_downstream)
Pression imposée à l’amont ←− ←− Pression imposée par l’aval
(OUT_Pressure_to_upstream)
(IN_Pressure_from_downstream)
Figure 3.12 – Identification des E/S raffinées d’un composant hydromécanique
du fluide qui augmente les probabilités que certaines défaillances surviennent. Pour propager de
telles défaillances, on ajoutera lorsque cela sera estimé nécessaire des variables d’entrées / sorties.
Un point méthodologique intéressant cependant : la modélisation de facteurs influençant
le taux d’occurrence d’évènement. Pour modéliser ce type de comportement, on propagera les
facteurs en question via des variables d’entrées / sorties et on créera différents évènements. Le
principe est illustré ci-dessous.
node Composant
flow
...
IN_Facteur : {f1, f2} : in ;
OUT_Facteur : {f1, f2} : out ;
event
// Entre E1 et E2, seul le taux change
E1, E2 ;
trans
//Condition et Assignation sont identiques dans les deux transitions
Condition & IN_Facteur=f1 |- E1 -> Assignation ;
Condition & IN_Facteur=f2 |- E2 -> Assignation ;
assert
...
// On ne change rien, on ne fait que propager
OUT_Facteur = IN_Facteur ;
edon
3.5.5.2 Identification de la granularité
Nous nous intéressons désormais à la détermination du niveau de granularité des variables
définies précédemment. Comme pour le domaine mécanique, 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 (tableau 3.2). Nous
rappelons ici que les évènements redoutés observés sont, sur le modèle du sous-système hydromécanique,
l’injection d’un trop peu ou d’un surplus de carburant dans la chambre de combustion.
En combinant cela avec les évènements à propager, nous choisissons comme granularité :
– {nominal, faible, nul, important} pour les variables représentant le flux de fluide ;
– {nominale, nulle, importante} pour les variables représentant la pression de fluide.