L. Qualité-de-service and .. , 41 2

.. En-systemc, Vers la génération d'un modèle d'exécution de la chaîne 802, p.102

P. Résultats and . Alissali, 133 5.5 CONCLUSION AMBA Specification, SyncCharts/Esterel : un modèle synchrone pour systèmes réactives complexes », dans les anales de Real- Time and Embedded Systems, pp.14-16, 1998.

]. L. Ard99, A. Arditi, H. Bouali, G. Boufaied, L. Clave et al., Using Esterel and Formal methods to increase the confidence in the functional Validation of a Commercial DSP, proceedings of ERCIM workshop on Formal Methods for Industrial Critical Systems, 1999.

]. A. Bou05 and . Bouchhima, « Modélisation du logiciel embarqué à différents niveaux d'abstraction en vue de la synthèse et validation de systèmes sur puces, Thèse de Doctorat INPG, Spécialité Microélectronique, 2005.

]. M. Bur03, F. Burton, S. Ghenessia, and . Swan, Transaction Level Modeling: Overview and Requierements for SystemC Methodology, 2003.

D. R. Butenhof, Programming with Posix Thread, 1997.

]. J. Cal96, D. Calvez, O. Heller, and . Pasquier, System Performance Modeling and Analysis With VHDL, Proc. VHDL Forum for CAD in Europe conference

]. W. Ces01, G. Cesario, L. Nicolescu, D. Gauthier, A. A. Lyonnard et al., Colif : a Multilevel Design Representation for Application-Specific Multiprocessor System-on-Chip Design, 12th IEEE International Workshop on Rapid System Prototyping, 2001.

]. J. Con03 and . Connell, ARM System-Level Modelling, 2003.

N. Zergainoh and A. A. Jerraya, Multilanguage Design of Heterogeneous Systems [Cow05] Coware, service en ligne, Proc.of CODES, 1999.

F. Coussy and . Blanc, SystemC Mantic : A high level Modeling and Co-design Framework For Reconfigurable Real Time Systems, Forum on specification and Design Languages (FDL), 2005.
URL : https://hal.archives-ouvertes.fr/hal-00077818

]. D. Gaj98, F. Gajski, S. Vahid, J. Narayan, and . Gong, SpecSyn: An Environment Supporting the Specify-Explore-Refine Paradigm for Hardware/Software System Design, IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 1998.

]. L. Gau01 and . Gauthier, Génération de Système d'Exploitation pour le Ciblage de Logiciel Multitâche sur des Architectures Multiprocesseurs Hétérogènes dans le Cadre des Systèmes Embarqués Spécifiques, Thèse de doctorat microélectronique, 2001.

]. J. Gei97, C. Geib, P. Gransart, and . Merle, Corba, des concepts à la pratique, 1997.

]. G. Ger93 and J. Gerrit-de, Generalized data flow graphs theory and applications, these Eindhoven, 1993.

]. A. Gir99, B. Girlaut, E. Lee, and . Lee, Finite State Machines with multiple concurrency models, 1999.

]. A. Gra05 and . Grasset, « synthèse des interfaces matérielles dans la conception des systèmes monopuces : de la spécification à la génération automatique, Thèse de Doctorat INPG, Spécialité Microélectronique, 2005.

]. W. Gro96, E. Gropp, A. Lusk, and . Skjellum, Using MPI: Portable Parallel Programming with the Message-Passing Interface, 1996.

]. D. Har87 and . Harel, A Visual Formalism for Complex Systems, Science of computer Programming, vol.8, pp.231-274, 1987.

]. A. Hav02, M. Haverinen, N. Leclercq, D. Weyrich, and . Wingard, SystemC TM based SOC communication Modeling for the OCP TM Protocol, 2002.

R. Hines and . John, Software engineering, IEEE Spectrum, vol.33, issue.1, p.pp, 1996.
DOI : 10.1109/6.476732

]. G. Hol02, M. D. Holloway, and . Smith, The Machine-SUIF Control Flow Graph Library, 2002.

]. G. Hol90 and . Holzmann, Basic Spin manual, pp.429-450, 1990.

]. R. Jag96 and . Jagannathan, Parallel and Distributed Computing Handbook, Chap8: Dataflow Models, 1996.

]. A. Jan03, M. Jantsch, and . Kaufmann, Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation, 2003.

]. C. Kai02 and . Kaisar, Synchronisation Par Message, 2002.

]. M. Kea99, P. Keating, and . Bricaud, Reuse methodology manual, 1999.

]. M. Laj99, M. Lajolo, A. S. Lazaraescu, and . Vicentelli, A Compilation based software estimation scheme for hardware/Software Cosimulation, Proc. Int'1

]. L. Lam02 and . Lamport, Specifying systems: the TLA+ Language and tools for hardware and software engineers, 2002.

]. E. Lee01 and . Lee, Computing for Embedded Systems, IEEE Instrumentation and Measurement Technology Conference Budapest, 2001.

]. E. Lee99 and . Lee, Heterogeneous Concurrent Modeling and Design " , Superseded by "Overview of the Ptolemy Project, 1999.

J. Liu, Responsible Frameworks for Heterogeneous Modeling and Design of Embedded Systems, 2001.

]. G. Lut00, M. Luttgen, R. Von-der-beek, and . Cleavland, A Compositional Approach to Statecharts Semantics, 2000.

]. F. Mar91 and . Maraninchi, The Argos Language: Graphical Representation of Automata and Description of Reactive Systems, Proc. IEEE Workshop on Visual Languages, 1991.

]. W. Naj99, E. A. Najjar, G. R. Lee, and . Gao, Advances in the Dataflow computational Model, CAPSL technical Memo, pp.29-30, 1999.

]. G. Nic01, K. Nicolescu, W. Svarstad, L. Césario, D. Gauthier et al., Desiderata pour la spécification et la conception des systèmes électroniques, 2001.

O. Pasquier and J. Calvez, An Object-Based executable Model For simulation of DATE, disponible en ligne, 1999.

]. F. Pec05, C. Pêcheux, A. Lallement, and . Vachoux, VHDL-AMS and Verilog-AMS as Alternative Hardware Description Languages for Efficient Modeling of Multidiscipline Systems, IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol.24, issue.2, 2005.

J. Buck, S. Ha, E. A. Lee, and D. G. Messerschmitt, Ptolemy: a mixed paradigm simulation/prototyping platform in C++, Pri05] PrismTech Productivity Tools and Middelwareprismtech.com/ [Pto05] Service en ligne C++ Conference, 1991.

. B. Selic and W. G. Gullekson, Sécurisation des liens d'interconnexion », http://www.arttelecom .fr/dossiers/spectech/4-99_1-0.doc [Roo05] Room, service en ligne Real-Time Object-Oriented Modeling, P.T, 1994.

M. Samyn, S. Meftali, and J. L. Dekeyser, MDA based, systemc code generation, applied to intensive signal processing applications " . Forum on specification and Design Languages, 2004.

]. A. Sar05a and . Sarmento, « Génération Automatique de Modèles de Simulation pour la Validation de Systèmes Hétérogènes, Thèse de Doctorat UJF, Spécialité Microélectronique, 2005.

]. A. Sar05b, L. Sarmento, A. Kriaa, M. W. Grasset, A. Youssef et al., Service Dependency Graph, an Efficient Model for Hardware/Software Interfaces Modeling and Generation for SoC Design, Hardware/Software Codesign and SystemSynthesis (CODES-ISSS), 2005.

]. B. Sel94, G. Selic, P. T. Gullekson, and . Ward, REAL-TIME OBJECT-ORIENTED Modeling, 1994.

]. M. Sgr00, L. Sgroi, A. Lavagno, and . Sangiovanni, Formal Models for Embedded System Design, IEEE design & test computers, 2000.

]. J. Sim05, T. Dabney, ]. D. Harmansim98, T. Sima, P. Fountain et al., Mastering Simulink Advanced computer architectures a design space approach, Biddles Ltd, vol.1, 1998.

A. S. Tanenbaum, Structured Computer Organization, 1999.

]. A. Tsi03, E. M. Tsikhanovich, G. Aboulhamid, and . Bois, Object-Oriented Techniques in Hardware modeling using SystemC, NEWCAS, 1920.

]. C. Xi05, F. Xi, W. Pétrot, A. Cesário, A. Bouchhima et al., A New HW/SW Interfaces Refinement Approach from a Unified Abstract Model, 2006.