GESTION des MECANISMES d’ERREURS
Regis VINCENT
INRIA
GESTION des MECANISMES d’ERREURS
Plan
But de la thèse
Gain en connaissances
Plan
Le pilotage de programmes
Le pilotage de programmes
Exemple de pilotage (Cocktail)
Descriptif de la base cocktail
Représentation d’une base
Plan
Base PROGAL
Détection de la galaxie
Besoins de réparation
Solution proposée
Solution proposée
Un exemple
Hypothèses de la solution
Plan
Outil et réalisation
Plate-forme LAMA
LAMA
YAKL
Interface d'exécution
Plan
Est-ce utile ?
EST (Genset)
ATR (University of MARYLAND)
Conclusions
Gain en connaissances
Perspectives