E. Ouhammou, M. Grolleau, P. Richard, and . Richard, Model Driven Timing Analysis for Real-Time Systems, 2012 IEEE 14th International Conference on High Performance Computing and Communication & 2012 IEEE 9th International Conference on Embedded Software and Systems, 2012.
DOI : 10.1109/HPCC.2012.213

E. Ouhammou, M. Grolleau, P. Richard, and . Richard, Reducing the gap between design and scheduling, Proceedings of the 20th International Conference on Real-Time and Network Systems, RTNS '12, pp.21-30, 2012.
DOI : 10.1145/2392987.2392990

E. Ouhammou, M. Grolleau, P. Richard, and . Richard, From Model-based design to Real-Time Analysis, International Conference on Advances in System Testing and Validation Lifecycle (VALID), pp.45-50, 2012.

Y. Ouhammou, E. Grolleau, M. Richard, and P. Richard, Un méta-modele pour la conception et la validation des architectures embarquées temps-réel complexes, Conférence francophone sur les Architectures Logicielles (CAL), pp.142-147, 2012.

[. Ouhammou, E. Grolleau, M. Richard, and P. Richard, Towards a Simple Meta-model for Complex Real-Time and Embedded Systems, International Conference on Model and Data Engineering (MEDI), pp.226-236, 2011.
DOI : 10.1016/0165-6074(94)90080-9

.. System, The main AADL components (1): part of software components): part of hardware components, p.66

.. After, ): before refinement, p.186

S. Anssi and S. Gérard, Arnaud Albinet, and François Terrier. Requirements and Solutions for Timing Analysis of Automotive Systems, Workshop on System Analysis and Modelling (SAM), pp.209-220, 2010.

[. Amir, S. Mccanne, and R. Katz, An active service framework and its application to real-time multimedia transcoding, ACM SIGCOMM Computer Communication Review, vol.28, issue.4, pp.178-189, 1998.
DOI : 10.1145/285243.285281

]. N. Aud91 and . Audsley, Optimal Priority Assignment And Feasibility Of Static Priority Tasks With Arbitrary Start Times, 1991.

S. Andova, G. J. Mark, . Van-den-brand, J. P. Luc, T. Engelen et al., MDE Basics with a DSL Focus, International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM): Formal Methods for Model- Driven Engineering, pp.21-57, 2012.
DOI : 10.1017/S0956796809990220

K. Sanjoy and . Baruah, Feasibility analysis of recurring branching tasks, Euromicro Conference on Real-Time Systems (ECRTS), pp.138-145, 1998.

K. Sanjoy and . Baruah, Dynamic and Static priority Scheduling of Recurring Real-time Tasks. Real-Time Systems, pp.93-128, 2003.

S. Baruah, The Non-cyclic Recurring Real-Time Task Model, 2010 31st IEEE Real-Time Systems Symposium, pp.173-182, 2010.
DOI : 10.1109/RTSS.2010.19

A. Benveniste and G. Berry, The synchronous approach to reactive and real-time systems, Proceedings of the IEEE, vol.79, issue.9, pp.1270-1282, 1991.
DOI : 10.1109/5.97297
URL : https://hal.archives-ouvertes.fr/inria-00075115

J. Bézivin and X. Blanc, MDA: Vers un important changement de paradigme en génie logiciel. Développeur référence v2, p.15, 2002.

[. Baruah and A. Burns, Sustainable Scheduling Analysis, 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06), pp.159-168, 2006.
DOI : 10.1109/RTSS.2006.47

A. Burns and S. K. Baruah, Sustainability in Real-time Scheduling, Journal of Computing Science and Engineering, vol.2, issue.1, pp.74-97, 2008.
DOI : 10.5626/JCSE.2008.2.1.074

C. Bartolini, A. Bertolino, G. De-angelis, and G. Lipari, A UML Profile and a Methodology for Real-Time Systems Design, 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO'06), pp.108-117, 2006.
DOI : 10.1109/EUROMICRO.2006.14

G. C. Buttazzo, M. Bertogna, and G. Yao, Limited Preemptive Scheduling for Real-Time Systems. A Survey, IEEE Transactions on Industrial Informatics, vol.9, issue.1, pp.3-15, 2013.
DOI : 10.1109/TII.2012.2188805

E. Bini, M. D. Natale, and G. Buttazzo, Sensitivity analysis for fixed-priority real-time systems, Real-Time Systems, vol.20, issue.4, pp.5-30, 2008.
DOI : 10.1007/s11241-006-9010-1

[. Bartolini, G. Lipari, and M. D. Natale, From Functional Blocks to the Synthesis of the Architectural Model in Embedded Real-time Applications, 11th IEEE Real Time and Embedded Technology and Applications Symposium, pp.458-467, 2005.
DOI : 10.1109/RTAS.2005.24

P. Frederick and . Brooks, No silver bullet: Essence and accidents of software engineering, IEEE Computer, vol.20, issue.4, pp.10-19, 1987.

G. C. Buttazzo, Hard-real time computing systems : predictable scheduling algorithms and applications, 2011.
DOI : 10.1007/0-387-27578-9

A. Burns, J. Andrew, and . Wellings, Real-Time Systems and Programing Lenguajes: Ada 95, Real Time Java and Real Time Posix, 2001.

A. Burns and A. Wellings, Real-Time Systems and Programming Languages: Ada, Real-Time Java and C/Real-Time POSIX, 2009.

E. [. Clarke, A. P. Emerson, and . Sistla, Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems, vol.8, issue.2, pp.244-263, 1986.
DOI : 10.1145/5397.5399

J. Carpenter, S. Funk, P. Holman, A. Srinivasan, J. Anderson et al., A categorization of real-time multiprocessor scheduling problems and algorithms, HANDBOOK ON SCHEDULING ALGORITHMS, 2004.

[. Czarnecki and S. Helsen, Feature-based survey of model transformation approaches, IBM Systems Journal, vol.45, issue.3, pp.621-645, 2006.
DOI : 10.1147/sj.453.0621

A. Cuccuru, C. Mraidha, F. Terrier, and S. Gérard, Templatable Metamodels for Semantic Variation Points, European Conference Model Driven Architecture -Foundations and Applications (ECMDA-FA), pp.68-82, 2007.
DOI : 10.1007/978-3-540-72901-3_6

A. Stephen and . Cook, The Complexity of Theorem-Proving Procedures, ACM Symposium on Theory of Computing (STOC), pp.151-158, 1971.

A. Colin and I. Puaut, Worst case execution time analysis for a processor with branch prediction. Real-Time Systems, pp.249-274, 2000.

J. Craveiro, J. Rufino, and F. Singhoff, Architecture, mechanisms and scheduling analysis tool for multicore time- and space-partitioned systems, ACM SIGBED Review, vol.8, issue.3, pp.23-27, 2011.
DOI : 10.1145/2038617.2038622
URL : https://hal.archives-ouvertes.fr/hal-00800900

R. I. Davis, A. Burns, R. J. Bril, and J. J. Lukkien, Controller Area Network CAN schedulability analysis: Refuted, revisited and revised. Real-Time Systems, pp.239-272, 2007.

D. Decotigny, Une infrastructure de simulation modulaire pour l'évaluation de performances de systèmes temps-réel, 2003.

L. Michael and . Dertouzos, Control Robotics: The Procedural Control of Physical Processes, IFIP Congress, pp.807-813, 1974.

K. Driscoll and K. Hoyme, The Airplane Information Management System: an integrated real-time flight-deck control system, [1992] Proceedings Real-Time Systems Symposium, pp.267-270, 1992.
DOI : 10.1109/REAL.1992.242654

[. Dhall and C. Liu, On a Real-Time Scheduling Problem, Operations Research, vol.26, issue.1, pp.127-140, 1978.
DOI : 10.1287/opre.26.1.127

F. Dorin, M. Richard, E. Grolleau, and P. Richard, Minimizing the number of processors for real-time distributed systems, Real-Time and Network Systems (RTNS), 2008.
URL : https://hal.archives-ouvertes.fr/inria-00336511

F. Vincent-debruyne, Y. Simonot-lion, and . Trinquet, EAST-ADL: An Architecture Description Language, Architecture Description Languages, chapter 12, pp.181-195, 2005.

[. Ersoy and S. S. Panwar, Topological design of interconnected LAN/MAN networks, IEEE Journal on Selected Areas in Communications, vol.11, issue.8, pp.1172-1182, 1993.
DOI : 10.1109/49.245906

H. Espinoza, An Integrated Model-Driven Framework for Specifying and Analyzing Non-Functional Properties of Real-Time Systems, 2007.

L. Fuentes-fernández and A. Vallecillo-moreno, An introduction to UML profiles, European Journal for the Informatics Professional, issue.2, 2004.

J. Michael and . Flynn, Some computer organizations and their effectiveness, IEEE Transactions on Computers, vol.100, issue.9, pp.948-960, 1972.

[. Group, OSEK/VDX Operating System Specification. www.osek-vdx.org. Last access: 10/09, 2013.

[. Gérard and H. Espinoza, François Terrier, and Bran Selic. Modeling Languages for Real-Time and Embedded Systems -Requirements and Standards-Based Solutions, Model-Based Engineering of Embedded Real-Time Systems, pp.129-154

T. Gardner, C. Griffin, J. Koehler, and R. Hauser, A review of OMG MOF 2.0 Query/Views/Transformations Submissions and Recommendations towards the final Standard Adding Timing Analysis to Functional Design to Predict Implementation Errors. SAE Technical Paper, MetaModelling for MDA Workshop, pp.178-197, 1272.

H. Gomaa, A software design method for real-time systems, Communications of the ACM, vol.27, issue.9, pp.938-949, 1984.
DOI : 10.1145/358234.358262

H. Gomaa, Advances in Software Design Methods for Concurrent, Real-Time and Distributed Applications, 2008 The Third International Conference on Software Engineering Advances, pp.451-456, 2008.
DOI : 10.1109/ICSEA.2008.78

J. Walter and . Goralski, Introduction to ATM networking, 1995.

[. Halbwachs, Synchronous programming of reactive systems, 1992.

M. Hagner and U. Goltz, Integration of scheduling analysis into UML based development processes through model transformation, Proceedings of the International Multiconference on Computer Science and Information Technology, pp.797-804, 2010.
DOI : 10.1109/IMCSIT.2010.5679736

[. Hansson, M. Nolin, and T. Nolte, Real-Time Systems The Industrial Information Technology Handbook, chapter Real-Time Embedded Systems, pp.1-28, 2005.

]. C. Hoa69 and . Hoare, An Axiomatic Basis for Computer Programming, Communications of the ACM, vol.12, issue.10, pp.576-580, 1969.

J. Hugues and F. Singhoff, Développement de systémes á l'aide d'AADL- Ocarina/Cheddar. Tutorial presented at the summer school, 2009.

[. Jouault and I. Kurtev, Transforming Models with ATL, MoDELS Satellite Events, pp.128-138, 2005.
DOI : 10.1007/11663430_14
URL : https://hal.archives-ouvertes.fr/hal-00448120

M. Joseph and P. K. Pandya, Finding Response Times in a Real-Time System, The Computer Journal, vol.29, issue.5, pp.390-395, 1986.
DOI : 10.1093/comjnl/29.5.390

K. Jeffay and D. Stone, Accounting for interrupt handling costs in dynamic priority task systems, 1993 Proceedings Real-Time Systems Symposium, pp.212-221, 1993.
DOI : 10.1109/REAL.1993.393497

B. Klatt, Xpand: A Closer Look at the Model2Text Transformation Language, Chair of Software Design and Quality (SDQ), 2007.

H. Kopetz, Event-triggered versus time-triggered real-time systems, Operating Systems of the 90s and Beyond, pp.86-101, 1991.
DOI : 10.1007/BFb0024530

A. Kleppe, J. Warmer, and W. Bast, MDA Explained: The Practice and Promise of The Model Driven Architecture, 2003.

P. John and . Lehoczky, Fixed Priority Scheduling of Periodic Task Sets with Arbitrary Deadlines, IEEE Real-Time Systems Symposium (RTSS), pp.201-209, 1990.

C. Juan, R. López, W. Hermida, and . Geisselhardt, Advanced techniques for embedded systems design and test, 1998.

[. List, Papyrus: open source tool for graphical UML2 modelling. www.papyrusuml. org. Last access: 10/09, 2013.

J. [. Liu and . 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

Y. Joseph, M. Leung, and . Merrill, A note on preemptive scheduling of periodic, real-time tasks, Information processing letters, vol.11, issue.3, pp.115-118, 1980.

J. Lehoczky, L. Sha, and Y. Ding, The rate monotonic scheduling algorithm: exact characterization and average case behavior, [1989] Proceedings. Real-Time Systems Symposium, pp.166-171, 1989.
DOI : 10.1109/REAL.1989.63567

Y. Joseph, J. Leung, and . Whitehead, On the complexity of fixed-priority scheduling of periodic real-time tasks. Performance evaluation, pp.237-250, 1982.

A. K. Mok and D. Chen, A multiframe model for real-time tasks, IEEE Transactions on Software Engineering, vol.23, issue.10, pp.635-645, 1996.
DOI : 10.1109/32.637146

J. L. Medina and Á. García-cuesta, From composable design models to schedulability analysis with UML and the UML profile for MARTE, ACM SIGBED Review, vol.8, issue.1, pp.64-68, 2011.
DOI : 10.1145/1967021.1967030

J. Musset, E. Juliot, and S. Lacrampe, Acceleo référence, 2006.

J. Masse, S. Kim, and S. Hong, Tool Set Implementation for Scenariobased Multithreading of UML-RT Models and Experimental Validation, IEEE Real- Time and Embedded Technology and Applications Symposium (RTAS), 2003.

J. L. Medina, J. L. Medina-pasaje, M. G. Harbour, and J. M. Drake, MAST Real-Time View: A Graphic UML Tool for Modeling Object-Oriented Real-Time Systems, IEEE Real-Time Systems Symposium (RTSS), pp.245-256, 2001.

[. Mäki-turja and M. Nolin, Efficient response-time analysis for tasks with offsets, Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and Applications Symposium, 2004., pp.462-471, 2004.
DOI : 10.1109/RTTAS.2004.1317293

C. Mraidha, S. Tucci-piergiovanni, and S. Gerard, Optimum, ACM SIGSOFT Software Engineering Notes, vol.36, issue.1, pp.1-8, 2011.
DOI : 10.1145/1921532.1921555

[. Nist, The Economic Impacts of Inadequate Infrastructure for Software Testing Planning Report 02-3 at www.nist.gov/director/planning/upload/report02-3.pdf, National Institute of Standards and Testing, 2002.

[. Nam, R. Pellizzoni, L. Sha, and R. M. Bradford, ASIIST: Application Specific I/O Integration Support Tool for Real-Time Bus Architecture Designs, 2009 14th IEEE International Conference on Engineering of Complex Computer Systems, pp.11-22, 2009.
DOI : 10.1109/ICECCS.2009.31

[. Nabeshima, T. Suzudo, K. Suzuki, and T. Erdinç, Real-time Nuclear Power Plant Monitoring with Neural Network, Journal of Nuclear Science and Technology, vol.1, issue.1, pp.93-100, 1998.
DOI : 10.1080/18811248.1998.9733829

[. Ouhammou, E. Grolleau, and J. Hugues, Mapping AADL models to a repository of multiple schedulability analysis techniques, 16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013), p.8, 2013.
DOI : 10.1109/ISORC.2013.6913214

Y. Ouhammou, E. Grolleau, M. Richard, and P. Richard, Towards a Simple Meta-model for Complex Real-Time and Embedded Systems, International Conference on Model and Data Engineering (MEDI), pp.226-236, 2011.
DOI : 10.1016/0165-6074(94)90080-9

[. Ouhammou, E. Grolleau, M. Richard, and P. Richard, From Model-based design to Real-Time Analysis, International Conference on Advances in System Testing and Validation Lifecycle (VALID), pp.45-50, 2012.

Y. Ouhammou, E. Grolleau, M. Richard, and P. Richard, Model Driven Timing Analysis for Real-Time Systems, 2012 IEEE 14th International Conference on High Performance Computing and Communication & 2012 IEEE 9th International Conference on Embedded Software and Systems, pp.1458-1465, 2012.
DOI : 10.1109/HPCC.2012.213

Y. Ouhammou, E. Grolleau, M. Richard, and P. Richard, Reducing the gap between design and scheduling, Proceedings of the 20th International Conference on Real-Time and Network Systems, RTNS '12, pp.21-30, 2012.
DOI : 10.1145/2392987.2392990

[. Omg, Unified Modeling Language Version 2.0, 2004.

B. Omg, Object Constraint Language, OMG Available Specification, Version 2.0. www. omg.org/spec, 2006.

[. Omg, OMG System Modeling Language (SysML) Version 1, 2007.

[. Omg, UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems, 2009.

O. Meta, Object Facility (MOF) Core Specification, Version 2, 2011.

[. Pretschner, M. Broy, H. Ingolf, T. Kruger, and . Stauner, Software Engineering for Automotive Systems: A Roadmap, Future of Software Engineering (FOSE '07), pp.55-71, 2007.
DOI : 10.1109/FOSE.2007.22

M. [. Palencia and . Harbour, Schedulability analysis for tasks with static and dynamic offsets, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279), pp.26-37, 1998.
DOI : 10.1109/REAL.1998.739728

M. Qamhieh, F. Fauberteau, L. George, and S. Midonnet, Global EDF scheduling of directed acyclic graphs on multiprocessor systems, Proceedings of the 21st International conference on Real-Time Networks and Systems, RTNS '13, pp.289-298, 2013.
DOI : 10.1145/2516821.2516836
URL : https://hal.archives-ouvertes.fr/hal-00878667

D. Di-ruscio, R. Eramo, and A. Pierantonio, Model Transformations, International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM): Formal Methods for Model-Driven Engineering, pp.91-136, 2012.
DOI : 10.1007/s10270-006-0036-6

. Lina and . Group, Atlas Transformation Language. www.eclipse. org, 2013.

A. Rahni, E. Grolleau, M. Richard, and P. Richard, Feasibility analysis of real-time transactions. Real-Time Systems, pp.320-358, 2012.
URL : https://hal.archives-ouvertes.fr/inria-00336510

P. Richard, F. Richard, and . Cottet, Allocating and scheduling tasks in multiple fieldbus real-time systems, EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.03TH8696), pp.137-144, 2003.
DOI : 10.1109/ETFA.2003.1247699

C. Rochange and P. Sainrat, Vers une prédictibilité temporelle des processeurs haute-performance, 2004.

D. Steinberg, F. Budinsky, M. Paternostro, and E. Merks, EMF: Eclipse Modeling Framework. Pearson Education, 2008.

D. Schaadt, AFDX/ARINC 664 Concept, Design, Implementation and Beyond, 2007.

M. Stigge, P. Ekberg, N. Guan, and W. Yi, The Digraph Real-Time Task Model, 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium, pp.71-80, 2011.
DOI : 10.1109/RTAS.2011.15

[. Selic, A Systematic Approach to Domain-Specific Language Design Using UML, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07), pp.2-9, 2007.
DOI : 10.1109/ISORC.2007.10

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

[. 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

J. A. Stankovic, Misconceptions about real-time computing: a serious problem for next-generation systems, Computer, vol.21, issue.10, pp.10-19, 1988.
DOI : 10.1109/2.7053

A. L. Sangiovanni-vincentelli, L. P. Carloni, F. D. Bernardinis, and M. Sgroi, Benefits and challenges for platform-based design, Proceedings of the 41st annual conference on Design automation , DAC '04, pp.409-414, 2004.
DOI : 10.1145/996566.996684

A. L. Sangiovanni-vincentelli and M. D. Natale, Embedded System Design for Automotive Applications, Computer, vol.40, issue.10, pp.42-51, 2007.
DOI : 10.1109/MC.2007.344

J. A. Stankovic, R. Zhu, R. Poornalingam, C. Lu, Z. Yu et al., VEST: An Aspect-Based Composition Tool for Real-Time Systems, IEEE Real Time Technology and Applications Symposium (RTAS), pp.58-69, 2003.

K. Tindell and J. Clark, Holistic schedulability analysis for distributed hard real-time systems, Microprocessing and Microprogramming, vol.40, issue.2-3, pp.117-134, 1994.
DOI : 10.1016/0165-6074(94)90080-9

K. Tindell, Adding Time-Offsets To Schedulability Analysis, 1994.

[. Taramaa, M. Khurana, P. Kuvaja, and J. Lehtonen, Markku Oivo, and Veikko Seppänen. Product-Based Software Process Improvement for Embedded Systems, EUROMICRO, pp.20905-20912, 1998.

É. Noël-tchidjo-moyo, F. Nicollet, C. Lafaye, and . Moy, On Schedulability Analysis of Non-cyclic Generalized Multiframe Tasks, 2010 22nd Euromicro Conference on Real-Time Systems, 2010.
DOI : 10.1109/ECRTS.2010.24

T. Karim, Analyse et validation des applications temps réel en présence de transactions : application au pilotage d'un drone miniature, 2007.

S. Vestal, Fixed-priority sensitivity analysis for linear compute time models, IEEE Transactions on Software Engineering, vol.20, issue.4, pp.308-317, 1994.
DOI : 10.1109/32.277577

S. Vestal, Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance, 28th IEEE International Real-Time Systems Symposium (RTSS 2007), pp.239-243, 2007.
DOI : 10.1109/RTSS.2007.47

G. Volpato, The OEM-FTS relationship in automotive industry, International Journal of Automotive Technology and Management, vol.4, issue.2/3, pp.166-197, 2004.
DOI : 10.1504/IJATM.2004.005325

R. Stephen and . Walli, The POSIX family of standards, StandardView, vol.3, issue.1, pp.11-17, 1995.

[. Zhang, A. Burns, and S. Baruah, Sensitivity analysis of arbitrary deadline real-time systems with EDF scheduling. Real-Time Systems, pp.224-252, 2011.

[. Zimmermann, O. Bringmann, J. Gerlach, F. Schaefer, and U. Nageldinger, Holistic system modeling and refinement of interconnected microelectronic systems, Design Automation and Test in Europe (DATE)-MARTE, 2008.

H. Zeng, D. Marco, and . Natale, An Efficient Formulation of the Real-Time Feasibility Region for Design Optimization, IEEE Transactions on Computers, vol.62, issue.4, pp.644-661, 2013.
DOI : 10.1109/TC.2012.21

Q. Zhu, H. Zeng, W. Zheng, D. Marco, A. Natale et al., Optimization of task allocation and priority assignment in hard real-time distributed systems, ACM Transactions on Embedded Computing Systems, vol.11, issue.4, p.85, 2012.
DOI : 10.1145/2362336.2362352