Advertisement

Languages for Embedded Systems and their Applications

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

  • Martin Radetzki

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

Table of contents

  1. Front Matter
    Pages i-xiv
  2. Model-Based System Specification Languages

    1. Front Matter
      Pages 1-1
    2. Eric Senn, Saadia Douhib, Dominique Blouin, Johann Laurent, Skander Turki, Jean-Philippe Diguet
      Pages 3-26
    3. Frédéric Mallet, Robert de Simone
      Pages 27-41
    4. Andreas W. Liehr, Klaus J. Buchenrieder, Heike S. Rolfs, Ulrich Nageldinger
      Pages 43-56
    5. A. Carioni, A. Gargantini, E. Riccobene, P. Scandurra
      Pages 57-69
    6. Kai Hylla, Jan-Hendrik Oetjens, Wolfgang Nebel
      Pages 71-84
  3. Languages for Heterogeneous System Design

    1. Front Matter
      Pages 85-85
    2. Dafeng Zhou, Tom J. Kazmierski, Bashir M. Al-Hashimi
      Pages 87-100
    3. R. Guelaz, P. Desgreys, P. Loumeau
      Pages 101-112
    4. Ken Caluwaerts, Dimitri Galayko
      Pages 113-128
  4. Digital Systems Design Methodologies Based on C++

    1. Front Matter
      Pages 129-129
    2. Jari Kreku, Mika Hoppari, Tuomo Kestilä, Yang Qu, Juha-Pekka Soininen, Kari Tiensyrjä
      Pages 131-147
    3. Rauf Salimi Khaligh, Martin Radetzki
      Pages 149-165
    4. C. Kerstan, N. Bannow, W. Rosenstiel
      Pages 167-182
    5. Jens Gladigau, Christian Haubelt, Jürgen Teich
      Pages 183-199
    6. Francesco Stefanni, Davide Quaglia, Franco Fummi
      Pages 201-211
    7. Philipp A. Hartmann, Philipp Reinkemeier, Henning Kleen, Wolfgang Nebel
      Pages 213-226
    8. Andreas Raabe, Armin Felke
      Pages 227-240
    9. Franjo Plavec, Zvonko Vranesic, Stephen Brown
      Pages 241-253
  5. Verification and Requirements Evaluation

    1. Front Matter
      Pages 255-255
    2. Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Oliver Wienand, Evgeny Karibaev
      Pages 257-272
    3. Daniel Große, Robert Wille, Robert Siegmund, Rolf Drechsler
      Pages 273-290
    4. Alessandro Meroni, Vincenzo Rana, Marco D. Santambrogio, Francesco Bruschi
      Pages 291-307
    5. Alexander Viehl, Björn Sander, Oliver Bringmann, Wolfgang Rosenstiel
      Pages 309-324

About this book

Introduction

Embedded systems take over complex control and data processing tasks in diverse application fields such as automotive, avionics, consumer products, and telecommunications. They are the primary driver for improving overall system safety, efficiency, and comfort. The demand for further improvement in these aspects can only be satisfied by designing embedded systems of increasing complexity, which in turn necessitates the development of new system design methodologies based on specification, design, and verification languages.

The objective of Languages for Embedded Systems and their Applications is to provide researchers and designers with an overview of current research trends, results, and application experiences in computer languages for embedded systems. The book builds upon the most relevant contributions to FDL’08, the premier international conference specializing in this field. These contributions have been selected based on the results of reviews provided by leading experts from research and industry. In many cases, the authors have improved their original work by adding breadth, depth, or explanation.

Keywords

C++ programming language Debugging Embedded System Embedded Systems Hardwarebeschreibungssprache Scheduling Simulink SystemC communication constraint model modeling programming simulation system

Editors and affiliations

  • Martin Radetzki
    • 1
  1. 1.Institut für Technische InformatikUniversität StuttgartStuttgartGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4020-9714-0
  • Copyright Information Springer Netherlands 2009
  • Publisher Name Springer, Dordrecht
  • eBook Packages Engineering
  • Print ISBN 978-1-4020-9713-3
  • Online ISBN 978-1-4020-9714-0
  • Series Print ISSN 1876-1100
  • Series Online ISSN 1876-1119
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Biotechnology
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering