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
A. Gokhale, D. Schmidt, T. Lu, B. Natarajan, et N. Wang. CoSMIC : An MDA Generative Tool
for Distributed Real-Time and Embedded Applications. 2003.
S. Graf et J. Hooman. Correct Development of Embedded Systems. In European Workshop on
Software Architecture : Languages, Styles, Models, Tools, and Applications (EWSA’04), LNCS
3047, pages 241–249, St-Andrews, Royaume-Uni, mai 2004. Springer-Verlag.
R. M. Graham, T. S. Woodall, et J. M. Squyres. Open MPI : A Flexible High Performance MPI.
In 6 th International Conference on Parallel Processing and Applied Mathematics (PPAM’05).
Springer, septembre 2005.
W. Gropp et E. Lusk. User’s Guide for mpich, a Portable Implementation of MPI. université de
Chicago, février 1999.
W. Grosso. Java RMI. O’Reilly, octobre 2001.
D. Grune, H.E. Bal, C.J.H. Jacobs, et K. Langendoen. Compilateurs. Dunod, 2002.
H. Habrias. Spécification formelle avec B. Hermès, 2001.
S. Haddad, F. Kordon, et L. Petrucci, editors. Méthodes formelles pour les systèmes répartis et
coopératifs, chapter 4. Hermès, 2006.
A. Hamez et X. Renault. PetriScript Reference Manual. Lip6, 2005.
P. Hnětykna. A Model-driven Environment for Component Deployment. In 3 rd ACIS International
Conference on Software Engineering, Research, Management and Applications (SERA’05),
Mount Pleasant, Michighan, États-Unis, août 2005. IEEE Computer Society.
C. Hofmeister, R. L. Nord, et D. Soni. Describing Software Architecture with UML. In Proceedings
of the TC2 First Working IFIP Conference on Software Architecture (WICSA1), pages
145–160, Deventer, Pays-Bas, 1999. Kluwer, B.V. ISBN 0-7923-8453-9.
J. Hugues. Architecture et services des intergiciels temps-réel. Thèse de doctorat, École nationale
supérieure des télécommunications, septembre 2005.
J. Hugues. PolyORB User’s Guide, 2006. http://www.adacore.com.
J. Hugues, Y. Thierry-Mieg, F. Kordon, L. Pautet, S. Baarir, et T. Vergnaud. On the Formal Verification
of Middleware Behavioral Properties. In Proceedings of the 9 th International Workshop
on Formal Methods for Industrial Critical Systems (FMICS’04), volume ENTCS 133, pages
139 – 157, Linz, Autriche, septembre 2004. Elsevier.
J. Hugues, F. Kordon, L. Pautet, et T. Vergnaud. A Factory To Design and Build Tailorable and
Verifiable Middleware. In Workshop on Networked Systems : realization of reliable systems on
top of unreliable networked platforms (Monterey Workshop Series, 12 e édition, 2005), volume
4322 of LNCS, pages 123–144, Univ. de Californie, Irvine, États-Unis, 2007. Springer Verlag.
Impr. Nat. Lexique des règles typographiques en usage à l’Imprimerie nationale. Imprimerie
nationale, 3 e edition, 1990.
Ada Reference Manual. ISO, 3 e edition, 2005.
180 c○ 2007 Thomas Vergnaud