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
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.