S. and S. Annex, Behavior Specification v2, 2011.

J. Bodeveix and M. Fllali, The AADL behavior annex-experiments and roadmap, Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems, pp.377-382, 2007.

P. Feiler, Open source AADL tool environment (OSATE), in: AADL Workshop, 2004.

P. Farail, P. Goutillet, A. Canals, C. Le-camus, D. Sciamma et al., The TOPCASED project: a toolkit in open source for critical aeronautic systems design, pp.54-59, 2006.

M. Y. Chkouri, A. Robert, M. Bozga, and J. , Sifakis, Translating AADL into BIPapplication to the verification of real-time systems, in: Models in Software Engineering, pp.5-19, 2009.

O. Sokolsky, I. Lee, and D. Clarke, Schedulability analysis of AADL models, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium, p.8, 2006.
DOI : 10.1109/IPDPS.2006.1639421

T. Abdoul, J. Champeau, P. Dhaussy, P. Pillain, and J. Roger, AADL Execution Semantics Transformation for Formal Verification, 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008), pp.263-268, 2008.
DOI : 10.1109/ICECCS.2008.24

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

R. Jean-francois, B. Jean-paul, F. Mamoun, C. David, and T. Dave, Modes in asynchronous systems, 13th IEEE International Conference on Engineering of Complex Computer Systems, pp.282-287, 2008.

P. C. Ölveczky, A. Boronat, and J. Meseguer, Formal semantics and analysis of behavioral AADL models in real-time Maude, in: Formal Techniques for Distributed Systems, pp.47-62, 2010.

D. Monteverde, A. Olivero, S. Yovine, and V. Braberman, VTS-based specification and verification of behavioral properties of AADL models, International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES08), 2008.

A. Rugina, K. Kanoun, and M. Kaâniche, A System Dependability Modeling Framework Using AADL and GSPNs, pp.14-38, 2007.
DOI : 10.1007/978-3-540-74035-3_2

X. Renault, F. Kordon, and J. , Hugues, From AADL architectural models to petri nets: Checking model viability, IEEE International Symposium on Object/ Component/Service-Oriented Real-Time Distributed Computing, pp.313-320, 2009.

A. Johnsen, K. Lundqvist, P. Pettersson, and O. Jaradat, Automated Verification of AADL-Specifications Using UPPAAL, 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering, pp.2012-130, 2012.
DOI : 10.1109/HASE.2012.22

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, pp.134-143, 2007.
DOI : 10.1145/1289927.1289951

URL : https://hal.archives-ouvertes.fr/hal-00189563

H. Yu, Y. Ma, Y. Glouche, J. Talpin, L. Besnard et al., System-level co-simulation of integrated avionics using polychrony, Proceedings of the 2011 ACM Symposium on Applied Computing, SAC '11, pp.354-359, 2011.
DOI : 10.1145/1982185.1982263

URL : https://hal.archives-ouvertes.fr/inria-00536907

Y. Ma, J. Talpin, and T. Gautier, Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA, 2010 10th IEEE International Conference on Computer and Information Technology, pp.2010-2361, 2010.
DOI : 10.1109/CIT.2010.406

URL : https://hal.archives-ouvertes.fr/hal-00554416

M. Bozzano, R. Cavada, A. Cimatti, J. Katoen, V. Y. Nguyen et al., Formal verification and validation of AADL models, Proc. ERTS, 2010.

C. André, F. Mallet, and R. De-simone, Modeling of immediate vs. delayed data communications: from AADL to UML MARTE, in: ECSI Forum on Specification & Design Languages (FDL), pp.249-254, 2007.

M. Ouimet and K. Lundqvist, The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems, Computer Aided Verification, pp.126-130, 2007.
DOI : 10.1007/978-3-540-73368-3_15

M. Ouimet, A Formal Framework for Specification-based Embedded Real-time System Engineering, 2008.

Z. Yang, K. Hu, D. Ma, and L. Pi, Towards a formal semantics for the AADL behavior annex, in: Design, Automation & Test in Europe Conference & Exhibition, pp.1166-1171, 2009.

Z. Yang, K. Hu, D. Ma, L. Pi, and J. Bodeveix, Formal semantics and verification of AADL modes in Timed Abstract State Machine, 2010 IEEE International Conference on Progress in Informatics and Computing, pp.2010-1098, 2010.
DOI : 10.1109/PIC.2010.5687996

Z. Yang, K. Hu, J. Bodeveix, L. Pi, D. Ma et al., Two Formal Semantics of a Subset of the AADL, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems, pp.344-349, 2011.
DOI : 10.1109/ICECCS.2011.41

Z. Yang, K. Hu, D. Ma, J. Bodeveix, L. Pi et al., Talpin, From AADL to timed abstract state machines: a verified model transformation, J. Syst. Softw, pp.93-135, 2014.

E. Börger, The origins and the development of the ASM method for high level system design and analysis, J. Univ. Comput. Sci, vol.8, pp.2-74, 2002.

F. Jouault, F. Allilaire, J. Bézivin, and I. Kurtev, ATL: A model transformation tool, Science of Computer Programming, vol.72, issue.1-2, pp.31-39, 2008.
DOI : 10.1016/j.scico.2007.08.002

URL : https://hal.archives-ouvertes.fr/hal-00483363

A. Group, ATL User Manual Version 0, 2006.

F. Jouault and I. Kurtev, Transforming Models with ATL, Satellite Events at the MoDELS 2005 Conference, pp.128-138, 2006.
DOI : 10.1007/11663430_14

URL : https://hal.archives-ouvertes.fr/hal-00448120

F. Jouault and J. Bézivin, KM3: a DSL for metamodel specification, in: Formal Methods for Open Object-Based Distributed Systems, pp.171-185, 2006.

K. G. Larsen, P. Pettersson, and W. Yi, Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997.
DOI : 10.1007/s100090050010

H. Kai, T. Zhang, Y. Zhi-bin, G. Bin, S. Jiang et al., Formal verification of TASM models by translating into UPPAAL, J. Donghua Univ, vol.29, 2012.

S. Björnander, L. Grunske, and K. Lundqvist, Timed simulation of extended AADLbased architecture specifications with timed abstract state machines, Architectures for Adaptive Software Systems, pp.101-115, 2009.

A. Basu, M. Bozga, and J. Sifakis, Modeling Heterogeneous Real-time Components in BIP, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), pp.3-12, 2006.
DOI : 10.1109/SEFM.2006.27

URL : https://hal.archives-ouvertes.fr/hal-00375298

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, pp.42-2741, 2004.
DOI : 10.1137/0216062

A. Rugina, K. Kanoun, and M. Kaâniche, The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation, 2008 Seventh European Dependable Computing Conference, pp.85-90, 2008.
DOI : 10.1109/EDCC-7.2008.14

URL : https://hal.archives-ouvertes.fr/hal-00323969

A. Johnsen, P. Pettersson, and K. Lundqvist, An Architecture-Based Verification Technique for AADL Specifications, Software Architecture, pp.105-113, 2011.
DOI : 10.1145/243327.243602

Y. Ma, H. Yu, T. Gautier, J. Talpin, L. Besnard et al., System synthesis from AADL using Polychrony, 2011 Electronic System Level Synthesis Conference (ESLsyn), pp.1-6, 2011.
DOI : 10.1109/ESLsyn.2011.5952285

URL : https://hal.archives-ouvertes.fr/inria-00594943

C. Brunette, J. Talpin, A. Gamatié, and T. Gautier, A metamodel for the design of polychronous systems, The Journal of Logic and Algebraic Programming, vol.78, issue.4, pp.233-259, 2009.
DOI : 10.1016/j.jlap.2008.11.005

URL : https://hal.archives-ouvertes.fr/hal-00788580

P. Leguernic, T. Gautier, M. Le-borgne, and C. L. Maire, Programming real-time applications with SIGNAL, Proc. IEEE, pp.1321-1336, 1991.
DOI : 10.1109/5.97301

H. Yu, Y. Ma, T. Gautier, L. Besnard, J. Talpin et al., Exploring system architectures in AADL via Polychrony and SynDEx, Sorel, Exploring system architectures in AADL via polychrony and SynDEx, pp.627-649, 2013.
DOI : 10.1007/s11704-013-2307-z

URL : https://hal.archives-ouvertes.fr/hal-00916445

C. Lavarenne, O. Seghrouchni, Y. Sorel, and M. Sorine, The SynDEx software environment for real-time distributed systems design and implementation, European Control Conference, pp.1684-1689, 1991.

M. Bozzano, A. Cimatti, J. Katoen, V. Y. Nguyen, T. Noll et al., Safety, Dependability and Performance Analysis of Extended AADL Models, The Computer Journal, vol.54, issue.5, pp.54-754, 2011.
DOI : 10.1093/comjnl/bxq024

S. Lee, F. Mallet, and R. De-simone, Dealing with AADL end-to-end flow latency with UML, MARTE, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00371400

R. Varona-gomez and E. Villar, AADL Simulation and Performance Analysis in SystemC, 2009 14th IEEE International Conference on Engineering of Complex Computer Systems, pp.323-328, 2009.
DOI : 10.1109/ICECCS.2009.11

H. Posadas, D. Quijano, E. Villar, and M. Martínez, SCope: SoC co-simulation and performance estimation in SystemC, IEEE/ACM Design, Automation and Test in Europe, 2007.

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, ACM SIGAda Ada Letters, vol.25, pp.1-10, 2005.

]. F. Singhoff, A. Plantec, P. Dissaux, and J. Legrand, Investigating the usability of realtime scheduling theory with the Cheddar project, Real-Time Syst, pp.43-259, 2009.

E. Senn, J. Laurent, E. Juin, and J. Diguet, Refining power consumption estimations in the component based AADL design flow, 2008 Forum on Specification, Verification and Design Languages, pp.173-178, 2008.
DOI : 10.1109/FDL.2008.4641441

URL : https://hal.archives-ouvertes.fr/hal-00370813

K. Hu, T. Zhang, and Z. Yang, Multi-threaded code generation from Signal program to OpenMP, Frontiers of Computer Science, vol.108, issue.1, pp.617-626, 2013.
DOI : 10.1007/s11704-013-3906-4

. Dr, . Wei-tek, and . Tsai, S. from Computer Science and Engineering from Massachusetts Institute of Technology at Cambridge in 1979, M.S. and Ph.D. in Computer Science from University of California at Berkeley in 1982 and 1986. He is now Professor in the School of He has authored more than 400 papers in software engineering, service-oriented computing, and cloud computing. He travels widely and has held various professorships in US