IDM 2010 : Session SafeModel

Programme

L'atelier SafeModel aura lieu le mardi 9 mars 2010.

Conférences invitées :
- 14:30 - 15:15 : Fundamentals of model-based engineering for Airbus Avionics & Simulation Products (Patrick Farail, Airbus, Methods Development support Leader)
- 15:15 - 16:00 : Réflexions pour la correction de modeles logiciels (Philippe Dhaussy, ENSIETA)

16:00 - 16:30 : Pause

Présentations des articles retenus :
- 16:30 - 16:45 : Automatic Formal Model Derivation from Use Cases (Amine Raji, Philippe Dhaussy)
- 16:45 - 17:00 : Spécification et vérification de patrons de propriétés pour des langages dédiés (Xavier Crégut, Marc Pantel et Cosmin Ciuraru)
- 17:00 - 17:15 : Langage intermédiaire et transformations de modèles pour le développement de systèmes temps-réel : retour d’expérience sur la chaîne de vérification formelle Fiacre (Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, Mamoun Filali, Marc Pantel et François Vernadat)
- 17:15 - 17:30 : Checking Semantical Consistency based on Observational Simulations (Vlad Rusu, Dorel Lucanu)

17:15 - 18:00 : Table ronde et discussions