Nous présentons dans cette thèse une méthode d'évaluation de l'efficience basée sur la modélisation temporelle et stochastique et de la simulation de la propagation des fautes dans les systèmes industriels. Les TRS (Taux de Rendement Synthétique) est devenu au travers de la norme NF E60-182 l'un des indicateurs majeurs de l'efficience du pilotage des systèmes de production. Il intègre essentiellement 3 notions (Qualité, Productivité et Disponibilité). Si son expression pour un composant est assez simple, sa modélisation pour l'évaluation du comportement fonctionnel et dysfonctionnel l'est beaucoup moins (prise en compte des facteurs d'échelle, des désynchronisations et du facteur humain). Afin de permettre une prise en compte des contributions individuelles de chaque composante du TRS et de chaque partie constitutive des systèmes de production (technique et humaine), nous avons utilisé les automates d'états comme haut langage de description. Les attendus débouchent en amont sur un apport formel pour l'établissement d'une méthodologie d'analyse et de conception, et en aval sur une fourniture d'indicateurs décisionnels. Les résultats sont implantés autour d'un démonstrateur basé sur AltaRica Data-Flow langage à la fois formel et graphique et véritable outil de modélisation / simulation.
| Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00708749 |
| Date | 30 June 2011 |
| Creators | Kombe, Timothée |
| Publisher | INSA de Lyon |
| Source Sets | CCSD theses-EN-ligne, France |
| Language | French |
| Detected Language | French |
| Type | PhD thesis |
Page generated in 0.0014 seconds