23.11.2014 Views

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

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

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

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

3.5 Modélisation d’un sous-système hydromécanique 81<br />

comman<strong>de</strong><br />

⇓<br />

entrée e → C<strong>la</strong>pet d’arrêt → sortie s 1 (vers moteur)<br />

↓<br />

sortie s 2 (Retour réservoir)<br />

Figure 3.10 – Schéma <strong>de</strong> principe du c<strong>la</strong>pet d’arrêt<br />

(→ : flui<strong>de</strong> ; ⇓ : Comman<strong>de</strong> calcu<strong>la</strong>teur)<br />

Un premier ensemble d’entrées et <strong>de</strong> sorties est alors i<strong>de</strong>ntifié dans l’optique <strong>de</strong> modéliser<br />

les propagations ayant lieu au sein du composant :<br />

– <strong>de</strong>ux entrées :<br />

– l’entrée « e » par <strong>la</strong>quelle arrive le flui<strong>de</strong> (ici du carburant),<br />

– l’entrée « comman<strong>de</strong> » commandant <strong>la</strong> position du c<strong>la</strong>pet (position 1 ou position 2) ;<br />

– <strong>de</strong>ux sorties :<br />

– <strong>la</strong> sortie « s 1 » par <strong>la</strong>quelle est transmis le flui<strong>de</strong> lorsque le c<strong>la</strong>pet est en position 1,<br />

– <strong>la</strong> sortie « s 2 » par <strong>la</strong>quelle est transmis le flui<strong>de</strong> lorsque le c<strong>la</strong>pet est en position 2.<br />

3.5.3 Caractérisation du comportement interne du c<strong>la</strong>pet d’arrêt<br />

Le but est ici d’i<strong>de</strong>ntifier les évènements fonctionnels et dysfonctionnels à intégrer dans le<br />

modèle, les mo<strong>de</strong>s <strong>de</strong> fonctionnement et <strong>de</strong> dysfonctionnement ainsi que les transitions entre ces<br />

mo<strong>de</strong>s. À partir <strong>de</strong> l’AMDE et en accord avec <strong>la</strong> section 3.2.2, les évènements i<strong>de</strong>ntifiés sont :<br />

– <strong>la</strong> mise du c<strong>la</strong>pet en position 1 ou en position 2 - On nommera CP1 et CP2 (<strong>pour</strong> respectivement<br />

Comman<strong>de</strong> en Position 1 et 2) ces <strong>de</strong>ux évènements ;<br />

– le blocage du c<strong>la</strong>pet dans l’une ou l’autre <strong>de</strong>s positions - On nommera BPOS (<strong>pour</strong> Blocage<br />

en POSition) cet évènement ;<br />

– le blocage du c<strong>la</strong>pet en position intermédiaire (dans cette position, le flui<strong>de</strong> est bloqué et<br />

ne sort ni par s 1 , ni par s 2 ) - On nommera cet évènement CLG <strong>pour</strong> CLoGing (colmatage)<br />

puisque ce<strong>la</strong> peut être vu <strong>de</strong> manière évi<strong>de</strong>nte comme simi<strong>la</strong>ire à un colmatage du circuit.<br />

Une fois ces évènements i<strong>de</strong>ntifiés, les mo<strong>de</strong>s <strong>de</strong> fonctionnement et <strong>de</strong> dysfonctionnement<br />

sont en mesure d’être déterminés. Ici et en re<strong>la</strong>tion avec les évènements retenus, nous avons :<br />

– <strong>de</strong>ux mo<strong>de</strong>s <strong>de</strong> fonctionnement, lorsque le c<strong>la</strong>pet est en position 1 ou lorsque le c<strong>la</strong>pet est<br />

en position 2 (<strong>de</strong> manière volontaire) ;<br />

– trois mo<strong>de</strong>s <strong>de</strong> dysfonctionnement, lorsque le c<strong>la</strong>pet est bloqué en position 1, lorsque le<br />

c<strong>la</strong>pet est bloqué en position 2 ou lorsque le c<strong>la</strong>pet est bloqué en position intermédiaire.<br />

En combinant <strong>la</strong> connaissance <strong>de</strong>s évènements et <strong>de</strong>s mo<strong>de</strong>s <strong>de</strong> fonctionnement / dysfonctionnement,<br />

il est possible d’écrire les différentes transitions entre ces mo<strong>de</strong>s. Une représentation<br />

possible est un diagramme état - transition tel que celui présenté sur <strong>la</strong> figure 3.11.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!