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

Bibliographie
J.-M. Farines, B. Berthomieux, J.-P. Bodeveix, P. Farail, M. Filali, P. Gaufillet, H. Hafidi, J.-L.
Lambert, P. Michel, et F. Vernadat. The COTRE Project : Rigorous Software Development for
Real-Time Systems in Avionics. In 27 th IFAC/IFIP/IEEE Workshop on Real-Time Programming
(WRTP’03), Zielona Góra, Pologne, mai 2003b.
S. Faucou, A.-M. Déplanche, et Y. Trinquet. Timing Fault Detection for Safety-Critical Real-
Time Embedded Systems. In ACM Press, editor, 10 th ACM SIGOPS European Workshop (SI-
GOPS’02), septembre 2002.
P. H. Feiler, B. Lewis, et S. Vestal. Improving Predictability in Embedded Real-Time Systems.
Rapport technique CMU/SEI-2000-SR-011, université Carnegie Mellon, décembre 2000.
http://la.sei.cmu.edu/publications.
P. H. Feiler, B. Lewis, et S. Vestal. The SAE Architecture Analysis & Design Language (AADL)
Standard : A Basis for Model-Based Architecture Driven embedded System Engeineering. In
proceeding of the RTAS 2003 Workshop on Model-Driven Embedded Systems, Washington,
D.C., États-Unis, mai 2003.
P. H. Feiler, D. P. Gluch, et Hudak J. J. The Architecture Analysis & Design Language (AADL) :
An Introduction. université Carnegie Mellon, février 2006.
Free Software Foundation. Emacs. http://www.gnu.org/software/emacs, novembre 2006.
E. Gamma, R. Helm, R. Johnson, et J. Vlissides. Design Patterns. Addison-Wesley, 22 e edition,
2001.
D. Garlan et M. Shaw. Advances in Software Engineering and Knowledge Engineering, volume 2
of Series on Software Engineering and Knowledge Engineering, chapter An Introduction to
Software Architecture, pages 1–39. World Scientific Publishing, 1993.
D. Garlan, S.-W. Cheng, et A. J. Kompanek. Reconciling the Needs of Architectural Description
with Object-Modeling Notations. Sci. Comput. Program., 44(1) :23–49, 2002. ISSN 0167-6423.
D. Giannakopoulou, J. Kramer, et S.C. Cheung. Behaviour Analysis of Distributed Systems Using
the Tracta Approach. Journal of Automated Software Engineering, 6(1) :7–35, 1999.
C. D. Gill, J. Gossett, D. Corman, J. P. Loyall, R. E. Schantz, M. Atighetchi, et D. C. Schmidt.
Integrated Adaptive QoS Management in Middleware : An Empirical Case Study. In 10 th Real-
Time and Embedded Technology and Application Symposium (RTAS’04), Toronto, Canada, mai
2004. IEEE.
O. Gilles. Génération de réseau de Petri pour la vérification formelle de code généré et configuration
d’intergiciel. Mémoire de master, École nationale supérieure des télécommunications,
septembre 2006.
F. Gilliers. Développement par prototypage et génération de code à partir de LfP, un langage de
modélisation de haut niveau. Thèse de doctorat, université Pierre & Marie Curie, septembre
2005.
C. Girault et R. Valk, editors. Petri Nets for System Engineering. Springer, 2003.
c○ 2007 Thomas Vergnaud 179