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 pour la ...
Modélisation des systèmes temps-réel répartis embarqués pour la ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
<strong>Modélisation</strong> <strong>des</strong> <strong>systèmes</strong> <strong>temps</strong>-<strong>réel</strong> <strong>répartis</strong> <strong>embarqués</strong><br />
E. Bruneton, T. Coupaye, et J.-B. Stéfani. Recursive and Dynamic Software Composition with<br />
Sharing. In 7 th International Workshop on Component-Oriented Programming (WCOP’02),<br />
juin 2002.<br />
F. Budinsky, D. Steinberg, E. Merks ans R. Ellersick, et T. Grose. Eclipse Modeling Framework.<br />
Addison-Wesley, août 2003.<br />
A. Burns et A. Wellings. Real-Time Systems and Programming Languages. Elsevier, 3 e edition,<br />
mars 2001.<br />
J. L. Campos, J. J. Gutiérrez, et M. G. Harbour. The Chance for Ada to Support Distribution<br />
and Real-Time in Embedded Systems. In Proceedings of the 9 th International Conference on<br />
Reliable Software Techologies Ada-Europe 2004 (RST’04), volume LNCS 3063, pages 91–105,<br />
Palma de Mallorca, Espagne, juin 2004. Springer.<br />
C. Canal, J. M. Murillo, et P. Poizat. Software Adaptation. L’Objet, 12 :9–31, 2006.<br />
I. Charon. Le <strong>la</strong>ngage Java : concepts et pratique, le JDK 5.0. Hermès, 3 e edition, décembre 2005.<br />
L. C<strong>la</strong>usen. Dia. http://live.gnome.org/Dia, décembre 2006.<br />
E. M. Dashofy, A. van der Hoek, et R. N. Taylor. A Highly-Extensible, XML-Based Architecture<br />
Description Language. In Working IEEE / IFIP Conference on Software Architecture (WICSA),<br />
pages 103–112. IEEE Computer Society, 2001.<br />
M. Diaz, editor. Vérification et mise en œuvre <strong>des</strong> réseaux de Petri. Hermès, 2003.<br />
P. Dissaux. HOOD and AADL. In Proceedings of the Data Systems In Aerospace (DASIA’03).<br />
ESA Publication Division, juin 2003.<br />
P. Dissaux. Hood and Ada 95. In Data Systems In Aerospace (DASIA’99), Lisbonne, Portugal,<br />
mai 1999.<br />
P. Duquesne. Module AADL <strong>pour</strong> l’éditeur de diagrammes Dia. http://www.gnome.org/<br />
projects/dia/, 2005.<br />
J.-P. Elloy et F. Simonot-Lion. An Architecture Description Language for In-Vehicle Embedded<br />
System Development. In 15 th IFAC World Congress, Barcelone, Espagne, 2002.<br />
H. Espinoza, H. Dubois, J. Medina, et S. Gérard. A General Structure for the Analysis Framework<br />
of the UML MARTE Profile. In Proceedings of the Modeling and Analysis of Real-Time and<br />
Embedded Systems Workshop (MARTES’05), Montego Bay, Jamaïque, octobre 2005.<br />
P. Farail et P. Gaufillet. TOPCASED — un environnement de développement open source <strong>pour</strong><br />
les <strong>systèmes</strong> <strong>embarqués</strong>. http://www.topcased.org/, mai 2005.<br />
J.-M. Farines, B. Berthomieu, J.-P. Bodeveix, P. Dissaux, P. Farail, M. Fi<strong>la</strong>li, P. Gaufillet, H. Hafidi,<br />
J.-L. Lambert, P. Michel, et F. Vernadat. Towards the Verification of Real-Time Systems<br />
in Avionics : the COTRE Approach. In 8 th International Workshop on Formal Methods for<br />
Industrial Critical Systems (FMICS’03), Trondheim, Norvège, juin 2003a.<br />
178 c○ 2007 Thomas Vergnaud