M. Accetta, R. Baron, W. Bolosky, D. Golub, R. Rashid et al., Mach : a new kernel foundation for UNIX development, USENIX, pp.93-112, 1986.

T. Acharya and A. K. Ray, Image Processing: Principles and Applications, Journal of Electronic Imaging, vol.15, issue.3, 2005.
DOI : 10.1117/1.2348895

D. J. Armstrong, The quarks of object-oriented development, Communications of the ACM, vol.49, issue.2, pp.123-128
DOI : 10.1145/1113034.1113040

P. J. Ashenden, The Designer's Guide to VHDL, 2001.

J. C. Baeten, A brief history of process algebra, Theoretical Computer Science, vol.335, issue.2-3, pp.131-146, 2005.
DOI : 10.1016/j.tcs.2004.07.036

F. Balarin, Y. Watanabe, H. Hsieh, L. Lavagno, C. Passerone et al., Metropolis: an integrated electronic system design environment, Computer, vol.36, issue.4, pp.45-52, 2003.
DOI : 10.1109/MC.2003.1193228

P. Banerjee, U. N. Shenoy, A. N. Choudhary, S. Hauck, C. Bachmann et al., A MATLAB compiler for distributed, heterogeneous, reconfigurable computing systems, Proceedings 2000 IEEE Symposium on Field-Programmable Custom Computing Machines (Cat. No.PR00871), pp.39-48, 2000.
DOI : 10.1109/FPGA.2000.903391

J. Bernabeu-auban, P. Hutto, M. Khalidi, M. Ahamad, W. Appelbe et al., The architecture of ra : a kernel for Clouds. System Sciences, II : Software Track, Proceedings of the Twenty-Second Annual Hawaii International Conference on, pp.936-945, 1989.

B. N. Bershad, S. Savage, P. Pardyak, E. G. Sirer, M. E. Fiuczynski et al., Extensibility, safety and performance in the SPIN operating system, SOSP, pp.267-284, 1995.

O. Beucher, MATLAB und Simulink (Scientific Computing) Pearson Studium, pp.8-2006

G. Booch, Object-Oriented Analysis and Design with Applications, 2004.

D. Bovet and M. Cesati, Understanding the Linux Kernel, Third Edition, 2002.

J. Buck, E. A. Lee, and D. G. Messerschmitt, Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems
DOI : 10.1016/B978-155860702-6/50048-X

E. Burnette, Hello, Android : Introducing Google's Mobile Development Platform. Pragmatic Bookshelf, 2002.

L. Cai, D. Gajski, and M. Olivarez, Introduction of system level architecture exploration using the SpecC methodology, ISCAS 2001. The 2001 IEEE International Symposium on Circuits and Systems (Cat. No.01CH37196), pp.9-12, 2001.
DOI : 10.1109/ISCAS.2001.921971

R. H. Campbell and S. Mong-tan, Choices : an object-oriented multimedia operating system, Fifth Workshop on Hot Topics in Operating Systems, Orcas Island, pp.90-94, 1995.
DOI : 10.1109/hotos.1995.513461
URL : http://choices.cs.uiuc.edu/Papers/OS/hotos2.pdf

A. Chagoya-garzon, X. Guérin, F. Rousseau, F. Pétrot, D. Rossetti et al., Synthesis of Communication Mechanisms for Multi-tile Systems Based on Heterogeneous Multi-processor System-On-Chips, 2009 IEEE/IFIP International Symposium on Rapid System Prototyping, 2005.
DOI : 10.1109/RSP.2009.12

M. Coppola, M. D. Grammatikakis, R. Locatelli, G. Maruccia, and L. Pieralisi, Design of Cost-Efficient Interconnect Processing Units : Spidergon STNoC, 2002.
DOI : 10.1201/9781420044720

L. B. De-brisolara, S. Han, X. Guérin, L. Carro, R. Reis et al., Reducing fine-grain communication overhead in multithread code generation for heterogeneous MPSoC, Proceedingsof the 10th international workshop on Software & compilers for embedded systems , SCOPES '07, pp.81-89, 2007.
DOI : 10.1145/1269843.1269855

A. Dunkels, Full TCP/IP for 8-bit architectures, Proceedings of the 1st international conference on Mobile systems, applications and services, MobiSys '03, 2003.
DOI : 10.1145/1066116.1066118
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.2141

B. K. Dwivedi, A. Kumar, and M. Balakrishnan, Automatic synthesis of system on chip multiprocessor architectures for process networks, Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis , CODES+ISSS '04, pp.60-65, 2004.
DOI : 10.1145/1016720.1016737

J. Ellson, E. R. Gansner, E. Koutsofios, S. C. North, and G. Woodhull, Graphviz??? Open Source Graph Drawing Tools, Graph Drawing, pp.483-484, 2001.
DOI : 10.1007/3-540-45848-4_57
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.87.9389

D. R. Engler, M. F. Kaashoek, and J. O. Toole, Exokernel : An operating system architecture for application-level resource management, SOSP, pp.251-266, 1995.

J. Fassino, J. Stefani, J. L. Lawall, and G. Muller, Think : a software framework for component-based operating system kernels, USENIX Annual Technical Conference, pp.73-86, 2002.

B. Ford, G. Back, G. Benson, J. Lepreau, A. Lin et al., The Flux OSKit : a substrate for kernel and language research, SOSP, pp.38-51, 1997.

E. Gabber, C. Small, J. L. Bruno, J. C. Brustoloni, and A. Silberschatz, The Pebble component-based operating system, USENIX Annual Technical Conference, General Track, pp.267-282, 1999.

P. Gerin, X. Guérin, and F. Pétrot, Efficient implementation of native software simulation for MPSoC, DATE, pp.676-681, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00288336

P. Gerin, M. M. Hamayun, and F. Pétrot, Native MPSoC co-simulation environment for software performance estimation, Proceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis, CODES+ISSS '09, pp.403-412, 2009.
DOI : 10.1145/1629435.1629490
URL : https://hal.archives-ouvertes.fr/hal-00472526

P. Gerum, Xenomai -implementing a RTOS emulation framework on GNU/Linux, 2002.

M. Girkar and C. D. Polychronopoulos, The hierarchical task graph as a universal intermediate representation, International Journal of Parallel Programming, vol.25, issue.7, pp.519-551, 1994.
DOI : 10.1007/BF02577777

P. Guironnet-de-massas and F. Pétrot, Comparison of memory write policies for NoC based multicore cache coherent systems, In DATE, pp.997-1002, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00288347

R. Gupta, Introduction to Lattice QCD, 1999.

S. Hacker, H. Bortman, and H. Bartman, The BeOS Bible, 1999.

S. Han, S. Chae, L. Brisolara, L. Carro, K. Popovici et al., Simulink R -based heterogeneous multiprocessor soc design flow for mixed hardware/software refinement and simulation. Integration, the VLSI Journal, 2002.

S. Han, X. Guérin, S. Chae, and A. A. Jerraya, Buffer memory optimization for video codec application modeled in Simulink, Proceedings of the 43rd annual conference on Design automation , DAC '06, pp.689-694, 2006.
DOI : 10.1145/1146909.1147084
URL : https://hal.archives-ouvertes.fr/hal-00142360

R. Harrison, Symbian OS C++ for Mobile Phones, 2002.

G. Heineman and W. Councill, Component-Based Software Engineering : Putting the Pieces Together, p.3, 2001.
DOI : 10.1007/b136248

C. A. Hoare, Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1978.
DOI : 10.1145/359576.359585

R. S. Janka, Specification and Design Methodology for Real-Time Embedded Systems, 2002.
DOI : 10.1007/978-1-4615-0837-3

A. Jantsch and I. Sander, Models of computation in the design process, 2005.
DOI : 10.1049/PBCS018E_ch5

G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm et al., An Overview of AspectJ, ECOOP '01 : Proceedings of the 15th European Conference on Object- Oriented Programming, pp.327-353, 2001.
DOI : 10.1007/3-540-45337-7_18

F. Kolnick, The QNX 4 Real-time Operating System, Basis Computer Systems, 2000.

J. J. Labrosse, MicroC OS II : The Real Time Kernel, CMP Books, 2002.

D. A. Lamb, An introduction to IDL, p.3, 1988.

H. Ledgard, Reference Manual for the ADA Programming Language, 1983.

H. F. Ledgard, The Little Book of Object-oriented Programming, 1996.

J. Liedtke, Improving IPC by kernel design, SOSP, pp.175-188, 1993.
DOI : 10.1145/173668.168633
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.158.4191

J. Liedtke, On micro-kernel construction, SOSP, pp.237-250, 1995.
DOI : 10.1145/224057.224075
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.592.4880

P. Lieverse, P. Van-der-wolf, K. A. Vissers, and E. F. Deprettere, A methodology for architecture exploration of heterogeneous signal processing systems, 1999 IEEE Workshop on Signal Processing Systems. SiPS 99. Design and Implementation (Cat. No.99TH8461), pp.197-207, 2001.
DOI : 10.1109/SIPS.1999.822323

D. Lohmann, W. Schröder-preikschat, and O. Spinczyk, The design of applicationtailorable operating system product lines, CASSIS, pp.99-117, 2005.

D. Lohmann, W. Schröder-preikschat, and O. Spinczyk, Functional and Non-Functional Properties in a Family of Embedded Operating Systems, 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, pp.413-420, 2005.
DOI : 10.1109/WORDS.2005.37

D. Lohmann and O. Spinczyk, Developing embedded software product lines with AspectC++, Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications , OOPSLA '06, pp.740-742, 2006.
DOI : 10.1145/1176617.1176702

A. Massa, Embedded Software Development with eCos, 2002.

F. Mayer, K. Macmillan, and D. Caplan, SELinux by Example : Using Security Enhanced Linux, 2002.

. Microsoft, Fat32 file system specification, 2000.

J. G. Mitchell, J. Gibbons, G. Hamilton, P. B. Kessler, Y. Y. Khalidi et al., An overview of the Spring system, Proceedings of COMPCON '94, pp.122-131, 1994.
DOI : 10.1109/CMPCON.1994.282935

S. Mong-tan, D. K. Raila, and R. H. Campbell, An object-oriented nano-kernel for operating system hardware support, Proceedings of International Workshop on Object Orientation in Operating Systems, pp.220-223, 1995.
DOI : 10.1109/IWOOS.1995.470552

M. G. Morris, C. Speier, and J. A. Hoffer, An examination of procedural and objectoriented systems analysis methods : Does prior experience help or hinder performance ? Decision Sciences, pp.107-136, 1999.

J. Murray, Inside Microsoft Windows CE, 2002.

P. R. Panda, SystemC, Proceedings of the 14th international symposium on Systems synthesis , ISSS '01, pp.75-80, 2001.
DOI : 10.1145/500001.500018

G. Panesar, D. Towner, A. Duller, A. Gray, and W. Robbins, Deterministic Parallel Processing, International Journal of Parallel Programming, vol.34, issue.4, pp.323-341, 2006.
DOI : 10.1007/s10766-006-0019-9
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.93.486

P. S. Paolucci, A. A. Jerraya, R. Leupers, L. Thiele, and P. Vicini, SHAPES:, Proceedings of the 4th international conference on Hardware/software codesign and system synthesis , CODES+ISSS '06, pp.167-172
DOI : 10.1145/1176254.1176297
URL : https://hal.archives-ouvertes.fr/in2p3-00019815

C. Passerone, Real Time Operating System Modeling in a System Level Design Environment, 2006 IEEE International Symposium on Circuits and Systems, 2006.
DOI : 10.1109/ISCAS.2006.1693143

F. Pétrot and P. Gomez, Lightweight implementation of the POSIX threads API for an onchip MIPS multiprocessor with VCI interconnect, DATE, 2002.

A. D. Pimentel, C. Erbas, and S. Polstra, A systematic approach to exploring embedded system architectures at multiple abstraction levels, IEEE Transactions on Computers, vol.55, issue.2, pp.99-112, 2002.
DOI : 10.1109/TC.2006.16

A. D. Pimentel, P. Van-der-wolf, E. Deprettere, J. T. Van-eijndhoven, L. Hertzberger et al., The artemis architecture workbench, 2000.

K. Popovici, X. Guérin, F. Rousseau, P. S. Paolucci, and A. A. Jerraya, Platform-based software design flow for heterogeneous MPSoC, ACM Transactions on Embedded Computing Systems, vol.7, issue.4, pp.1-23, 2008.
DOI : 10.1145/1376804.1376807
URL : https://hal.archives-ouvertes.fr/hal-00323018

C. Poynton, Digital Video and HDTV Algorithms and Interfaces, 2003.

D. Probert, J. L. Bruno, and M. Karaorman, SPACE: a new approach to operating system abstraction, Proceedings 1991 International Workshop on Object Orientation in Operating Systems, pp.133-137, 1991.
DOI : 10.1109/IWOOOS.1991.183038

. Redhat, The newlib c library, pp.2010-2014

D. Ritchie and K. Thompson, The UNIX time-sharing system, Communications of the ACM, vol.17, issue.7, pp.365-375, 1974.
DOI : 10.1145/361011.361061

D. Robson, Object-oriented software systems, pp.74-86, 1981.

D. C. Schmidt, Model-driven engineering, IEEE Computer, vol.39, issue.2, 2006.

W. Schröder-preikschat, D. Lohmann, F. Scheler, and O. Spinczyk, Dimensions of variability in embedded operating systems, Informatik - Forschung und Entwicklung, vol.17, issue.7, pp.5-22, 2007.
DOI : 10.1007/s00450-007-0037-x

R. M. Soley and C. M. Stone, Object Management Architecture Guide, p.3, 1995.

D. A. Solomon, The Windows NT kernel architecture, Computer, vol.31, issue.10, pp.3140-3187, 1998.
DOI : 10.1109/2.722284

M. Stefik and D. G. Bobrow, Object-oriented programming : Themes and variations, AI Magazine, vol.62, issue.4 31, pp.40-62, 1986.

J. E. Stone, An efficient library for parallel ray tracing and animation, pp.5-8, 1998.

. Sun, External data representation standard, 1987.

A. S. Tanenbaum and S. J. Mullender, An overview of the Amoeba distributed operating system, ACM SIGOPS Operating Systems Review, vol.15, issue.3, pp.51-64, 1981.
DOI : 10.1145/1041500.1041502

L. Thiele, I. Bacivarov, W. Haid, and K. Huang, Mapping Applications to Tiled Multiprocessor Embedded Systems, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), pp.29-40, 2007.
DOI : 10.1109/ACSD.2007.53

T. Thomsen, L. Köster, and R. Stracke, Connecting Simulink to OSEK : Automatic code generation for real-time operating systems with Targetlink, Embedded Intelligence, 2001.

R. Vilbig, JTAG debug -everything you need to know, 2001.

C. Wehner, Tornado and Vxworks. Books on Demand, 2002.

J. F. Miao, A. Iii, and . Agarwal, On-chip interconnection architecture of the tile processor, IEEE Micro, vol.274, issue.5 42, pp.15-31, 2007.

R. Wirfs-brock and R. E. Johnson, Surveying current research in object-oriented design, Communications of the ACM, vol.33, issue.9, pp.104-124, 1990.
DOI : 10.1145/83880.84526

S. C. Woo, M. Ohara, E. Torrie, J. P. Singh, and A. Gupta, The splash-2 programs : Characterization and methodological considerations, ISCA, pp.24-36, 1995.

E. Yourdon, P. Nevermann, K. Oppel, J. Thomann, and K. Whitehead, Mainstream objects : an analysis and design approach for business, 1995.

X. Guérin and F. Pétrot, Multi-Core Embedded Systems, chapter 9 ? "Operating System Support for Applications targeting Multi-Core System-on-Chips, 2010.

X. Guérin and F. Pétrot, A System Framework for the Design of Embedded Software Targeting Heterogeneous Multi-core SoCs, 2009 20th IEEE International Conference on Application-specific Systems, Architectures and Processors, pp.153-160, 2009.
DOI : 10.1109/ASAP.2009.9

X. Guérin, K. Popovici, W. Youssef, F. Rousseau, and A. A. Jerraya, Flexible Application Software Generation for Heterogeneous Multi-Processor System-on-Chip, 31st Annual International Computer Software and Applications Conference, Vol. 1- (COMPSAC 2007), pp.279-286, 2007.
DOI : 10.1109/COMPSAC.2007.117

P. Gerin, X. Guérin, and F. Petrot, Efficient implementation of native software simulation for MPSoC, DATE, pp.676-681, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00288336

A. Chagoya-garzon, X. Guérin, F. Rousseau, F. Pétrot, D. Rossetti et al., Synthesis of communication mechanisms for multi-tile systems based on heterogeneous multiprocessor system-on-chips, IEEE/IFIP RSP, 2009.

S. Han, S. Chae, L. Brisolara, L. Carro, K. Popovici et al., Simulink??-based heterogeneous multiprocessor SoC design flow for mixed hardware/software refinement and simulation, Integration, the VLSI Journal, vol.42, issue.2, 2008.
DOI : 10.1016/j.vlsi.2008.08.003

S. Han, S. Chae, L. Brisolara, L. Carro, R. Reis et al., Memoryefficient multithreaded code generation from simulink for heterogeneous MPSoC. Design Automation for Embedded Systems, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00327017

K. Huang, S. Han, K. Popovici, L. B. De-brisolara, X. Guérin et al., Simulink-Based MPSoC Design Flow: Case Study of Motion-JPEG and H.264, 2007 44th ACM/IEEE Design Automation Conference, pp.39-42, 2007.
DOI : 10.1109/DAC.2007.375049
URL : https://hal.archives-ouvertes.fr/hal-00165363

K. Huang, X. Yan, S. Han, S. Chae, A. A. Jerraya et al., Gradual refinement for application-specific MPSoC design from simulink PUBLICATIONS model to RTL implementation, Journal of Zhejiang University SCIENCE A, pp.151-164, 2008.

K. Popovici, X. Guérin, L. Brisolara, and A. Jerraya, Mixed hardware software multilevel modeling and simulation for multithreaded heterogeneous MPSoC. VLSI Design, Automation and Test, VLSI-DAT 2007. International Symposium on, pp.1-4, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00156452

K. Popovici, X. Guérin, F. Rousseau, P. S. Paolucci, and A. A. Jerraya, Efficient Software Development Platforms for Multimedia Applications at Different Abstraction Levels, 18th IEEE/IFIP International Workshop on Rapid System Prototyping (RSP '07), pp.113-122, 2007.
DOI : 10.1109/RSP.2007.21
URL : https://hal.archives-ouvertes.fr/hal-00156424