S. Aerospace and . Sae, Annex A: Graphical AADL Notation, Annex C: AADL Meta-Model and Interchange Formats, Annex D: Language Compliance and Application Program Interface Annex E: Error Model Annex, Architecture Analysis and Design Language (AADL) Annex, vol.1, issue.1, 2011.

S. Aerospace, Time-Triggered Ethernet, sae as6802 edition, 2011.

G. Brau, J. Hugues, and N. Navet, Refinement of AADL models using early-stage analysis methods, Proceedings of the 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop December 3 Vancouver Canada, 2013.
DOI : 10.3384/ecp13090006

C. Sei, Open source aadl tool environment (osatev2), 2014.

D. De, N. Peter, and H. Feiler, Aspects in the industry standard aadl, Proceedings of the 10th international workshop on Aspect-oriented modeling, pp.15-20, 2007.

J. Delange, L. Pautet, A. Plantec, M. Kerboeuf, F. Singhoff et al., Validate, simulate, and implement ARINC653 systems using the AADL, Proceedings of the ACM SIGAda annual international conference on Ada and related technologies, SIGAda '09, pp.31-44, 2006.
DOI : 10.1145/1647420.1647435
URL : https://hal.archives-ouvertes.fr/hal-00745370

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-oriented Software, 1995.

T. Goldschmidt, S. Becker, and A. Uhl, Classification of Concrete Textual Syntax Mapping Approaches, Model Driven Architecture -Foundations and Applications, pp.169-184
DOI : 10.1007/978-3-540-69100-6_12

G. Kopetz, . Hermann, and . Bauer, The time-triggered architecture, Proceedings of the IEEE, p.112, 2003.

H. Kopetz and G. Bauer, The time-triggered architecture, Proceedings of the IEEE, pp.112-126, 2003.

H. Krahn, B. Rumpe, and S. Vlkel, Integrated Definition of Abstract and Concrete Syntax for Textual Languages, Model Driven Engineering Languages and Systems, pp.286-300
DOI : 10.1007/978-3-540-75209-7_20

M. Lafaye, D. Faura, M. Gatti, and L. Pautet, A new modeling approach for IMA platform early validation, Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES '10, pp.17-20, 2010.
DOI : 10.1145/1865875.1865878

G. Lasnier, L. Pautet, J. Hugues, and L. Wrage, An Implementation of the Behavior Annex in the AADL-Toolset Osate2, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems, pp.332-337, 2011.
DOI : 10.1109/ICECCS.2011.39

M. Lauer, Une méthode globale pour la vérification d'exigences temps réelapplicationáapplication´applicationá l'avionique modular intgrée, 2012, Thse de Doctorat

R. Obermaisser, Event-triggered and time-triggered control paradigms, 2004.
DOI : 10.1007/978-0-387-23044-3

T. Robati, A. El-kouhen, and A. Gherbi, Flight management subsystem model using aadl ttethernet extension, 2014.

B. Christopher, R. Watkins, and . Walter, Transitioning from federated avionics architectures to integrated modular avionics, Digital Avionics Systems Conference, p.2, 2007.