B. I. Anssi, S. Tucci-pergiovanni, C. Mraidha, A. Albinet, F. Terrier et al., Completing EAST-ADL2 with MARTE for enabling scheduling analysis for automotive applications, Proceedings of the 6th European Congress Embedded Real Time Software, 2010.

T. Arpinen, E. Salminen, T. D. Hämäläinen, and M. Hännikäinen, MARTE profile extension for modeling dynamic power management of embedded systems, Journal of Systems Architecture, vol.58, issue.5, pp.209-219, 2012.
DOI : 10.1016/j.sysarc.2011.01.003

N. Audsley, A. Burns, R. Davis, K. Tindell, and A. Wellings, Real-Time System Scheduling, Predictably Dependable Computing Systems, pp.41-52, 1995.
DOI : 10.1007/978-3-642-79789-7_3

N. Audsley, A. Burns, M. Richardson, K. Tindell, and A. Wellings, Applying new scheduling theory to static priority pre-emptive scheduling, Software Engineering Journal, vol.8, issue.5, pp.284-292, 1993.
DOI : 10.1049/sej.1993.0034

N. Audsley, K. Tindell, and A. Burns, The End Of The Line For Static Cyclic Scheduling?, Fifth Euromicro Workshop on Real-Time Systems, 1993.
DOI : 10.1109/EMWRT.1993.639042

H. Aydin, R. Melhem, D. Mosse, and P. Mejia-alvarez, Dynamic and aggressive scheduling techniques for power-aware real-time systems, Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420), 2001.
DOI : 10.1109/REAL.2001.990600

T. Baker, Multiprocessor EDF and deadline monotonic schedulability analysis, Proceedings. 2003 International Symposium on System-on-Chip (IEEE Cat. No.03EX748), 2003.
DOI : 10.1109/REAL.2003.1253260

A. Barbalace, A. Luchetta, G. Manduchi, M. Moro, A. Soppelsa et al., Performance comparison of VxWorks, linux, RTAI and xenomai in a hard real-time application, Proceedings of the 15th IEEE-NPSS Real-Time Conference, 2007.

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

S. Baruah, Dynamic-and static-priority scheduling of recurring real-time tasks. Real-Time Systems, pp.93-128, 2003.

S. Baruah and E. Bini, Partitioned scheduling of sporadic task systems: an ILP-based approach, Proceedings of the 2008 Conference on Design and Architectures for Signal and Image Processing, 2008.

S. Baruah, V. Bonifaci, A. Marchetti-spaccamela, L. Stougie, and A. Wiese, A Generalized Parallel Task Model for Recurrent Real-time Processes, 2012 IEEE 33rd Real-Time Systems Symposium, 2012.
DOI : 10.1109/RTSS.2012.59

S. Baruah, A. Burns, and R. Davis, Response-Time Analysis for Mixed Criticality Systems, 2011 IEEE 32nd Real-Time Systems Symposium, 2011.
DOI : 10.1109/RTSS.2011.12

S. Baruah, D. Chen, S. Gorinsky, and A. Mok, Generalized multiframe tasks. Real-Time Systems, pp.5-22, 0195.

S. Baruah and J. Goossens, Scheduling real-time tasks: algorithms and complexity. In Handbook of Scheduling: Algorithms, Models, and Performance Analysis, 2004.

S. Baruah, A. Mok, and L. Rosier, Preemptively scheduling hard-real-time sporadic tasks on one processor, [1990] Proceedings 11th Real-Time Systems Symposium, 1990.
DOI : 10.1109/REAL.1990.128746

S. Baruah, L. Rosier, and R. Howell, Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor. Real-Time Systems, pp.301-324, 1990.

G. Behrmann, A. David, and K. G. Larsen, A Tutorial on Uppaal, Proceedings of the 2004 International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 2004.
DOI : 10.1007/978-3-540-30080-9_7

J. Bengtsson and Y. Wang, Timed automata: Semantics, algorithms and tools. Lecture Notes on Concurrency and Petri Nets, pp.87-124, 2004.
DOI : 10.1007/978-3-540-27755-2_3

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

B. Berthomieu, J. P. Bodeveix, S. D. Zilio, P. Dissaux, M. Filali et al., Formal verification of aadl models with fiacre and tina, Proceedings of the 5th International Congress and Exhibition on Embedded Real-Time Software and Systems, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00494348

E. Bini and G. Buttazzo, Schedulability analysis of periodic fixed priority systems, IEEE Transactions on Computers, vol.53, issue.11, pp.1462-1473, 2004.
DOI : 10.1109/TC.2004.103

B. Blanchard and W. Fabrycky, Systems engineering and analysis, 1990.

R. Boissier, E. Gressier-soudan, A. Laurent, and L. Seinturier, Enhancing numerical controllers, using MMS concepts and a CORBA-based software bus, International Journal of Computer Integrated Manufacturing, vol.14, issue.6, pp.260-269, 2001.
DOI : 10.1080/09511920110040539

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

V. Bonifaci, A. Marchetti-spaccamela, S. Stiller, and A. Wiese, Feasibility Analysis in the Sporadic DAG Task Model, 2013 25th Euromicro Conference on Real-Time Systems, 2013.
DOI : 10.1109/ECRTS.2013.32

E. Borde, G. Haïk, and L. Pautet, Model-based reconfiguration of critical software component architectures, Proceedings of the 2009 Design, Automation & Test in Europe Conference, 2009.

M. Bourdellès, S. Li, I. Quadri, E. Brosse, E. Gaudin et al., Fostering Analysis from Industrial Embedded Systems Modeling, Industry and Research Perspectives on Embedded System Design. IGI Global, 2014.
DOI : 10.4018/978-1-4666-6194-3.ch011

M. Bourdellès and S. Li, PRESTO project, automatic code instrumentation from (modelio based) models to process performance analysis at the software integration phase, 2013.

A. Burns and A. Wellings, Real-time systems and programming languages: Ada 95, real-time Java, and real-time POSIX, 2001.

G. Buttazzo, Rate Monotonic vs. EDF: Judgment Day, Real-Time Systems, vol.29, issue.1, pp.5-26, 2005.
DOI : 10.1023/B:TIME.0000048932.30002.d9

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

T. Chan, Time-Division Multiple Access, Handbook of Computer Networks, pp.769-778
DOI : 10.1002/9781118256114.ch49

M. Chen and K. Lin, Dynamic priority ceilings: A concurrency control protocol for real-time systems, Real-Time Systems, vol.11, issue.4, pp.325-346, 1990.
DOI : 10.1007/BF01995676

A. M. Cheng, Real-time systems: scheduling, analysis, and verification, 2003.
DOI : 10.1002/0471224626

M. Chéramy, P. Hladik, and A. D-'eplanche, SimSo: A simulation tool to evaluate realtime multiprocessor scheduling algorithms, Proceedings of the 5th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems, 2014.

H. Chetto, M. Silly, and T. Bouchentouf, Dynamic scheduling of real-time tasks under precedence constraints. Real-Time Systems, pp.181-194, 1990.

H. Cho, B. Ravindran, and E. Jensen, An optimal real-time scheduling algorithm for multiprocessors, Proceedings of the 27th IEEE International Real-Time Systems Symposium, 2006.

A. Choquet-geniet and E. Grolleau, Minimal schedulability interval for real-time systems of periodic tasks with offsets, Theoretical Computer Science, vol.310, issue.1-3, pp.117-134, 2004.
DOI : 10.1016/S0304-3975(03)00362-1

D. Clarke, I. Lee, and H. L. Xie, VERSA: a tool for the specification and analysis of resourcebound real-time systems, 1993.

M. Coutinho, J. Rufino, and C. Almeida, Response Time Analysis of Asynchronous Periodic and Sporadic Tasks Sheduled by a Fixed Priority Preemptive Algorithm, 2008 Euromicro Conference on Real-Time Systems, 2008.
DOI : 10.1109/ECRTS.2008.30

J. Davidson, On the architecture of secure software defined radios, MILCOM 2008, 2008 IEEE Military Communications Conference, 2008.
DOI : 10.1109/MILCOM.2008.4753440

R. Davis and A. Burns, A survey of hard real-time scheduling for multiprocessor systems, ACM Computing Surveys, vol.43, issue.4, p.35, 2011.
DOI : 10.1145/1978802.1978814

V. Debruyne, F. Simonot-lion, and Y. Trinquet, EAST-ADL ??? An Architecture Description Language, Architecture Description Languages, pp.181-195, 2005.
DOI : 10.1007/0-387-24590-1_12

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

S. Demathieu, F. Thomas, C. André, S. Gérard, and F. Terrier, First Experiments Using the UML Profile for MARTE, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), 2008.
DOI : 10.1109/ISORC.2008.36

M. Dertouzos and A. Mok, Multiprocessor online scheduling of hard-real-time tasks, IEEE Transactions on Software Engineering, vol.15, issue.12, pp.1497-1506, 0989.
DOI : 10.1109/32.58762

U. Díaz-de-cerio, J. P. Uribe, M. G. Harbour, and J. Palencia, Adding Precedence Relations to the Response-Time Analysis of EDF Distributed Real-Time Systems, Proceedings of the 22nd International Conference on Real-Time Networks and Systems, RTNS '14, 2014.
DOI : 10.1145/2659787.2659802

P. Dissaux, O. Marc, S. Rubini, C. Fotsing, V. Gaudel et al., The SMART project: Multi-agent scheduling simulation of real-time architectures, Proceedings of the 7th European Congress on Embedded Real Time Software and Systems, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00983724

P. Dissaux and F. Singhoff, Stood and cheddar : AADL as a pivot language for analysing performances of real time architectures, Proceedings of the 4th European Congress on Embedded Real Time Software and System, 2008.

P. Ekberg, N. Guan, M. Stigge, W. Yi, E. Enoiu et al., An optimal resource sharing protocol for generalized multiframe tasks ViTAL : A verification tool for EAST-ADL models using UPPAAL PORT, Nordic Workshop on Programming Theory Proceedings of the 17th International Conference on Engineering of Complex Computer Systems, 2011.

P. H. Feiler, D. P. Gluch, and J. J. Hudak, The architecture analysis & design language (AADL): an introduction, 2006.

J. Forget, F. Boniol, E. Grolleau, D. Lesens, and C. Pagetti, Scheduling Dependent Periodic Tasks without Synchronization Mechanisms, 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010.
DOI : 10.1109/RTAS.2010.26

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

M. Forget, E. Grolleau, C. Pagetti, and P. Richard, Dynamic priority scheduling of periodic tasks with extended precedences, ETFA2011, 2011.
DOI : 10.1109/ETFA.2011.6059015

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

J. Garcia, J. Gutierrez, and M. Harbour, Schedulability analysis of distributed hard real-time systems with multiple-event synchronization, Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000, 2000.
DOI : 10.1109/EMRTS.2000.853988

G. Gardey, D. Lime, M. Magnin, and O. Roux, Romeo: A Tool for Analyzing Time Petri Nets, Proceedings of the 17th International Conference on Computer Aided Verification, 2005.
DOI : 10.1007/11513988_41

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

D. Garlan, R. Monroe, and D. Wile, Acme, CASCON First Decade High Impact Papers on, CASCON '10, 2010.
DOI : 10.1145/1925805.1925814

S. Giordano, Mobile Ad Hoc Networks, Wiley Series on Parallel and Distributed Computing, pp.325-346, 2002.
DOI : 10.1002/0471224561.ch15

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

J. Goossens and R. Devilliers, The non-optimality of the monotonic priority assignments for hard real-time offset free systems, Real-Time Systems, vol.13, issue.2, pp.107-126, 1997.
DOI : 10.1023/A:1007980022314

M. Harbour, J. Gutierrez, J. Drake, P. Martinez, and J. Palencia, Modeling distributed real-time systems with MAST 2, Journal of Systems Architecture, vol.59, issue.6, pp.331-340, 2013.
DOI : 10.1016/j.sysarc.2012.02.001

R. Henia and R. Ernst, Improved offset-analysis using multiple timing-references, Proceedings of the Design Automation & Test in Europe Conference, 2006.
DOI : 10.1109/DATE.2006.243802

R. Henia, A. Hamann, M. Jersak, R. Racu, K. Richter et al., System level performance analysis -the SymTA/s approach, IEE Proceedings -Computers and Digital Techniques, p.148, 2005.

R. Henia, L. Rioux, and V. Thomas, Industrial adaptation of MARTE for early scheduling analysis of component-based applications, Proceedings of the Fourth International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages, NFPinDSML '12, 2012.
DOI : 10.1145/2420942.2420949

T. S. Inc, Tri-pacific software inc, 2014.

M. Z. Iqbal, S. Ali, T. Yue, and L. Briand, Applying UML/MARTE on industrial projects: challenges, experiences, and guidelines. Software & Systems Modeling, pp.1-19, 2014.

I. Ieee, Systems and software engineering -architecture description, International Organization for Standardization, 2001.

M. Joseph and P. 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

R. Kaiser and S. Wagner, Evolution of the pikeos microkernel, Proceedings of the 1st International Workshop on Microkernels for Embedded Systems, 2007.

J. Kany and S. Madsen, Design optimisation of fault-tolerant event-triggered embedded systems, 2007.

S. Kelly and J. Tolvanen, Domain-Specific Modeling, 2008.
DOI : 10.1002/9780470249260

S. Klaus, Finding a minimal transitive reduction in a strongly conncected digraph within linear time, Proceedings of the 15th International Workshop on Graph-Theoretic Concepts in Computer Science, 1990.

K. Klobedanz, C. Kuznik, A. Thuy, and W. Mueller, Timing modeling and analysis for AUTOSAR-based software development - a case study, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), 2010.
DOI : 10.1109/DATE.2010.5457125

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

H. Kopetz, The time-triggered model of computation, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279), 1998.
DOI : 10.1109/REAL.1998.739743

H. Kopetz, A. Damm, C. Koza, M. Mulazzani, W. Schwabl et al., Distributed fault-tolerant real-time systems: the Mars approach, IEEE Micro, vol.9, issue.1, pp.25-40, 1989.
DOI : 10.1109/40.16792

D. Kum, G. Park, S. Lee, and W. Jung, AUTOSAR migration from existing automotive software, Proceedings of the 2008 Internationl Conference on Control, Automation and Systems, 2008.

I. Lee, J. Y. Leung, and S. H. Son, Handbook of real-time and embedded systems, 2007.

J. Lehoczky, Fixed priority scheduling of periodic task sets with arbitrary deadlines, [1990] Proceedings 11th Real-Time Systems Symposium, pp.201-209, 1990.
DOI : 10.1109/REAL.1990.128748

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

S. Li, PRESTO: Results from execution trace analysis, Joint Proceedings of Co-located Events at the 8th European Conference on Modelling Foundations and Applications, 2012.

S. Li, M. Bourdellès, A. Acebedo, J. Botella, and F. Peureux, Experiment on using model-based testing for automatic tests generation on a software radio protocol, Proceedings of the 9th International Workshop on Systems Testing and Validation, pp.79-84, 2012.

S. Li and F. Broekaert, Low-power scheduling with DVFS for common RTOS on multicore platforms, Proceedings of the 3rd Workshop on Embedded Operating Systems, 2013.
DOI : 10.1145/2597457.2597461

S. Li, S. Rubini, F. Singhoff, M. Bourdellès, S. Li et al., Applying holistic schedulability tests to industrial systems: Experience and lessons learned A task model for TDMA communications, Proceedings of the 5th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems Work in Progress, 2014.

S. Li, F. Singhoff, S. Rubini, and M. Bourdellès, Applicability of real-time schedulability analysis on a software radio protocol, Proceedings of the 2012 ACM conference on High integrity language technology, HILT '12, pp.81-94
DOI : 10.1145/2402676.2402703

S. Li, F. Singhoff, S. Rubini, and M. Bourdellès, Extending schedulability tests of tree-shaped transactions for TDMA radio protocols, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA), 2014.
DOI : 10.1109/ETFA.2014.7005122

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

S. Li, F. Singhoff, S. Rubini, and M. Bourdellès, Scheduling Analysis of TDMA-Constrained Tasks: Illustration with Software Radio Protocols, 2014 IEEE Intl Conf on High Performance Computing and Communications, 2014 IEEE 6th Intl Symp on Cyberspace Safety and Security, 2014 IEEE 11th Intl Conf on Embedded Software and Syst (HPCC,CSS,ICESS), 2014.
DOI : 10.1109/HPCC.2014.90

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

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

J. Lopez, L. Diaz, and D. Garcia, Utilization Bounds for EDF Scheduling on Real-Time Multiprocessor Systems, Real-Time Systems, vol.28, issue.1, pp.39-68, 2004.
DOI : 10.1023/B:TIME.0000033378.56741.14

Y. Ma, H. Yu, T. Gautier, P. L. Guernic, J. Talpin et al., Toward Polychronous Analysis and Validation for Timed Software Architectures in AADL, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013, 2013.
DOI : 10.7873/DATE.2013.244

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

E. Maes and N. Vienne, MARTE to cheddar transformation using ATL, Thales Research & Technologies, 2007.

J. Mäki-turja and M. Nolin, Faster response time analysis of tasks with offsets, Procedings of the 10th IEEE Real-Time Technology and Applications Symposium, 2004.

J. Mäki-turja and M. Nolin, Tighter response time analysis of tasks with offsets, Proceedings of the 10th International Conference on Real-Time Computing and Applications, 2004.

J. Mäki-turja and M. Nolin, Fast and tight response-times for tasks with ofsets, Proceedings of the 17th Euromicro Conference on Real-Time Systems, 2005.

J. Mäki-turja and M. Nolin, Efficient implementation of tight response-times for tasks with offsets. Real-Time Systems, pp.77-116, 2008.

J. Maki-turja and M. Sjodin, Response-time analysis for transactions with execution-time dependencies, Proceedings of the 19th International Conference on Real-Time Networks and Systems, 2011.

N. Malcolm and W. Zhao, The timed-token protocol for real-time communications, Computer, vol.27, issue.1, pp.35-41, 1994.
DOI : 10.1109/2.248878

S. O. Marinescu, D. Tamas-selicean, V. Acretoaie, and P. Pop, Timing analysis of mixedcriticality hard real-time applications implemented on distributed partitioned architectures, Proceedings of the 17th International Conference on Emerging Technologies & Factory Automation, 2012.

J. Medina and L. G. Cuesta, From composable design models to schedulability analysis with UML and the UML profile for MARTE, Proceedings of the 3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, 2010.
DOI : 10.1145/1967021.1967030

N. Medvidovic and R. Taylor, A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, vol.26, issue.1, pp.70-93, 2000.
DOI : 10.1109/32.825767

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

T. Mens and P. Van-gorp, A Taxonomy of Model Transformation, Electronic Notes in Theoretical Computer Science, vol.152, pp.125-142, 2006.
DOI : 10.1016/j.entcs.2005.10.021

J. Mitola, The software radio architecture, IEEE Communications Magazine, vol.33, issue.5, pp.26-38, 1995.
DOI : 10.1109/35.393001

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

S. Mubeen, J. Mäki-turja, and M. Sjödin, Implementation of holistic response-time analysis in rubus-ICE: preliminary findings, issues and experiences, Proc. 32nd IEEE Real-Time Syst. Symp., WIP Session, 2011.

D. Oh and T. Baker, Utilization bounds for n-processor rate monotone scheduling with static priority assignment. Real-Time Systems, pp.183-192, 1998.

O. Uml, Specification 2.4.1, OMG, 2011.

E. Oracle, Papyrus website

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

J. Palencia and M. Harbour, Exploiting precedence relations in the schedulability analysis of distributed real-time systems, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054), pp.328-339, 1999.
DOI : 10.1109/REAL.1999.818860

J. Palencia and M. Harbour, Offset-based response time analysis of distributed systems scheduled under EDF, 15th Euromicro Conference on Real-Time Systems, 2003. Proceedings., 2003.
DOI : 10.1109/EMRTS.2003.1212721

R. Pellizzoni and G. Lipari, A new sufficient feasibility test for asynchronous real-time periodic task sets, Proceedings of the 16th Euromicro Conference on Real-Time Systems, 2004.

R. Pellizzoni and G. Lipari, Feasibility analysis of real-time periodic tasks with offsets. Real- Time Systems, pp.105-128, 2005.

J. Peterson, Petri Net Theory and the Modeling of Systems, 1981.

A. Plantec and F. Singhoff, Refactoring of an ada 95 library with a meta CASE tool, ACM SIGAda Ada Letters, vol.26, issue.3, pp.61-70, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00502354

I. Quadri and S. Li, PRESTO: Improvements of industrial real-time embedded systems design and development, OMG Workshop on Real-Time, Embedded and Entreprise-Scale Time-Critical Systems, 2012.

I. R. Quadri, A. Sadovykh, and L. S. Indrusiak, MADES: A SysML/MARTE high level methodology for real-time and embedded systems, Proceedings of the 10th Embedded Realtime Software and Systems Conference, 2012.

T. Qureshi, D. J. Chen, M. Persson, and T. Martin, On Integrating EAST-ADL and UPPAAL for Embedded System Architecture Verification, Embedded Systems Development, vol.20, pp.85-99, 2014.
DOI : 10.1007/978-1-4614-3879-3_5

A. Rahni, Contributions à la validation d'ordonnancement temps réel en présence de transactions sous priorités fixes et EDF [117] R. Rajkumar. Real-time synchronization protocols for shared memory multiprocessors, Proceedings of the 10th International Conference on Distributed Computing Systems, 1990.

X. Renault, F. Kordon, and J. Hugues, Adapting Models to Model Checkers, A Case Study : Analysing AADL Using Time or Colored Petri Nets, 2009 IEEE/IFIP International Symposium on Rapid System Prototyping, 2009.
DOI : 10.1109/RSP.2009.30

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

J. Rufino, P. Verissimo, G. Arroz, C. Almeida, and L. Rodrigues, Fault-tolerant broadcasts in CAN, Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing (Cat. No.98CB36224), 1998.
DOI : 10.1109/FTCS.1998.689464

J. Rumbaugh, I. Jacobson, and G. Brooch, Unified Modeling Language Reference Manual, 2004.

D. Schmidt, Guest Editor's Introduction: Model-Driven Engineering, Computer, vol.39, issue.2, pp.25-31, 2006.
DOI : 10.1109/MC.2006.58

D. C. Schmidt, Evaluating architectures for multithreaded object request brokers, Communications of the ACM, vol.41, issue.10, pp.54-60, 1998.
DOI : 10.1145/286238.286248

S. Sendall and W. Kozaczynski, Model transformation: the heart and soul of model-driven software development, IEEE Software, vol.20, issue.5, pp.42-45, 2003.
DOI : 10.1109/MS.2003.1231150

L. Sha, T. Abdelzaher, K. Arzen, A. Cervin, T. Baker et al., Real time scheduling theory: A historical perspective. Real-Time Systems, pp.101-155, 2004.

L. Sha, R. Rajkumar, and J. 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

F. Singhoff and A. Plantec, Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar, Proceedings of the 12th International Conference on Reliable Software Technologies, 2007.
DOI : 10.1007/978-3-540-73230-3_14

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

F. Singhoff, A. Plantec, P. Dissaux, and J. Legrand, Investigating the usability of real-time scheduling theory with the cheddar project. Real-Time Systems, pp.259-295, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00502357

. Softeam, Modelio website

I. Software, Rational Software Architect website

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

B. Sprunt, L. Sha, and J. Lehoczky, Aperiodic task scheduling for Hard-Real-Time systems, Real-time Systems, vol.20, issue.1, pp.27-60, 1989.
DOI : 10.1007/BF02341920

M. Spuri, Analysis of deadline scheduled real-time systems, INRIA Rocquencourt, 1996.
URL : https://hal.archives-ouvertes.fr/inria-00073920

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

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, 2011.
DOI : 10.1109/RTAS.2011.15

J. Strosnider, J. Lehoczky, and L. Sha, The deferrable server algorithm for enhanced aperiodic responsiveness in hard real-time environments, IEEE Transactions on Computers, vol.44, issue.1, pp.73-91, 1995.
DOI : 10.1109/12.368008

H. Takada and K. Sakamura, Schedulability of generalized multiframe task sets under static priority assignment, Proceedings Fourth International Workshop on Real-Time Computing Systems and Applications, pp.80-86, 1997.
DOI : 10.1109/RTCSA.1997.629177

A. Tanenbaum, Modern Operating Systems, 2007.

N. T. Moyo, E. Nicollet, F. Lafaye, and C. Moy, On schedulability analysis of non-cyclic generalized multiframe tasks, Proceedings of the 2010 22nd Euromicro Conference on Real-Time Systems, pp.271-278, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00552101

K. Tindell, A. Burns, and A. Wellings, Calculating controller area network (can) message response times, Control Engineering Practice, vol.3, issue.8, pp.1163-1169, 1995.
DOI : 10.1016/0967-0661(95)00112-8

K. Tindell and J. Clark, Holistic schedulability analysis for distributed hard real-time systems. Microprocessing and Microprogramming, pp.117-134, 1994.

J. Tolvanen and S. Kelly, MetaEdit+, Proceeding of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications, OOPSLA '09, 2009.
DOI : 10.1145/1639950.1640031

R. Urunuela, A. Déplanche, and Y. Trinquet, STORM a simulation tool for real-time multiprocessor scheduling evaluation, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010), pp.1-8, 2010.
DOI : 10.1109/ETFA.2010.5641179

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

S. Vinoski, CORBA: integrating diverse applications within distributed heterogeneous environments, IEEE Communications Magazine, vol.35, issue.2, pp.46-55, 1997.
DOI : 10.1109/35.565655

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

E. Wandeler and L. Thiele, Optimal TDMA time slot and cycle length allocation for hard real-time systems, Proceedings of the 11th Asia and South Pacific Design Automation Conference, 2006.

N. Wang, D. C. Schmidt, and C. O-'ryan, An overview of the CORBA component model, Comopnent-Based Software Engineering: Putting the Pieces Together, 2001.

R. Wilhelm, T. Mitra, F. Mueller, I. Puaut, P. Puschner et al., The worst-case execution-time problem???overview of methods and survey of tools, ACM Transactions on Embedded Computing Systems, vol.7, issue.3, pp.1-53, 2008.
DOI : 10.1145/1347375.1347389

J. Xu and D. Parnas, On satisfying timing constraints in hard-real-time systems, IEEE Transactions on Software Engineering, vol.19, issue.1, pp.70-84, 1993.
DOI : 10.1109/32.210308

O. Yassine, Model-based Framework for Using Advanced Scheduling Theory in Real-Time Systems Design Ecole Nationale Sup'erieure de M'ecanique et d'A'erotechnique, 2013.

H. Zimmermann, OSI Reference Model--The ISO Model of Architecture for Open Systems Interconnection, IEEE Transactions on Communications, vol.28, issue.4, pp.425-432, 1980.
DOI : 10.1109/TCOM.1980.1094702