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