Radetzki, Martin
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
Avainsanat: 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
- Tekijä(t)
- Radetzki, Martin
- Julkaisija
- Springer
- Julkaisuvuosi
- 2009
- Kieli
- en
- Painos
- 1
- Sarja
- Lecture Notes in Electrical Engineering
- Sivumäärä
- 14 sivua
- Kategoria
- Tekniikka, energia, liikenne
- Tiedostomuoto
- E-kirja
- eISBN (PDF)
- 9781402097140