. Sae, The Engineering Society For Advancing Mobility Land Sea Air and Space, Architecture Analysis and Design Language (AADL) AS, vol.5506, 2004.

C. L. Liu and J. , Scheduling algorithms for multiprogramming in a hard real-time environnment

. Layland, Journal of the Association for Computing Machinery, vol.20, issue.1, pp.46-61, 1973.

, On the Complexity of Fixed-Priority Scheduling of Periodic, Real-Time Tasks, J.Y.T. Leung and J. Whitehead. Performance Evaluation, vol.2, pp.237-250, 1982.

, Pre-emptive and Non-Preemptive Real Time Uni-Proces-sor Scheduling. L. George, N. Rivierre and M. Spuri. INRIA Research Report number 2966, 1996.

A. Iso, E) with Technical Corrigendum 1 and Amendment, vol.8652, 1995.

C. Stood, AADL as a pivot Language for Analysing Performances of Real Time Architectures. P. Dissaux and F. Singhoff. 4th

, European Congress ERTS Embedded Real Time Software, 2008.

, UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems Version 1.0, OMG, 2009.

, HOOD Reference Manual release 3.1, HOOD User Group, 1993.

, HOOD Reference Manual release 4.0, HOOD User Group, 1995.

. Hrt-hood, , 1995.

, A Meta model-Driven Process Featuring Advanced Model-Based Timing Analysis. M. Panunzio, T. Vardanega, 2007.

, Expressing and enforcing user-defined constraints of AADL models. O. Gilles, J. Hugues. 5th international workshop on AADL and UML, the proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, pp.22-26, 2010.

, Investigating the usability of real-time scheduling theory with the Cheddar project

A. Singhoff, P. Plantec, J. Dissaux, and . Legrand, Journal of Real-Time Systems, vol.43, pp.922-6443, 2009.

, MAST: Modeling and Analysis Suite for Real-Time

D. Moyano, Proc. of the 13th Euromicro Conference on Real-Time Systems, pp.125-134, 2001.

J. M. Jezequel, B. Champean, and . Hoeltzener, , 2008.

J. Hugues, B. Zalila, and L. Pautet, Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina, 18th IEEE/IFIP International Workshop on Rapid System Prototyping (RSP'07), 2007.
URL : https://hal.archives-ouvertes.fr/hal-01335114

A. Iso, E) with Technical Corrigendum 1 and Amendment, vol.8652, 1995.

, Concurrent and Real Time programming in

, Using AADL for mission critical software development. P. Dissaux. 2 nd European Congress ERTS (Embedded Real Time Software, pp.21-23, 2004.

. Sei, OSATE : an extensible Source AADL tool environment. SEI AADL team technical report, 2004.

, Schedulability analysis of AADL models

I. Sokolsky, D. Lee, and . Clake, Parallel and Distributed Processing Symposium, IPDPS, pp.25-29, 2006.

, Modern Operating Systems. A. Tanenbaum, 2001.