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

3.5 Modélisation d’un sous-système hydromécanique 85
3.5.6 Caractérisation des propagations
Comme pour le domaine de la transmission mécanique, il est possible à ce stade de définir les
effets de chaque mode de défaillance sur les variables d’entrées / sorties définies. Nous fournissons
divers exemples décrivant comment les abstractions définies précédemment sont utilisées pour
propager les évènements identifiés (tableau 3.5).
Mode nominal
Obturation clapet
Sortie Valeur Sortie Valeur
Débit transmis vers Débit transmis de Débit transmis vers nul
l’aval
l’amont
l’aval
Pression transmise Pression transmise Pression transmise nulle
vers l’aval
de l’amont
vers l’aval
Débit imposé à Débit imposé par Débit imposé à
nul
l’amont
l’aval
l’amont
Pression imposée à
l’amont
Pression imposée par
l’aval
Pression imposée à
l’amont
importante
Rupture
Colmatage partiel
Sortie Valeur Sortie Valeur
Débit transmis vers nul Débit transmis vers faible
l’aval
l’aval
Pression transmise
vers l’aval
nulle Pression transmise
vers l’aval
Pression transmise
de l’amont
Débit imposé à
l’amont
Débit transmis de
l’amont
Débit imposé à
l’amont
min(Débit imposé
par l’aval, faible)
Pression imposée à
l’amont
nulle Pression imposée à
l’amont
Pression imposée par
l’aval
Tableau 3.5 – Modélisation de mode de défaillance du domaine hydromécanique
3.5.7 Code AltaRica du clapet
Avant de conclure sur la modélisation d’un composant hydromécanique, on présente ici le
code AltaRica correspondant au clapet étudié au long de cette section 3.5. Il est rappelé que, pour
des raisons de confidentialité, le comportement du clapet est simplifié par rapport au comportement
réel.
Remarque : Le code AltaRica présenté ci-dessous est une implémentation possible permettant
de représenter le comportement du clapet. Cependant cette implémentation n’est
pas unique. Par exemple et pour des raisons de lisibilité et de compréhension, les
assertions sont codées de telle sorte à rendre non-évaluable le « else ». Par exemple,
les deux écritures ci-dessous sont de sens équivalent. Dans la première écriture et
contrairement à la seconde, le « else » ne sera jamais évalué.
– case { ST_pos=2 or ST_pos=intermediate : nul, ST_pos=1 :
IN_Flow_from_upstream, else nominal } ;
– case { ST_pos=1 : IN_Flow_from_upstream, else nul } ;