Skip to main content
SpringerLink
Log in
Book cover

Languages for Embedded Systems and their Applications

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

  • Book
  • © 2009

Overview

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)

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (20 chapters)

  1. Front Matter

    Pages i-xiv
    Download chapter PDF

  2. Model-Based System Specification Languages

    1. Front Matter

      Pages 1-1
      Download chapter 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
      Download chapter 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
      Download chapter 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

Keywords

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.

Editors and Affiliations

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

    Martin Radetzki

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation