09:15-10:00 |
L'approche modelware : exploitation des modèles au cœur des systèmes - apports et besoins pour la vérification |
M. Sibilla (IRIT) et F. Jocteur-Monrozier (CNES) |
|
10:30-11:15 |
Nouvelles techniques de " model-checking " pour la vérification de systèmes complexes |
A. Duret-Lutz, S. Baarir, Y. Thierry-Mieg et F. Kordon (Université P. & M. Curie/LIP6-SRC) |
|
11:15-11:45 |
Validation dynamique de modèles UML |
J.-M. Jezequel (IRISA) |
|
11:45-12:30 |
Mise en œuvre d'observateurs temporisés pour la validation de logiciels temps réel |
P. Dhaussy, J.-C. Roger et O. Habart (ENSIETA) |
|
14:00-14:45 |
Vérification par affinement des systèmes électroniques |
S. Hallerstede (KEESDA), Y. Zimmermann (KEESDA), D. Cansell (LORIA) |
|
14:45-15:30 |
Projet NEPTUNE : vérification statique d'un modèle |
T. Milan, C. Percebois, H. Leblanc, P. Bazex (IRIT) |
|
16:00-16:45 |
Vérification dans un AGL orienté modèles |
M. Filali (1)(2), P. Michel (1)(3), P. Farail, P. Gaufillet (4), F. Vernada (1) (5) - (1) FeRiA (2) IRIT (3) ONERA (4) AIRBUS FRANCE (5) LAAS |
|