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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

74 Chapitre 3. Vers une méthodologie unifiée <strong>de</strong> modélisation AltaRica <strong>de</strong> systèmes physiques<br />

Il est donc nécessaire, <strong>pour</strong> modéliser <strong>la</strong> propagation <strong>de</strong>s défail<strong>la</strong>nces, d’i<strong>de</strong>ntifier et <strong>de</strong><br />

considérer les autres évènements pouvant survenir dans le système. Cette propagation peut alors<br />

se résumer en <strong>de</strong>ux questions :<br />

– comment propager les défail<strong>la</strong>nces ?<br />

– comment modéliser <strong>la</strong> réaction du composant vis-à-vis <strong>de</strong>s évènements extérieur ?<br />

L’approche proposée est <strong>de</strong> réaliser un inventaire <strong>de</strong>s possibles évènements (et notamment<br />

<strong>de</strong>s mo<strong>de</strong>s <strong>de</strong> défail<strong>la</strong>nce) pouvant avoir lieu au sein <strong>de</strong>s autres composants du système et au<br />

sein <strong>de</strong>s systèmes en interaction avec celui considéré. De cet inventaire, on extrait <strong>de</strong>s mo<strong>de</strong>s <strong>de</strong><br />

défail<strong>la</strong>nce génériques. Ici et <strong>pour</strong> rester simple dans l’appréhension du problème, on ne considérera<br />

que <strong>de</strong>ux mo<strong>de</strong>s <strong>de</strong> défail<strong>la</strong>nce génériques concernant <strong>la</strong> transmission <strong>de</strong> mouvement : <strong>la</strong> rupture<br />

d’un élément et <strong>la</strong> survitesse <strong>de</strong> <strong>la</strong> chaîne <strong>de</strong> transmission. Il faudra donc modéliser le comportement<br />

<strong>de</strong> l’engrenage si une rupture ou une survitesse a lieu en amont ou en aval <strong>de</strong> celui-ci. Également<br />

à propager dans <strong>la</strong> modélisation <strong>de</strong> notre engrenage, une perte <strong>de</strong> guidage ainsi qu’une perte <strong>de</strong><br />

lubrification (plus d’huile en entrée).<br />

3.4.5 Caractérisation <strong>de</strong> l’abstraction <strong>de</strong>s variables <strong>de</strong> flux<br />

3.4.5.1 I<strong>de</strong>ntification <strong>de</strong>s E/S raffinées<br />

Ici, l’objet <strong>de</strong> l’approche est <strong>de</strong> raffiner les entrées et les sorties <strong>de</strong> haut niveau i<strong>de</strong>ntifiées<br />

section 3.4.2 dans le but <strong>de</strong> propager à l’environnement les évènements internes et externes au<br />

composant. Le travail décrit ici se propose <strong>de</strong> propager ces évènements (fonctionnels et dysfonctionnels)<br />

via un ensemble d’abstractions <strong>de</strong> gran<strong>de</strong>urs physiques.<br />

Pour comprendre les prochaines lignes, on indique brièvement ci-<strong>de</strong>ssous les éléments que le<br />

modèle <strong>de</strong> « l’engrenage » <strong>de</strong>vra propager :<br />

– <strong>la</strong> rupture <strong>de</strong> l’engrenage ;<br />

– l’usure <strong>de</strong> l’engrenage (i.e. une émission <strong>de</strong> particules dans l’huile) ;<br />

– une rupture en amont <strong>de</strong> l’engrenage ;<br />

– une rupture en aval <strong>de</strong> l’engrenage ;<br />

– une survitesse en amont <strong>de</strong> l’engrenage ;<br />

– une survitesse en aval <strong>de</strong> l’engrenage ;<br />

– une perte du guidage <strong>de</strong> l’engrenage (i.e. une perte du roulement associé à l’engrenage) ;<br />

– une perte <strong>de</strong> <strong>la</strong> lubrification <strong>de</strong> l’engrenage (i.e. plus d’huile en entrée <strong>de</strong> l’engrenage).<br />

Pour i<strong>de</strong>ntifier <strong>de</strong>s abstractions permettant <strong>de</strong> propager cet ensemble d’évènements, nous<br />

utilisons l’analyse <strong>de</strong> panne (i.e. l’AMDE) qui décrit les mo<strong>de</strong>s <strong>de</strong> défail<strong>la</strong>nce d’un composant<br />

mécanique (typiquement, une rupture) comme ayant <strong>de</strong>s conséquences sur le couple mécanique<br />

transmis et <strong>la</strong> vitesse <strong>de</strong> rotation transmise. Ainsi, une défail<strong>la</strong>nce peut avoir <strong>de</strong>s conséquences sur<br />

le couple, <strong>la</strong> vitesse <strong>de</strong> rotation ou encore les <strong>de</strong>ux simultanément. Ces <strong>de</strong>ux informations raffinent<br />

l’entrée « Mouvement entrée » et <strong>la</strong> sortie « Mouvement sortie » présente sur <strong>la</strong> figure 3.6 et<br />

nous permettent <strong>de</strong> propager <strong>la</strong> rupture <strong>de</strong> l’engrenage à son environnement. Une rapi<strong>de</strong> réflexion<br />

assure également que transmettre le couple et <strong>la</strong> vitesse nous permettra <strong>de</strong> propager les ruptures<br />

et les survitesses à l’aval du composant.<br />

Cependant, dans un système <strong>de</strong> transmission mécanique, une défail<strong>la</strong>nce <strong>de</strong> l’engrenage n’a<br />

pas uniquement <strong>de</strong>s conséquences sur les composants situés en aval mais aussi sur les composants<br />

situés en amont.

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

Saved successfully!

Ooh no, something went wrong!