Modélisation de la propagation des fautes dans les systèmes de production
Auteur / Autrice : | Timothée Kombé |
Direction : | Eric Niel, Charles Awono Onana |
Type : | Thèse de doctorat |
Discipline(s) : | Automatique |
Date : | Soutenance le 30/06/2011 |
Etablissement(s) : | Lyon, INSA |
Ecole(s) doctorale(s) : | ED Electronique, Electrotechnique, Automatique |
Partenaire(s) de recherche : | Laboratoire : AMPERE - Génie Electrique, Electromagnétisme, Automatique, Microbiologie Environnementale et Applications (Rhône) |
Jury : | Président / Présidente : Bernard Grabot |
Examinateurs / Examinatrices : Eric Niel, Charles Awono Onana, Bernard Grabot, Adolphe Moukengue Imano, Antoine Rauzy, Pierre Ele | |
Rapporteur / Rapporteuse : Adolphe Moukengue Imano |
Mots clés
Résumé
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.