Diagnostic de systèmes complexes: accessibilité arrière [French]

By Bouali-M and Mohamed Bouali

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.

• Format: Paperback
• Language: French
• ISBN: 6131564817
• ISBN13: 9786131564819
• Release Date: February 2011
• Publisher: Univ Europeenne
• Length: 164 Pages
• Weight: 0.55 lbs.
• Dimensions: 0.4" x 6.0" x 9.0"