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

Bibliographie
B. W. Kernighan et D. M. Ritchie. Le langage C. Dunod, 2 e edition, 2000.
S. Kleijnen et S. Raju. An Open Web Services Architecture. Queue, 1(1) :38–46, 2003. ISSN
1542-7730.
F. Kordon et Luqi. An Introduction to Rapid system Prototyping. In Transactions on Software
Engineering, volume 28. IEEE, septembre 2002.
F. Kordon et E. Paviot-Adet. Using CPN-AMI to Validate a Safe Channel Protocol. In International
Conference on Theory and Applications of Petri Nets, Williamsburg, Virginie, juin 1999.
S. Krakowiak. Jonathan. http://kilim.objectweb.org/doc/.
A. S. Krishna, B. Natarajan, A. Gokhale, D. C. Schmidt, N. Wang, et G. Thaker. CCMPerf : A
Benchmarking Tool for CORBA Component Model Implementations. Real-Time Systems, 29
(2-3) :281–308, 2005. ISSN 0922-6443.
J. W. Krueger, S. Vestal, et B. Lewis. Fitting the Pieces Together : System/Software Analysis and
Code Integration Using MetaH. In 17 th Digital Avionics Systems Conference (DASC, volume 1.
IEEE, novembre 1998.
F. Loiret, L. Seinturier, et É. Gressier-Soudan. Fractal, Kilim, JAC : une expérience comparative.
In Journée Composants (JC’04), 2004.
J. Magee et J. Kramer. Dynamic Structure in Software Architectures. In ACM SIGSOFT Symposium
on the Foundations of Software Engineering (FSE), pages 3–14, 1996.
J. Magee et J. Kramer. Concurrency : State Models and Java Programs. Wiley, 1999.
J. Magee, J. Kramer, et D. Giannakopoulou. Behaviour Analysis of Software Architectures. In
First Working IFIP Conference on Software Architecture (WICSA), IFIP Conference Proceedings,
pages 35–50. Kluwer, 1999.
N. Medvidovic et R. R. Taylor. A Classification and Comparison Framework for Software Architecture
Description Languages. IEEE Transactions on Software Engineering, 26(1) :70–93,
2000.
S. J. Mellor et M. J. Balcer. Executable UML. Addison-Wesley, 2 nde edition, décembre 2003.
MPI-2 : Extensions to the Message-Passing Interface. MPIForum, novembre 2003. http://www.
mpi-forum.org.
S. Mullender, editor. Distributed Systems. ACM Press, 1993.
P.-A. Müller et N. Gaertner. Modélisation objet avec UML. Eyrolles, 2 nde edition, décembre 2003.
C. Nester, M. Philippsen, et B. Haumacher. A more efficient RMI for Java. In JAVA’99 : Proceedings
of the ACM 1999 conference on Java Grande, pages 152–159, New York, États-Unis,
1999. ACM Press. ISBN 1-58113-161-5.
Kilim 2 Tutorial. ObjectWeb, juillet 2003.
c○ 2007 Thomas Vergnaud 181