41 2 ,
Vers la génération d'un modèle d'exécution de la chaîne 802, p.102 ,
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. ,
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. ,
« 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. ,
Transaction Level Modeling: Overview and Requierements for SystemC Methodology, 2003. ,
Programming with Posix Thread, 1997. ,
System Performance Modeling and Analysis With VHDL, Proc. VHDL Forum for CAD in Europe conference ,
Colif : a Multilevel Design Representation for Application-Specific Multiprocessor System-on-Chip Design, 12th IEEE International Workshop on Rapid System Prototyping, 2001. ,
ARM System-Level Modelling, 2003. ,
Multilanguage Design of Heterogeneous Systems [Cow05] Coware, service en ligne, Proc.of CODES, 1999. ,
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
SpecSyn: An Environment Supporting the Specify-Explore-Refine Paradigm for Hardware/Software System Design, IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 1998. ,
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. ,
Corba, des concepts à la pratique, 1997. ,
Generalized data flow graphs theory and applications, these Eindhoven, 1993. ,
Finite State Machines with multiple concurrency models, 1999. ,
« 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. ,
Using MPI: Portable Parallel Programming with the Message-Passing Interface, 1996. ,
A Visual Formalism for Complex Systems, Science of computer Programming, vol.8, pp.231-274, 1987. ,
SystemC TM based SOC communication Modeling for the OCP TM Protocol, 2002. ,
Software engineering, IEEE Spectrum, vol.33, issue.1, p.pp, 1996. ,
DOI : 10.1109/6.476732
The Machine-SUIF Control Flow Graph Library, 2002. ,
Basic Spin manual, pp.429-450, 1990. ,
Parallel and Distributed Computing Handbook, Chap8: Dataflow Models, 1996. ,
Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation, 2003. ,
Synchronisation Par Message, 2002. ,
Reuse methodology manual, 1999. ,
A Compilation based software estimation scheme for hardware/Software Cosimulation, Proc. Int'1 ,
Specifying systems: the TLA+ Language and tools for hardware and software engineers, 2002. ,
Computing for Embedded Systems, IEEE Instrumentation and Measurement Technology Conference Budapest, 2001. ,
Heterogeneous Concurrent Modeling and Design " , Superseded by "Overview of the Ptolemy Project, 1999. ,
Responsible Frameworks for Heterogeneous Modeling and Design of Embedded Systems, 2001. ,
A Compositional Approach to Statecharts Semantics, 2000. ,
The Argos Language: Graphical Representation of Automata and Description of Reactive Systems, Proc. IEEE Workshop on Visual Languages, 1991. ,
Advances in the Dataflow computational Model, CAPSL technical Memo, pp.29-30, 1999. ,
Desiderata pour la spécification et la conception des systèmes électroniques, 2001. ,
An Object-Based executable Model For simulation of DATE, disponible en ligne, 1999. ,
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. ,
Ptolemy: a mixed paradigm simulation/prototyping platform in C++, Pri05] PrismTech Productivity Tools and Middelwareprismtech.com/ [Pto05] Service en ligne C++ Conference, 1991. ,
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. ,
MDA based, systemc code generation, applied to intensive signal processing applications " . Forum on specification and Design Languages, 2004. ,
« 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. ,
Service Dependency Graph, an Efficient Model for Hardware/Software Interfaces Modeling and Generation for SoC Design, Hardware/Software Codesign and SystemSynthesis (CODES-ISSS), 2005. ,
REAL-TIME OBJECT-ORIENTED Modeling, 1994. ,
Formal Models for Embedded System Design, IEEE design & test computers, 2000. ,
Mastering Simulink Advanced computer architectures a design space approach, Biddles Ltd, vol.1, 1998. ,
Structured Computer Organization, 1999. ,
Object-Oriented Techniques in Hardware modeling using SystemC, NEWCAS, 1920. ,
A New HW/SW Interfaces Refinement Approach from a Unified Abstract Model, 2006. ,