Languages for Embedded Systems and their Applications

Part I. Model-Based System Specification Languages

1. Power and Energy Estimations in Model-Based Design
Eric Senn, Saadia Douhib, Dominique Blouin, Johann Laurent, Skander Turki, Jean-Philippe Diguet

2. MARTE vs. AADL for Discrete-Event andDiscrete-Time Domains
Frédéric Mallet, Robert Simone

3. Generation of MARTE Allocation Models fromActivity Threads
Andreas W. Liehr, Klaus J. Buchenrieder, Heike S. Rolfs, Ulrich Nageldinger

4. Model-Driven System Validation by Scenarios
A. Carioni, A. Gargantini, E. Riccobene, P. Scandurra

5. An Advanced Simulink Verification Flow UsingSystemC
Kai Hylla, Jan-Hendrik Oetjens, Wolfgang Nebel

Part II. Languages for Heterogeneous System Design

6. VHDL–AMS Implementation of a Numerical Ballistic CNT Model
Dafeng Zhou, Tom J. Kazmierski, Bashir M. Al-Hashimi

7. Wide-Band Sigma–Delta ADC Design inSuperconducting Technology
R. Guelaz, P. Desgreys, P. Loumeau

8. Heterogeneous and Non-linear Modeling inSystemC–AMS
Ken Caluwaerts, Dimitri Galayko

Part III. Digital Systems Design Methodologies Based on C++

9. Application Workload and SystemC Platform Modeling for Performance Evaluation
Jari Kreku, Mika Hoppari, Tuomo Kestilä, Yang Qu, Juha-Pekka Soininen, Kari Tiensyrjä

10. Adaptive Interconnect Models forTransaction-Level Simulation
Rauf Salimi Khaligh, Martin Radetzki

11. Efficient Architecture Evaluation UsingFunctional Mapping
C. Kerstan, N. Bannow, W. Rosenstiel

12. Symbolic Scheduling of SystemC Dataflow Designs
Jens Gladigau, Christian Haubelt, Jürgen Teich

13. SystemC Simulation of Networked Embedded Systems
Francesco Stefanni, Davide Quaglia, Franco Fummi

14. Modeling of Embedded Software Multitasking in SystemC/OSSS
Philipp A. Hartmann, Philipp Reinkemeier, Henning Kleen, Wolfgang Nebel

15. High-Level Reconfiguration Modeling inSystemC
Andreas Raabe, Armin Felke

16. Stream Programming for FPGAs
Franjo Plavec, Zvonko Vranesic, Stephen Brown

Part IV. Verification and Requirements Evaluation

17. A New Verification Technique forCustom-Designed Components attheArithmetic Bit Level
Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Oliver Wienand, Evgeny Karibaev

18. Debugging Contradictory Constraints inConstraint-Based Random Simulation
Daniel Große, Robert Wille, Robert Siegmund, Rolf Drechsler

19. Design of Communication Infrastructures forReconfigurable Systems
Alessandro Meroni, Vincenzo Rana, Marco D. Santambrogio, Francesco Bruschi

20. Analysis of Non-functional Properties of MPSoC Designs
Alexander Viehl, Björn Sander, Oliver Bringmann, Wolfgang Rosenstiel

Nyckelord: Engineering, Circuits and Systems, Programming Languages, Compilers, Interpreters, Electronics and Microelectronics, Instrumentation, Special Purpose and Application-Based Systems, System Performance and Evaluation, Simulation and Modeling