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