P. Dissaux, ADELE: a versatile system architecture graphical editor based on AADL

B. Berthomieu, P. Ribet, and F. Vernadat, The tool TINA ??? Construction of abstract state spaces for petri nets and time petri nets, International Journal of Production Research, vol.99, issue.14
DOI : 10.1137/0216062

B. Berthomieu, J. Bodeveix, P. Farail, M. Filali, H. Garavel et al., Fiacre: an Intermediate Language for Model Verification in the Topcased Environment, European Congress on Embedded Real-Time Software (ERTS), 2008.
URL : https://hal.archives-ouvertes.fr/inria-00262442

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes, TACAS, pp.372-387, 2011.
DOI : 10.1007/BFb0054166
URL : https://hal.archives-ouvertes.fr/inria-00583776

P. Farail, P. Gaufillet, A. Canals, C. Le-camus, D. Sciamma et al., The TOPCASED project: a Toolkit in Open source for Critical Aeronautic SystEms Design, European Congress on Embedded Real-Time Software (ERTS), 2006.

B. Berthomieu, J. Bodeveix, C. Chaudet, S. Dal-zilio, M. Filali et al., Formal Verification of AADL Specifications in the Topcased Environment, Ada-Europe 09 ? 14th International Conference on Reliable Software Technologies, 2009.
DOI : 10.1007/978-3-540-24756-2_8

B. Berthomieu, J. Bodeveix, S. Dal-zilio, P. Dissaux, M. Filali et al., Formal Verification of AADL models with Fiacre and Tina, ERTSS 2010 ? 5th International Congress and Exhibition on Embedded Real-Time Software and Systems, pp.1-9, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00494348

A. Basu, M. Bozga, and J. , Sifakis, Modeling heterogeneous real-time systems in BIP, SEFM ? IEEE Conference on Software Engineering and Formal Methods, 2006.

N. Abid, S. Dal-zilio, and D. L. Botlan, Real-Time Specification Patterns and Tools, Lecture Notes in Computer Science, vol.7437, pp.1-15, 2012.
DOI : 10.1007/978-3-642-32469-7_1
URL : https://hal.archives-ouvertes.fr/hal-00782649

M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, Patterns in property specifications for finite-state verification, ICSE'99, pp.411-420, 1999.

J. Bodeveix, M. Filali, M. Garnacho, R. Spadotti, and Z. Yang, On the Mechanization of an AADL Subset, Science of Computer Programming : special issue on Architecture Design Language

F. Singhoff, J. Legrand, L. Nana, and L. Marcé, Cheddar: A flexible real time scheduling framework, Ada Lett. XXIV, issue.4, pp.1-8, 2004.

J. Rolland, J. Bodeveix, D. Chemouil, D. Filali, M. et al., Towards a formal semantics for AADL execution model, 2008.

T. Vergnaud, Modélisation des systèmes temps-réel répartis embarqués pour la génération automatique d'applications formellement vérifiées, 2006.

M. Bozga, V. Sfyrla, and J. Sifakis, Modeling synchronous systems in BIP, Proceedings of the seventh ACM international conference on Embedded software, EMSOFT '09, pp.77-86, 2009.
DOI : 10.1145/1629335.1629347
URL : https://hal.archives-ouvertes.fr/hal-00722479

E. Jahier, N. Halbwachs, P. Raymond, X. Nicollin, and D. Lesens, Virtual execution of AADL models via a translation into synchronous programs, Proceedings of the 7th ACM & IEEE international conference on Embedded software , EMSOFT '07, 2007.
DOI : 10.1145/1289927.1289951
URL : https://hal.archives-ouvertes.fr/hal-00189563

M. Bozzano, A. Cimatti, J. Katoen, V. Y. Nguyen, T. Noll et al., A Model Checker for AADL, CAV, pp.562-565, 2010.
DOI : 10.1007/978-3-642-14295-6_48

S. Björnander, C. C. Seceleanu, K. Lundqvist, and P. Pettersson, ABV - A Verifier for the Architecture Analysis and Design Language (AADL), 2011 16th IEEE International Conference on Engineering of Complex Computer Systems, pp.355-360, 2011.
DOI : 10.1109/ICECCS.2011.43

P. C. Ölveczky, A. Boronat, and J. Meseguer, Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude, FMOODS/FORTE, pp.47-62, 2010.
DOI : 10.1007/978-3-642-13464-7_5

K. Bae, P. C. Ölveczky, A. Al-nayeem, and J. Meseguer, Synchronous AADL and Its Formal Analysis in Real-Time Maude, ICFEM, pp.651-667, 2011.
DOI : 10.1007/s10990-007-9001-5

C. André, F. Mallet, and R. De-simone, Modeling of immediate vs. delayed data communications: from AADL to UML Marte, in: Forum on specification & Design Languages, 2007.

P. Feiler, Efficient Embedded Runtime Systems through Port Communication Optimization, 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008), 2008.
DOI : 10.1109/ICECCS.2008.20

M. Kerboeuf, A. Plantec, F. Singhoff, A. Schach, and P. Dissaux, Comparison of Six Ways to Extend the Scope of Cheddar to AADL v2 with Osate, 2010 15th IEEE International Conference on Engineering of Complex Computer Systems, pp.367-372, 2010.
DOI : 10.1109/ICECCS.2010.15
URL : https://hal.archives-ouvertes.fr/hal-00502111