Modélisation des systèmes temps-réel répartis embarqués pour la ...

Modélisation des systèmes temps-réel répartis embarqués
F. Ogel, G. Thomas, I. Piumarta, A. Galland, B. Folliot, et C. Baillarguet. Towards Active Applications
: the Virtual Virtual Machine Approach. New Trends in Computer Science and Engineering,
2003.
Model Driven Architecture. OMG, 2001a.
Ada Language Mapping Specification. OMG, octobre 2001b.
Common Object Request Broker Architecture. OMG, mars 2004.
Java Language Mapping Specification. OMG, août 2002a.
Minimum CORBA Specification. OMG, août 2002b.
Real-time CORBA Specification. OMG, janvier 2005.
M. Oussalah, editor. Ingénierie des composants. Concepts, techniques et outils. Vuibert Informatique,
2005.
S. Owre, J. M. Rushby, et N. Shankar. PVS : A Prototype Verification System. In Deepak Kapur,
editor, 11 th International Conference on Automated Deduction (CADE), volume 607 of Lecture
Notes in Artificial Intelligence, pages 748 – 752, Saratoga, NY, juin 1992. Springer-Verlag.
L. Pautet. Intergiciels schizophrènes : une solution à l’interopérabilité entre modèles de répartition.
Habilitation à diriger des recherches, université Pierre & Marie Curie (Paris 6), décembre
2001.
L. Pautet et S. Tardieu. GLADE User’s Guide. Free Software Foundation, 2005.
D. E. Perry et A. L. Wolf. Foundations for the Study of Software Architectures. ACM SIGSOFT
Software Engineering Notes, 17(4) :40–52, 1992.
F. Plášil, D. Bálek, et R. Janeček. SOFA/DCUP : Architecture for component trading and dynamic
updating. In ICCDS’98. IEEE, mai 1998.
P. Poizat, J.-C. Royer, et G. Salaün. Formal Methods for Component Description, Coordination
and Adaptation. In First International Workshop on Coordination and Adaptation Techniques
for Software Entities (WCAT), pages 89–100, 2004.
I. Pyarali, D. C. Schmidt, et R. K. Cytron. Achieving End-to-end Predictability in the TAO Realtime
CORBA ORB. In Proceedings of the 8 th IEEE Real-Time and Embedded Technology
and Applications Symposium (RTAS’02), page 13, Washington, DC, États-Unis, 2002. IEEE
Computer Society. ISBN 0-7695-1739-0.
T. Quinot. Conception et réalisation d’un intergiciel schizophrène pour la mise en œuvre de
systèmes répartis interopérables. Thèse de doctorat, École nationale supérieure des télécommunications,
mars 2003.
D. Regep, Y. Thierry-Mieg, F. Gilliers, et F. Kordon. Modélisation et vérification de systèmes
répartis : une approche intégrée avec LfP. In Approches Formelles dans l’Assistance au Développement
de Logiciels (AFADL’03), IRISA, Rennes, janvier 2002.
J.-M. Rifflet et J.-B. Yunès. UNIX – programmation et communication. Dunod, 2003.
182 c○ 2007 Thomas Vergnaud