\begin{thebibliography}{1}

\bibitem{Dedal10}
Z. H. Yulin and C. Urtado and S. Vauttier. Dedal: Un ADL \`{a} trois dimensions pour g\'{e}rer l'\'{e}volution des architectures \`{a} base de composants. 4eme Conf\'{e}rence francophone sur les architectures logicielles, Pau, France. CAL 2010.

\bibitem{smith1982cache}
A. J. Smith. Cache Memories. Computing Surveys, Vol. 14, No. 3, September 1982. ACM Press.

\bibitem{sebek2001state}
Sebek, Filip. "The state of the art in cache memories and real-time systems." (2001).

\bibitem{mellor2001improving}
Mellor-Crummey, John, David Whalley, and Ken Kennedy. "Improving memory hierarchy performance for irregular applications using data and computation reorderings." International Journal of Parallel Programming 29.3 (2001): 217-247.

\bibitem{zahran2007cache}
Zahran, Mohamed. "Cache replacement policy revisited." Proceedings of the 6th Workshop on Duplicating, Deconstructing, and Debunking. 2007.

\bibitem{jaleel2010high}
Jaleel, Aamer, et al. "High performance cache replacement using re-reference interval prediction (RRIP)." ACM SIGARCH Computer Architecture News. Vol. 38. No. 3. ACM, 2010.

\bibitem{baskett19984d}
F. Baslett, T. Jermoluk, and D. Solomon, “The 4D-MP Graphics Superworkstataion: Computing+Graphics= 40MIPS+40MFLOPS and 100,000 Lighted Polygons per Second,” Proc. 33rd IEEE Computer Society Int’l Conference – COMPCON`88, pp 468-471, February 1988.

\bibitem{papamarcos1984low}
Papamarcos, Mark S., and Janak H. Patel. "A low-overhead coherence solution for multiprocessors with private cache memories." ACM SIGARCH Computer Architecture News. Vol. 12. No. 3. ACM, 1984.

\bibitem{Singhoff04}
F. Singhoff and J. Legrand and L. Nana and L. Marc\'{e}. Cheddar: a flexible Real-Time Scheduling Framework. ACM SIGAda Ada Letters. ACM Press, New York, USA. 24 (4). pp 1--8. Dec 2004.

\bibitem{Liu73}
C. L. Liu and J. W. Layland. Scheduling algorithms for multiprogramming in a hard real-time environment. Journal of the ACM. 20 (1). pp 46--61. Jan 1973.

\bibitem{Buttazo97}
G. C. Buttazo. Hard real-time computing systems: predictable scheduling algorithms and applications. Kluwer academics. 1997.

\bibitem{Singhoff13}
F. Singhoff, A. Plantec, S. Rubini, V. Gaudel, S. Li, C. Fotsing, P. Dissaux, J. Legrand, L. Lemarchand. How architecture description languages help (or not) schedulability analysis : the example of Cheddar. Preprint submitted to Science of Computer Programming. SCP13. 2013.

\bibitem{Li12}
S. Li and F. Singhoff and 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. New York, USA, pp. 81–94. December 2012.

\bibitem{Srilatha12}
C. Srilatha and C. V. Guru Rao and G. Prabhu. Effective Cache Configuration for High Performance Embedded Systems. American Journal of Computer Architecture, 1(1). pp. 1--5. DOI: 10.5923/j.ajca.20120101.01. 2012.

\bibitem{Rouse07}
http://searchdatacenter.techtarget.com/definition/multi-core-processor.

\bibitem{Kurma06}
R. Kumar and D. Tullsen and N. Jouppi. Core Architecture Optimization for Heterogeneous Chip Multiprocessors. PACT'06. September 16, 20. Seattle, Washington, USA. ACM 1-59593-264-X/06/0009. 2006.

\bibitem{Mall06}
R. Mall. Real-Time Systems: Theory and Practice. Pearson Education India. September 14, 2006. ISBN-10: 8131700690.

\bibitem{Singhoff07}
F. Singhoff. Real time scheduling theory and its use with Ada. ACM SIGAda’07 tutorial, Washington DC, USA.

\bibitem{Buttazo03}
G. Buttazzo. Rate monotonic vs. EDF: Judgment day. In Proc. 3rd ACM International Conference on Embedded Software, Philadephia, USA
, October 2003.

\bibitem{Zalewski95}
J. Zalewski. What Every Engineer Needs To Know About Rate-Monotonic: A Tutorial. Real-Time Magazine. 1995. Edited by Zalewski, IEEE Computer Society Press. Vol 1.

\bibitem{Bounded1}
C.Chou and I. Cidon and I. S. Gopal and S. Zaks. Synchronizing Asynchronous Bounded Delay Networks. IEEE TRANSACTIONS ON COMMUNICATIONS, VOL.38, NO. 2, FEBRUARY 1990.

\bibitem{Emmi11}
M. Emmi and S. Qadeer and Z. rakamari\'{e}. Delay-Bounded Scheduling. PoPL’11, January 26–28, 2011, Austin, Texas, USA. ACM 978-1-4503-0490-0/11/01.

\bibitem{Blake09}
G. Blake and R. G. Dreslinski and T. Mudge. A Survey of Multicore Processors (A review of their common attributes). IEEE SIGNAL PROCESSING MAGAZINE. 1053-5888/09/26.002009.IEEE. November 2009.

\bibitem{Kartre09}
M. Katre and H. Ramaprasad and A. Sarkar and F. Mueller. Policies for Migration of Real-Time Tasks in Embedded Multi-Core Systems. RTSS09, WIP. 2009.

\bibitem{Fisher07}
N. W. Fisher. The Multiprocessor Real-Time Scheduling of General Task Systems. Phd Thesis.  University of North Carolina, USA. 2007.

\bibitem{Sakar11}
A. Sarkar and F. Mueller and H. Ramaprasad. Predictable Task Migration for Locked Caches in Multi-Core Systems. LCTES11. Chicago, Illinois, USA. 2011.

\bibitem{Adr1}
http://publib.boulder.ibm.com/infocenter/zos/basics/index.jsp?topic=/com.\\ibm.zos.zconcepts/zconcepts$_{-}$82.htm.

\bibitem{Adr2}
http://menehune.opt.wfu.edu/Kokua/More$_{-}$SGI/007-2478-008/sgi$_{-}$html/ch01.html.

\bibitem{Maculan99}
N. Maculan and S.C.S. Porto and C.C. Ribeiro and C.C. De. Souza. A new formulation for scheduling unrelated processor under precedence constraints. RAIRO Rech. Oper. Vol. 33. Nunmber 1. pp. 87-92. 1999.

\bibitem{Lawler78}
E. L. Lawler and J. Labetoulle. On Pre-emptive Scheduling of Unrelated Parallel Processors by Linear Programming. Journal of the
Association for Computing Machinery. pp 612--61. Vol 25. No 4. October 1978.

\bibitem{Jansen12}
K. Jansen and C. Robenet. Scheduling jobs on identical and uniform processors revisited. In Proceeding WAOA'11. Proceedings of the 9th international conference on Approximation and Online Algorithms. Pages 109-122. 2012. 

\bibitem{Baruah03}
S. Baruah and J. Goossens. The Static-priority Scheduling of Periodic Task Systems upon Identical Multiprocessor Platforms. Fifteenth IASTED International Conference on Parallel and Distributed Computing and Systems. Pages 427--432. Marina del Rey CA, November. Acta Press. ISBN 0-88986-392-X.

\bibitem{Hyari09}
A. Hyari. A Comparative Study on Heterogeneous and Homogeneous Multiprocessors. University of Jordan. 2009.

\bibitem{Li99}
Q. Li, D. L. Mills, “Investigating the Scaling Behavior, Crossover and Anti-persistence of Internet Packet Delay Dynamics,” Proceedings of IEEE Globalcom, Vol. 3, pp. 1843-1852, Rio de Janeiro, Brazil, 1999.

\bibitem{Daniel03}
E.J. Daniel and C.M. White and K.A. Teague. An inter-arrival delay jitter model using multi-structure network delay characteristics for packet networks. Sch. of Electr. Comput. Eng., Oklahoma State Univ., Stillwater, OK, USA. pp 1738 - 1742. Vol.2. 2003.

\bibitem{McCormick11}
John W. McCormick and Frank Singhoff and J\'{e}r\^{o}me Hugues. Building Parallel, Embedded, and Real-Time Applications with Ada.  Cambridge University Press. ISBN-13: 978-0521197168. 2011.

\bibitem{Maes07}
E. Maes and N. Vienne. MARTE to Cheddar Transformation Using ATL. Technical report. THALES Research and Technologies. 2007.


\bibitem{PLANTEC:2006:HAL-00504325:1}
A. Plantec and V. Ribaud. PLATYPUS: A STEP-based Integration Framework. 14th Interdisciplinary Information Management Talks (IDIMT-2006). pp 261-274. September 2006.

\bibitem{Singhoff:2007:TUE:1769168.1769182}
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. Ada-Europe'07. 
isbn 978-3-540-73229-7. pp 180-191. 2007.

\bibitem{gaudel11}
V. Gaudel and F. Singhoff and A. Plantec and S. Rubini, P. Dissaux and J. Legrand. 
An {Ada} design pattern recognition tool for {AADL} performance analysis. Ada Letters. 

\bibitem{rubini11}
S. Rubini, F. Singhoff and J. Hugues. Modeling and Verification of Memory Architectures with {AADL} and {REAL}. 
Sixth IEEE International Workshop on UML and AADL. In the proceedings of the 16th IEEE 
International Conference on Engineering of Complex Computer Systems. Las Vegas, USA. 
pp 338--343. isbn 978-0-7695-4381-9. April 2011. 

\bibitem{Chen90}
M.I. Chen and K.J. Lin. Dynamic Priority Ceilings: A Concurrency Control Protocol for Real-Time Systems. 
Journal of Real-Time Systems. 2. pp 325 -- 346. 1990.

\bibitem{Sha90}
L. Sha and R. Rajkumar and J.P. Lehoczky. Priority Inheritance Protocols: An Approach to Real-Time Synchronization.
IEEE transactions on computers. 39 (9). pp 1175 -- 1185. 1990.

\bibitem{Legrand04}
J. Legrand, F. Singhoff, L. Nana and L. Marcé. Performance Analysis of Buffers Shared by Independent Periodic Tasks.
LISYC Technical report number legrand-02-2004. January 2004.

\bibitem{kleinrock76}
L. Kleinrock. Queueing Systems: Theory. Wiley. 1. 1976.

\bibitem{palencia99}
J. C. Palencia and M. G. Harbour. Exploiting precedence relations in the 
schedulability analysis of distributed real-time systems. The 20th IEEE 
Real-Time Systems Symposium. pp 328 - 339. 1999.

\bibitem{Feiler03}
P. Feiler and B. Lewis and S. Vestal. 
The {SAE AADL} standard: A basis for model-based architecture-driven embedded systems engineering.
Workshop on Model-Driven Embedded Systems. May 2003.

\bibitem{baruah99}
S.K. Baruah. Feasibility analysis of recurring branching tasks. 
In proceedings of the 10th Euromicro Workshop on Real-Time Systems. pp 138--145. Jun 98.

\bibitem{mok97}
A. K. Mok and D. Chen. A Multiframe Model for Real-Time Tasks. 
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. 23 (10). pp 635 -- 645. October 1997.

\bibitem{marte_spec}
MARTE Specification. http://www.omg.org/spec/MARTE. Object Management Group. 2005.

\bibitem{uml_spec}
UML Specification. http://www.omg.org/spec/UML. Object Management Group. 2011.

\bibitem{omg_web}
OMG Website. http://www.omg.org. Object Management Group. 2013.

\bibitem{Schmidt06_ModelDrivenEngineering}
Douglas C. Schmidt. Model-Driven Engineering. IEEE Computer. 
39 (2). February 2006. 

\bibitem{Peraldi08}
M. Peraldi-Frati and Y. Sorel. From hight level modelling of time in MARTE to real-time scheduling analysis. 
MODELS 2008. 

\bibitem{Anssi10}
Anssi, Saoussen and G\'erard, S\'ebastien and Albinet, Arnaud and Terrier, François. 
Requirements and Solutions for Timing Analysis of Automotive Systems. 
System Analysis and Modeling: About Models. Lecture Notes in Computer Science. 
Kraemer, Frank and Herrmann, Peter. Springer Berlin / Heidelberg. 6598. pp 209-220. 
2011.

\bibitem{harbour01}
Harbour, Michael Gonzalez and Garcia, Javier Gutierrez and Palencia, {J.C.} and Drake Moyano, {J.M.}
MAST: Modeling and analysis suite for real-time applications. isbn = {0-7695-1221-6}. 
Proceedings of the 13th Euromicro Conference on Real-Time Systems. 
IEEE Comput. Soc. pp 125--134. 2001.

\bibitem{Mast}
J. M. Drake and M. G. Harbour and J. J. Guti\'{e}rrez and P. L. Martinez 
and 	J. L. Medina and J. C. Palencia. 
Modeling and Analysis Suite for Real-Time Applications (MAST 1.4.0): 
	Description of the MAST Model. Universidad de Cantabria, SPAIN. 2011.
	
\bibitem{Goknil13}
A. Goknil and J. Suryadevara and M. Peraldi-Frati and F. Mallet. 
Analysis Support for TADL2 Timing Constraints on
EAST-ADL Models. ECSA 2013. pp 89--105. 2013. 

\bibitem{Behrmann04}
G. Behrmann and R. David and K. G. Larsen. 
3185. Lecture Notes in Computer Science. 
A tutorial on UPPALL. 
International School on Formal Methods for the Design of Computer, Communication and Software Systems. 
SFM-RT 2004. pp 200--237. 2004. Springer Verlag. Updated November 28, 2006. 

\bibitem{Ouhammou11}
Y. Ouhammou and E. Grolleau and M. Richard and P. Richard. 
Towards a Simple Meta-model for Complex Real-Time and Embedded Systems. 
The First International Conference, MEDI 2011. pp 226-236. 
Obidos, Portugal. 2011. 

\bibitem{Kamal07}
A. W. Kamal and P. Avgeriou. 
An Evaluation of ADLs on Modeling Patterns for Software Architecture. 
RISE07. 2007. 

\bibitem{Medvidovic00}
N. Medvidovic and R. N. Taylor. 
A classification and comparison framework for software architecture description languages. 
Software Engineering, IEEE Transactions. 26 (1). pp 70--93. January 2000. 


\end{thebibliography}
