Boulet, Pierre
Advances in Design and Specification Languages for SoCs
I.Analog and Mixed-Signal Systems
1. Introduction
Alain Vachoux
2. Refinement of Mixed-Signal Systems: Between Heaven and Hell
Christoph Grimm, Rüdiger Schroll, Klaus Waldschmidt
3. Mixed Nets, Conversion Models, and VHDL-AMS
John Shields, Ernst Christen
4. Monte Carlo Simulation Using VHDL-AMS
Ekkehart-Peter Wagner, Joachim Haase
5. Early Prediction of Conducted-Mode Emission of Complex Ic’s
Anne-Marie Trullemans-Anckaert, Richard Perdriau, Mohamed Ramdani, Jean-Luc Levant
6. Practical Case Example of Inertial Mems Modeling with VHDL-AMS
Elena Martín, Laura Barrachina, Carles Ferrer
II.UML-Based System Specification and Design
7. Introduction
Piet Putten
8. Metamodels and MDA Transformations for Embedded Systems
Lossan Bondé, Cédric Dumoulin, Jean-Luc Dekeyser
9. Model Based Testing and Refinement in MDA Based Development
Ian Oliver
10. Predictability in Real-Time System Development
Jinfeng Huang, Jeroen Voeten, Oana Florescu, Piet Putten, Henk Corporaal
11. Timing Performances of Automatically Generated Code Using MDA Approaches
Mathieu Maranzana, Jean-Francois Ponsignon, Jean-Louis Sourrouille, Franck Bernier
12. UML-Executable Functional Models of Electronic Systems in the VIPERS Virtual Prototyping Methodology
P. F. Lister, V. Trignano, M. C. Bassett, P. L. Watten
III.C/C++-Based System Design
13. Introduction
Eugenio Villar
14. Designing for Dynamic Partially Reconfigurable FPGAS with Systemc and OSSS
Andreas Schallenberg, Wolfgang Nebel, Frank Oppenheimer
15. Heterogeneous System-Level Specification in Systemc
Fernando Herrera, Pablo Sánchez, Eugenio Villar
16. xHDL: Extending VHDL to Improve Core Parameterization and Reuse
Miguel A. Sánchez Marcos, Ángel Fernández Herrero, Marisa López-Vallejo
17. Systemc Models for Realistic Simulations Involving Real-Time Operating System Services
Prih Hastono, Stephan Klaus, Sorin A. Huss
18. Systemc and OCAPI-XL Based System-Level Design for Reconfigurable Systems-on-Chip
Kari Tiensyrjä, Miroslav Cupak, Kostas Masselos, Marko Pettissalo, Konstantinos Potamianos, Yang Qu, Luc Rynders, Geert Vanmeerbeeck, Nikos Voros, Yan Zhang
IV.Invited Contributions
19. Introduction
Wolfgang Müller, Christoph Grimm
20. Symbolic Model Checking and Simulation with Temporal Assertions
Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
21. Automotive System Design and Autosar
Georg Pelz, Peter Oehler, Eliane Fourgeau, Christoph Grimm
DRM-restrictions
Printing: not available
Clipboard copying: not available
Nyckelord: TECHNOLOGY & ENGINEERING / General TEC000000
- Författare
- Boulet, Pierre
- Utgivare
- Springer
- Utgivningsår
- 2005
- Språk
- en
- Utgåva
- 1
- Kategori
- Teknologi, energi, trafik
- Format
- E-bok
- eISBN (PDF)
- 9780387261515