Conception d'une interface pour un environnement de modélisation et de simulation de systèmes réactifs

Abstract

Bien qu'il existe plusieurs outils pour la synthèse de contrôleurs de systèmes à événements discrets (SEDs), aucun n'est reconnu ou accepté dans ce domaine, comme l'est par exemple MATLAB dans le domaine des systèmes dynamiques. La principale raison est l'absence d'une interface conviviale qui permet aux utilisateurs de modéliser et de simuler des systèmes discrets d'une manière symbolique. Pour remédier à cette situation, nous présentons une interface pour MELODIES ( Modeling Environment for LOgical DIscrete Event Systems ), un outil de modélisation, de synthèse et de simulation de systèmes réactifs. Ceux-ci sont des systèmes dynamiques qui évoluent en fonction de l'occurrence asynchrone d'événements. Dans ces systèmes, l'accent est mis sur l'ordre d'occurrences d'événements plutôt que sur le temps d'occurrence. Ce mémoire porte une attention particulière sur la conception et la programmation de l'interface de MELODIES à l'aide de la boîte à outils Qt, particulièrement l'édition et la validation des données, l'aide en ligne et la configuration ainsi que la simulation.