Diagnosis of Large Software Systems Based on Colored Petri Nets
Cette thèse porte sur le diagnostic à base de modèles. Nous focalisons notre intérêt sur le diagnostic d'un ensemble interagissant de composants logiciels. L'originalité de ce travail se situe dans l'utilisation des Réseaux de Petri Colorés (RdPC) comme modèle de faute. L'utilisa...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
Université Paris Sud - Paris XI
2010
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00551301 http://tel.archives-ouvertes.fr/docs/00/55/13/01/PDF/thesis.pdf http://tel.archives-ouvertes.fr/docs/00/55/13/01/ANNEX/ModeDiagCPN2_sotenance.pdf |