L'atelier SafeModel propose d'explorer les possibilités de l’Ingénierie Dirigée par les Modèles (IDM) et la combinaison de méthodes formelles pour la mise en place d’un processus de développement outillé et orienté composants intégrant les aspects spécification, vérification, implantation et la certification, en vue de répondre aux exigences des logiciels critiques.
Voir la présentation de l'atelier SafeModel.
L'atelier a lieu le mercredi 25 mars 2009 de 14h à 17h00 ; son objectif est d'aboutir à un rapport de synthèse sur le sujet.
| 14h00 - 14h30 | Présentation de l'atelier par les organisateurs |
| 14h30 - 15h30 | Présentations des position papers (15mn présentation, 5mn questions chacun) - Akram Idani, Yves Ledru et Pierre-Yves Schobbens. «Approche formelle pour une ingénierie des modèles sûre» - Julien Mallet et Siegfried Rouvrais. «Transformations dirigées par des propriétés non fonctionnelles en conception logicielle» - Mourad Kmimech, Mohamed Tahar Bhiri, Mohamed Graiet et Philipe Aniorté. «Vérification d’assemblage de composants UML 2.0 à l’aide d’Acme» |
| 15h30 - 16h00 | Pause |
| 16h00 - 16h45 | Discussion générale |
| 16h45 - 17h00 | Canevas d'un rapport de synthèse |
| 17h00 - 18h30 | Pause + Panel |
| 18h30 - 18h45 | Retours de l'atelier en session plénière |
L'atelier a été animé par 5 membres du groupe d'organisation et 3 auteurs de soumissions et suivi par 30 à 40 personnes. La discussion, finalement assez animée, a soulevé plus de questions qu'elle n'a apporté de réponse.