{"product_id":"diagnostic-de-systemes-complexes-accessibilite-arriere-9786131564819","title":"Diagnostic de systèmes complexes: accessibilité arrière","description":"\u003cp\u003e • Author(s): Bouali-M\u003cbr\u003e • Publisher: Univ Europeenne\u003cbr\u003e • Publisher Imprint: Univ Europeenne\u003cbr\u003e • BISAC: General\u003c\/p\u003e\u003cp\u003eLe 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\u0026amp;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.\u003c\/p\u003e","brand":"Atlantic Books","offers":[{"title":"Paperback","offer_id":46487117103255,"sku":"9786131564819","price":6349.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9786131564819.jpg?v=1766333139","url":"https:\/\/atlanticbooks.com\/products\/diagnostic-de-systemes-complexes-accessibilite-arriere-9786131564819","provider":"Atlantic Books","version":"1.0","type":"link"}