Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Thèmes de recherche > Thème 7 - Sûreté de développement du logiciel > Equipe MACAO > Evénements

Soutenance El Arbi Aboussoror (Auditorium de l’IRIT) - 24 septembre 2013 - 14h30

Méthodes de diagnostic avancées dans la validation formelle des modèles

Composition du jury :


- Mme Mireille Blay-Fornarino, Professeur, rapporteur, Université de Nice
- M. Ferhat Khendek, Professeur, rapporteur, Université Concordia, Montréal
- M. Philippe Palanque, Professeur, examinateur, IRIT / Université Toulouse 3
- M. Hubert Dubois, examinateur, CEA
- Mme Ileana Ober, Maître de Conférences, co-directeur de thèse, IRIT / Université Toulouse 3
- M. Iulian Ober, Maître de Conférences, co-directeur de thèse, IRIT / Université Toulouse 2

Résumé :

Malgré l’existence d’un nombre important d’approches et outils de vérification à base de modèles, leur utilisation dans l’industrie reste très limitée. Parmi les raisons qui expliquent ce décalage il y a l’exploitation, aujourd’hui difficile, des résultats du processus de vérification. Dans cette thèse, nous étudions l’utilisation des outils de vérification dans les processus actuels de modélisation de systèmes qui utilisent intensivement la validation à base de modèles. Nous établissons ensuite les limites des approches existantes, surtout en termes d’utilisabilité. A partir de cette étude, nous analysons les causes de l’état actuel des pratiques. Nous proposons une approche complète et outillée d’aide au diagnostic d’erreur qui améliore l’exploitation des résultats de vérification, en introduisant des techniques mettant à profit la visualisation d’information et l’ergonomie cognitive. En particulier, nous proposons un ensemble de recommandations pour la conception d’outils de diagnostic, un processus générique adaptable aux processus de validation intégrant une activité de diagnostic, ainsi qu’un framework basé sur les techniques de l’Ingénierie Dirigée par les Modèles (IDM) permettant une implémentation et une personnalisation rapide de visualisations.

Notre approche a été appliquée à une chaîne d’outils existante, qui intègre la validation de modèles UML et SysML de systèmes temps réel critiques. Une validation empirique des résultats a démontré une amélioration significative de l’utilisabilité de l’outil de diagnostic, après la prise en compte de nos préconisations.

Mots-clés :

Vérification, SysML, UML, Ingénierie Dirigée par les Modèles, visualisation d’information

Principales publications :

Ileana Ober, Iulian Ober, Iulia Dragomir, El Arbi Aboussoror. UML/SysML semantic tunings. Innovations in Systems and Software Engineering, Springer - NASA Journal on Innovations in Systems and Software Engineering, Vol. 7 N. 4, p. 257-264, novembre 2011

El Arbi Aboussoror, Ileana Ober, and Iulian Ober. Seeing Errors : Model Driven Simulation Trace Visualization. MODELS, volume 7590 of Lecture Notes in Computer Science, pages 480–496. Springer, 2012.

El Arbi Aboussoror, Ileana Ober, and Iulian Ober. Significantly Increasing the Usability of Model Analysis Tools Through Visual Feedback. SDL 2013 -Model Driven Dependability Engineering, LNCS. Springer-Verlag, June 2013.