Skip to main content
SpringerLink
Log in
Book cover
  • Book
  • © 2009

Languages for Embedded Systems and their Applications

Selected Contributions on Specification, Design, and Verification from FDL'08

Editors:

  1. Martin Radetzki

    1. Institut für Technische Informatik, Universität Stuttgart, Stuttgart, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Covers the latest up-to-date research results
  • Gives overview of current research trends in the field
  • Extended versions of the best-rated contributions to the no. 1 conference in the field
  • Makes connection to applications in an industrial context
  • Includes supplementary material: sn.pub/extras

Part of the book series: Lecture Notes in Electrical Engineering (LNEE, volume 36)

Sections

Buy it now

eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (20 chapters)

  1. Front Matter

    Pages i-xiv
    PDF

  2. Model-Based System Specification Languages

    1. Front Matter

      Pages 1-1
      PDF

    2. Power and Energy Estimations in Model-Based Design

      • Eric Senn, Saadia Douhib, Dominique Blouin, Johann Laurent, Skander Turki, Jean-Philippe Diguet
      Pages 3-26

    3. MARTE vs. AADL for Discrete-Event and Discrete-Time Domains

      • Frédéric Mallet, Robert de Simone
      Pages 27-41

    4. Generation of MARTE Allocation Models from Activity Threads

      • Andreas W. Liehr, Klaus J. Buchenrieder, Heike S. Rolfs, Ulrich Nageldinger
      Pages 43-56

    5. Model-Driven System Validation by Scenarios

      • A. Carioni, A. Gargantini, E. Riccobene, P. Scandurra
      Pages 57-69

    6. An Advanced Simulink Verification Flow Using SystemC

      • Kai Hylla, Jan-Hendrik Oetjens, Wolfgang Nebel
      Pages 71-84

  3. Languages for Heterogeneous System Design

    1. Front Matter

      Pages 85-85
      PDF

    2. VHDL–AMS Implementation of a Numerical Ballistic CNT Model

      • Dafeng Zhou, Tom J. Kazmierski, Bashir M. Al-Hashimi
      Pages 87-100

    3. Wide-Band Sigma–Delta ADC Design in Superconducting Technology

      • R. Guelaz, P. Desgreys, P. Loumeau
      Pages 101-112

    4. Heterogeneous and Non-linear Modeling in SystemC–AMS

      • Ken Caluwaerts, Dimitri Galayko
      Pages 113-128

  4. Digital Systems Design Methodologies Based on C++

    1. Front Matter

      Pages 129-129
      PDF

    2. Application Workload and SystemC Platform Modeling for Performance Evaluation

      • Jari Kreku, Mika Hoppari, Tuomo Kestilä, Yang Qu, Juha-Pekka Soininen, Kari Tiensyrjä
      Pages 131-147

    3. Adaptive Interconnect Models for Transaction-Level Simulation

      • Rauf Salimi Khaligh, Martin Radetzki
      Pages 149-165

    4. Efficient Architecture Evaluation Using Functional Mapping

      • C. Kerstan, N. Bannow, W. Rosenstiel
      Pages 167-182

    5. Symbolic Scheduling of SystemC Dataflow Designs

      • Jens Gladigau, Christian Haubelt, Jürgen Teich
      Pages 183-199

    6. SystemC Simulation of Networked Embedded Systems

      • Francesco Stefanni, Davide Quaglia, Franco Fummi
      Pages 201-211

    7. Modeling of Embedded Software Multitasking in SystemC/OSSS

      • Philipp A. Hartmann, Philipp Reinkemeier, Henning Kleen, Wolfgang Nebel
      Pages 213-226

    8. High-Level Reconfiguration Modeling in SystemC

      • Andreas Raabe, Armin Felke
      Pages 227-240

    9. Stream Programming for FPGAs

      • Franjo Plavec, Zvonko Vranesic, Stephen Brown
      Pages 241-253
Back to top

About this book

Embedded systems take over complex control and data processing tasks in diverse application ?elds such as automotive, avionics, consumer products, and telec- munications. They are the primary driver for improving overall system safety, ef?ciency, and comfort. The demand for further improvement in these aspects can only be satis?ed by designing embedded systems of increasing complexity, which in turn necessitates the development of new system design methodologies based on speci?cation, design, and veri?cation languages. The objective of the book at hand is to provide researchers and designers with an overview of current research trends, results, and application experiences in c- puter languages for embedded systems. The book builds upon the most relevant contributions to the 2008 conference Forum on Design Languages (FDL), the p- mier international conference specializing in this ?eld. These contributions have been selected based on the results of reviews provided by leading experts from - search and industry. In many cases, the authors have improved their original work by adding breadth, depth, or explanation.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Institut für Technische Informatik, Universität Stuttgart, Stuttgart, Germany

    Martin Radetzki

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation