En conclusion à cet état des lieux
en matière d'environnement logiciel de programmation,
il semble que, pour élaborer
un système de la même envergure que IUE mais qui couvrent les aspects
temps réel, on dispose déjà de beaucoup d'outils (ESTEREL,
MAPLE, POSIX, etc ) susceptibles d'intervenir dans
l'élaboration d'un tel système.
Cependant, il manque encore une méthodologie de spécification compatible avec toutes les exigences répertoriées dans ce chapitre, d'une part, des spécifications modulaires, réactives et hiérarchiques, et, d'autre part, de gérer de manière homogène et fiable tous les outils répertoriés.
Par conséquent, la définition de spécification combinant concepts objet, réactivité et portabilité temps réel font l'objet principal de ce travail de DEA.