N. Halbwachs, E. Jahier, P. Raymond, X. Nicollin, and D. Lesens, Virtual execution of AADL models via a translation into synchronous programs, Seventh International Conference on Embedded Software, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00189563

P. H. Feiler, D. P. Gluch, J. J. Hudak, and B. A. Lewis, Embedded system architecture analysis using SAE AADL, 2004.

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, vol.79, issue.9, pp.1305-1320, 1991.
DOI : 10.1109/5.97300

C. L. Liu and J. Layland, Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment, Journal of the ACM, vol.20, issue.1, pp.46-61, 1973.
DOI : 10.1145/321738.321743

R. Milner, On relating synchrony and asynchrony, 1981.

P. Baufreton, SACRES: A Step Ahead in the Development of Critical Avionics Applications, Hybrid Systems: Computation and Control: Second International Workshop, HSCC'99, 1999.
DOI : 10.1007/3-540-48983-5_1

P. Baufreton, Visual notations based on synchronous languages for dynamic validation of gals systems, CCCT'04 Computing, Communications and Control Technologies, 2004.

A. Gamatié and T. Gautier, Synchronous modeling of avionics applications using the signal language, The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003. Proceedings., pp.144-151, 2003.
DOI : 10.1109/RTTAS.2003.1203046

A. Gamatié and T. Gautier, The SIGNAL approach to the design of system architectures, 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings., pp.80-88, 2003.
DOI : 10.1109/ECBS.2003.1194786

L. Guernic, P. Talpin, J. P. Le-lann, and J. C. , POLYCHRONY for System Design, Journal of Circuits, Systems and Computers, vol.12, issue.03, 2003.
DOI : 10.1142/S0218126603000763
URL : https://hal.archives-ouvertes.fr/hal-00730480

L. Sha, R. Rajkumar, and J. P. Lehoczky, Priority inheritance protocols: an approach to real-time synchronization, IEEE Transactions on Computers, vol.39, issue.9, pp.1175-1185, 1990.
DOI : 10.1109/12.57058

N. Halbwachs, F. Lagnier, and C. Ratel, Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE, IEEE Transactions on Software Engineering, vol.18, issue.9, pp.785-793, 1992.
DOI : 10.1109/32.159839

J. Hugues, B. Zalila, and L. P. Kordon, Rapid prototyping of distributed real-time embedded systems using the AADL and Ocarina, 18th IEEE/IFIP International Workshop on Rapid System Prototyping, 2007.
URL : https://hal.archives-ouvertes.fr/hal-01335114

F. Singhoff, J. Legrand, L. Nana, and L. Marcé, Cheddar: a flexible real time scheduling framework, pp.1-8, 2004.

F. Singhoff, J. Legrand, L. Nana, and L. Marcé, Scheduling and memory requirements analysis with AADL, In: SIGAda, 2005.

P. L. Guernic, A. Benveniste, P. Bournai, and T. Gautier, Signal--A data flow-oriented language for signal processing, IEEE Transactions on Acoustics, Speech, and Signal Processing, vol.34, issue.2, pp.362-374, 1986.
DOI : 10.1109/TASSP.1986.1164809
URL : https://hal.archives-ouvertes.fr/inria-00076178

B. Dutertre, Formal analysis of the priority ceiling protocol, Proceedings 21st IEEE Real-Time Systems Symposium, pp.151-160, 2000.
DOI : 10.1109/REAL.2000.896005

J. Penix, W. Visser, E. Engstrom, A. Larson, and N. Weininger, Verification of time partitioning in the DEOS scheduler kernel, Proceedings of the 22nd international conference on Software engineering , ICSE '00, pp.488-497, 2000.
DOI : 10.1145/337180.337364

E. Jahier, P. Raymond, and P. Baufreton, Case studies with Lurette V2, International Journal on Software Tools for Technology Transfer, vol.176, issue.(1???2, 2006.
DOI : 10.1007/s10009-006-0023-9
URL : https://hal.archives-ouvertes.fr/hal-00389838

P. Raymond, E. Jahier, and Y. Roux, Describing and Executing Random Reactive Systems, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), pp.216-225, 2006.
DOI : 10.1109/SEFM.2006.15
URL : https://hal.archives-ouvertes.fr/hal-01465776