Diagnostic de systèmes complexes: accessibilité arrière - Bouali, Mohamed

. .

Résumé :
Le d?veloppement rapide des syst?mes embarqu?s et les exigences croissantes auxquelles ils sont soumis cr?ent un besoin de techniques innovantes en terme de conception et de V&V. Les m?thodes formelles fournissent des approches int?ressantes ? la conception de ces syst?mes. Le formalisme choisi dans ce travail est bas? sur les R?seaux de Petri Color?s (RdPC). L''avantage de ces mod?les, en plus d''?tre tr?s expressifs et formels, est qu''ils permettent d''exprimer le double caract?re des syst?mes ?tudi?s: statique et dynamique. Le d?fi relev? par cette th?se est d''utiliser des mod?les ?tablis, d?crivant l''architecture et/ou le comportement de syst?mes, pour en extraire des informations de SdF et de diagnostic de d?faillances.L''approche propos?e est une analyse structurelle par accessibilit? arri?re. Elle peut ?tre d?compos?e en deux parties. La premi?re consiste en la proposition d''un outil pour r?aliser 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 m?canismes compl?mentaires dont le plus important est l''enrichissement du marquage....

Biographie:
Ing?nieur en syst?mes informatiques, Master et docteur en technologies de l&apos...