next up previous contents
Next: Stratification de spécifications objet Up: Contexte de cette Etude Previous: Contexte

Conclusion

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 tex2html_wrap_inline1416 ) 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.



Soraya Arias
Mon Aug 5 17:38:44 MET DST 1996