M. Anand, S. Fischmeister, and I. Lee, A comparison of compositional schedulability analysis techniques for hierarchical real-time systems, ACM Transactions on Embedded Computing Systems, vol.13, issue.1, 2013.
DOI : 10.1145/2501626.2501629

S. Anssi, S. Gérard, S. Kuntz, F. Terrier, and . Au-tosar-vs, MARTE for enabling timing analysis of automotive applications, SDL 2011: Integrating System and Software Modeling -15th International SDL Forum, pp.262-275, 2011.

S. Anssi, S. T. Piergiovanni, S. Kuntz, S. Gérard, and F. Terrier, Enabling Scheduling Analysis for AUTOSAR Systems, 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, pp.28-31, 2011.
DOI : 10.1109/ISORC.2011.28

C. Arora, M. Sabetzadeh, L. C. Briand, and F. Zimmer, Requirement boilerplates: Transition from manually-enforced to automatically-verifiable natural language patterns, 2014 IEEE 4th International Workshop on Requirements Patterns (RePa), pp.1-8, 2014.
DOI : 10.1109/RePa.2014.6894837

. Autosar-consortium, 10 years Autosar, 2013.

F. Balarin, J. R. Burch, L. Lavagno, Y. Watanabe, R. Passerone et al., Constraints specification at higher levels of abstraction, Sixth IEEE International High-Level Design Validation and Test Workshop, pp.129-133, 2001.
DOI : 10.1109/HLDVT.2001.972819

F. Balarin, R. Passerone, A. Pinto, and A. L. Sangiovanni-vincentelli, A formal approach to system level design: metamodels and unified design environments, Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05., pp.155-163, 2005.
DOI : 10.1109/MEMCOD.2005.1487909

S. Sebastian, A. Bauer, R. David, K. G. Hennicker, A. Larsen et al., Moving from specifications to contracts in component-based design, Lecture Notes in Computer Science, vol.7212, pp.43-58, 2012.

A. Benveniste, A. Bouillard, and P. Caspi, A unifying view of loosely time-triggered architectures, Proceedings of the tenth ACM international conference on Embedded software, EMSOFT '10, pp.189-198, 2010.
DOI : 10.1145/1879021.1879047

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

A. Benveniste, B. Caillaud, A. Ferrari, L. Mangeruca, R. Passerone et al., Multiple Viewpoint Contract-Based Specification and Design, Proceedings of the Software Technology Concertation on Formal Methods for Components and Objects, FMCO'07, pp.200-225, 2008.
DOI : 10.1109/43.736561

L. Benvenuti, A. Ferrari, L. Mangeruca, E. Mazzi, R. Passerone et al., A contract-based formalism for the specification of heterogeneous systems, 2008 Forum on Specification, Verification and Design Languages, pp.142-147, 2008.
DOI : 10.1109/FDL.2008.4641436

G. Berry, The effectiveness of synchronous languages for the development of safety-critical systems, 2003.

G. Booch, J. Rumbaugh, and I. Jacobson, Unified Modeling Language User Guide, The

J. R. Burch, R. Passerone, and A. L. Sangiovanni-vincentelli, Overcoming heterophobia: modeling concurrency in heterogeneous systems, Proceedings Second International Conference on Application of Concurrency to System Design, pp.13-32, 2001.
DOI : 10.1109/CSD.2001.981761

G. C. Buttazzo, Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications, 2005.
DOI : 10.1007/0-387-27578-9

B. Caillaud and . Mica, A Modal Interface Compositional Analysis Library, 2011.

W. Damm, A. Votintseva, A. Metzner, B. Josko, T. Peikenkamp et al., Boosting reuse of embedded automotive applications through rich components, Proceedings of FIT 2005 -Foundations of Interface Technologies, 2005.

A. Davare, D. Densmore, L. Guo, R. Passerone, A. L. Sangiovanni-vincentelli et al., II, ACM Transactions on Embedded Computing Systems, vol.12, issue.1s, pp.1-4931, 2013.
DOI : 10.1145/2435227.2435245

D. Densmore, R. Passerone, and A. L. Sangiovanni-vincentelli, A Platform-Based Taxonomy for ESL Design, IEEE Design & Test of Computers, vol.23, issue.5, pp.359-374, 2006.
DOI : 10.1109/MDT.2006.112

A. Easwaran, I. Lee, O. Sokolsky, and S. Vestal, A Compositional Scheduling Framework for Digital Avionics Systems, 2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, pp.24-26, 2009.
DOI : 10.1109/RTCSA.2009.46

J. Eker, J. W. Janneck, E. A. Lee, J. Liu, X. Liu et al., Taming heterogeneity - the Ptolemy approach, Proc. of the IEEE, pp.127-144, 2003.
DOI : 10.1109/JPROC.2002.805829

L. Fang, T. Kitamura, T. B. , N. Do, and H. Ohsaki, Formal Model-Based Test for AUTOSAR Multicore RTOS, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, pp.251-259, 2012.
DOI : 10.1109/ICST.2012.105

N. Feiertag, K. Richter, J. Nordlander, and H. Jonsson, A compositional framework for end-to-end path delay calculation of automotive systems under different path semantics, IEEE Real-Time System Symposium (RTSS), Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, 2008.

P. Fritzson, Principles of Object-Oriented Modeling and Simulation with Modelica 2.1, 2003.
DOI : 10.1109/9780470545669

T. Gezgin, R. Weber, and M. Girod, A Refinement Checking Technique for Contract-Based Architecture Designs, Fourth International Workshop on Model Based Architecting and Construction of Embedded Systems, ACES-MB'11, 2011.

H. Heinecke, W. Damm, B. Josko, A. Metzner, H. Kopetz et al., Software Components for Reliable Automotive Systems, Design, Automation and Test in Europe, pp.8-549, 2008.

Y. Huang, J. F. Ferreira, G. He, S. Qin, and J. He, Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts, Formal Methods and Software Engineering -15th International Conference on Formal Engineering Methods, ICFEM 2013 Proceedings, pp.165-181, 2013.
DOI : 10.1007/978-3-642-41202-8_12

S. Karris, Introduction to Simulink with Engineering Applications, 2006.

G. Karsai, J. Sztipanovits, A. Ledeczi, and T. Bapty, Model-integrated development of embedded software, Proceedings of the IEEE, pp.145-164, 2003.
DOI : 10.1109/JPROC.2002.805824

K. Lampka, S. Perathoner, and L. Thiele, Component-based system design: analytic real-time interfaces for state-based component implementations, International Journal on Software Tools for Technology Transfer, vol.14, issue.3, pp.155-170, 2013.
DOI : 10.1007/s10009-012-0257-7

J. W. Liu, Real-Time Systems, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00544464

M. Lukasiewycz, R. Schneider, D. Goswami, and S. Chakraborty, Modular scheduling of distributed heterogeneous time-triggered automotive systems, 17th Asia and South Pacific Design Automation Conference, pp.665-670, 2012.
DOI : 10.1109/ASPDAC.2012.6165039

S. Priya, M. , and S. Chakraborty, A framework for compositional and hierarchical real-time scheduling, 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications, pp.91-96, 2006.

M. Object and . Group, A UML profile for MARTE, beta 1. OMG Adopted Specification ptc, 2007.

J. Hudak, P. Feiler, and D. Gluch, The Architecture Analysis and Design Language (AADL): An Introduction. Software Engineering Institute (SEI) Technical Note, 2006.

R. Passerone, I. B. Hafaiedh, S. Graf, A. Benveniste, D. Cancila et al., Metamodels in Europe: Languages, Tools, and Applications, Metamodels in Europe: Languages , tools, and applications, pp.38-53, 2009.
DOI : 10.1109/MDT.2009.64

M. Peraldi-frati, A. Goknil, M. Adedjouma, and P. Y. Gueguen, Modeling a BSG-E Automotive System with the Timing Augmented Description Language, Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies -5th International Symposium Proceedings, Part II, pp.111-125, 2012.
DOI : 10.1007/978-3-642-34032-1_14

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

T. X. Linh, J. Phan, A. Lee, V. Easwaran, S. Ramaswamy et al., CARTS: a tool for compositional analysis of real-time systems, SIGBED Review, vol.8, issue.1, pp.62-63, 2011.

A. Pinto, A. Bonivento, A. L. Sangiovanni-vincentelli, R. Passerone, and M. Sgroi, System level design paradigms, ACM Transactions on Design Automation of Electronic Systems, vol.11, issue.3, pp.537-563, 2006.
DOI : 10.1145/1142980.1142982

P. Reinkemeier and I. Stierand, Compositional timing analysis of realtime systems based on resource segregation abstraction, Embedded Systems: Design, Analysis and Verification -4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013 Proceedings, volume 403 of IFIP Advances in Information and Communication Technology, pp.181-192, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01466672

P. Reinkemeier and I. Stierand, Real-Time Contracts -A Contract Theory Considering Resource Supplies and Demands. Reports of SFB, 2014.

L. Sha, T. Abdelzaher, K. Årzén, A. Cervin, T. Baker et al., Real Time Scheduling Theory: A Historical Perspective, Real-Time Systems, vol.28, issue.2/3, pp.101-155, 2004.
DOI : 10.1023/B:TIME.0000045315.61234.1e

I. Shin and I. Lee, Compositional real-time scheduling framework, Proceedings of the 25th IEEE Real-Time Systems Symposium, pp.5-8, 2004.

I. Stierand, P. Reinkemeier, and P. Bhaduri, Virtual Integration of Real-Time Systems Based on Resource Segregation Abstraction, Formal Modeling and Analysis of Timed Systems -12th International Conference Proceedings, pp.206-221, 2014.
DOI : 10.1007/978-3-319-10512-3_15

I. Stierand, P. Reinkemeier, T. Gezgin, and P. Bhaduri, Realtime scheduling interfaces and contracts for the design of distributed embedded systems, 8th IEEE International Symposium on Industrial Embedded Systems, SIES 2013, pp.130-139, 2013.

N. Stoimenov, S. Chakraborty, and L. Thiele, Interface-based design of real-time systems In Advances in Real-Time Systems (to Georg Färber on the occasion of his appointment as Professor Emeritus at TU München after leading the Lehrstuhl für Realzeit-Computersysteme for 34 illustrious years), pp.83-101, 2012.

L. Thiele, E. Wandeler, and N. Stoimenov, Real-time interfaces for composing real-time systems, Proceedings of the 6th ACM & IEEE International conference on Embedded software , EMSOFT '06, pp.34-43, 2006.
DOI : 10.1145/1176887.1176894

E. Wandeler and L. Thiele, Interface-Based Design of Real-Time Systems with Hierarchical Scheduling, 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06), pp.243-252, 2006.
DOI : 10.1109/RTAS.2006.23