Nos tutelles

CNRS

Nos partenaires


Accueil > Publications > Thèses > Archives Thèses > Thèses 2015 - 2016

MAIGA Oumar


An Integrated Language for the Specification, Simulation, Formal Analysis and Enactment of Discrete Event Systems (Un langage intégré pour la spécification, la simulation, l’analyse formelle et l’en-action des systèmes à événements discrets)
Mardi 22 décembre 2015 - 10 h 00 - Bamako

Résumé :
Cette thèse propose une méthodologie qui intègre les méthodes formelles dans la spécification, la conception, la vérification et la validation des systèmes complexes concurrents et distribués avec une perspective à événements discrets. La méthodologie est basée sur le langage graphique HILLS (High Level Language for System Specification) que nous avons défini. HiLLS intègre des concepts de génie logiciel et de théorie des systèmes pour une spécification des systèmes. Précisément, HiLLS intègre des concepts et notations de DEVS (Discrete Event System Specification), UML (Unified Modeling Language) et Object-Z. Les objectifs de HILLS incluent la définition d’une syntaxe concrète graphique qui facilite la communicabilité des modèles et plusieurs domaines sémantiques pour la simulation, le prototypage, l’en-action et l’accessibilité à l’analyse formelle. L’En-action se définit par le processus de création d’une instance du système qui s’exécute en temps réel (par opposition au temps virtuel utilisé en simulation). HiLLS permet la construction hiérarchique et modulaire des systèmes à événements discrets grâce à une description simple et rigoureuse des aspects statiques, dynamiques et fonctionnels des modèles.

Jury :
TRAORE Mamadou Kaba
DIALLO Ouaténi
FRYDMAN Claudia
SANTUCCI Jean-François
LO Ousmane
KONATE Jacqueline