Nous utilisons des cookies pour améliorer votre expérience. Pour nous conformer à la nouvelle directive sur la vie privée, nous devons demander votre consentement à l’utilisation de ces cookies. En savoir plus.
Diagnostic de systèmes complexes: accessibilité arrière
Univ Europeenne - EAN : 9786131564819
Édition papier
EAN : 9786131564819
Paru le : 25 févr. 2011
59,00 €
55,92 €
Disponible
Pour connaître votre prix et commander, identifiez-vous
Notre engagement qualité
-
Livraison gratuite
en France sans minimum
de commande -
Manquants maintenus
en commande
automatiquement -
Un interlocuteur
unique pour toutes
vos commandes -
Toutes les licences
numériques du marché
au tarif éditeur -
Assistance téléphonique
personalisée sur le
numérique -
Service client
Du Lundi au vendredi
de 9h à 18h
- EAN13 : 9786131564819
- Réf. fournisseur : 4726983
- Editeur : Univ Europeenne
- Date Parution : 25 févr. 2011
- Disponibilite : Disponible
- Barème de remise : NS
- Nombre de pages : 164
- Format : H:229 mm L:152 mm E:10 mm
- Poids : 250gr
- Interdit de retour : Retour interdit
- 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.
