Diagnostic de Syst mes Complexes

Le dveloppement rapide des systmes embarqus et les exigences croissantes auxquelles ils sont soumis crent un besoin de techniques innovantes en terme de conception et de V&V. Les mthodes formelles fournissent des approches intressantes la conception de ces systmes. Le formalisme choisi dans ce travail est bas sur les Rseaux de Petri Colors (RdPC). L'avantage de ces modles, en plus d'tre trs expressifs et formels, est qu'ils permettent d'exprimer le double caractre des systmes tudis: statique et dynamique. Le dfi relev par cette thse est d'utiliser des modles tablis, dcrivant l'architecture et/ou le comportement de systmes, pour en extraire des informations de SdF et de diagnostic de dfaillances.L'approche propose est une analyse structurelle par accessibilit arrire. Elle peut tre dcompose en deux parties. La premire consiste en la proposition d'un outil pour raliser cette analyse: le RdPC inverse. Il est obtenu par l'application de transformations structurelles sur le RdPC original. La seconde partie est la mise en oeuvre de l'analyse. Cette partie requiert des mcanismes complmentaires dont le plus important est l'enrichissement du marquage.