Design Methods and Applications for Distributed Embedded Systems

IFIP 18th World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2004) 22–27 August 2004 Toulouse, France

  • Bernd Kleinjohann
  • Guang R. Gao
  • Hermann Kopetz
  • Lisa Kleinjohann
  • Achim Rettberg
Conference proceedings

DOI: 10.1007/b98982

Part of the IFIP International Federation for Information Processing book series (IFIPAICT, volume 150)

Table of contents

  1. Front Matter
    Pages i-xii
  2. Modelling and Specification

    1. Chokri Mraidha, Sylvain Robert, Sébastien Gérard, David Servat
      Pages 1-10
    2. Michael Kersten, Wolfgang Nebel
      Pages 11-20
  3. Verification and Analysis

  4. Fault Detection and Toleration

    1. Håkan Sivencrona, Mattias Persson, Jan Torin
      Pages 63-72
    2. K. Godary, I. Augé-Blum, A. Mignotte
      Pages 73-82
  5. Automotive and Mechatronic Systems Design

    1. Uwe Honekamp, Matthias Wernicke
      Pages 93-102
    2. Per Johannessen, Fredrik Törner, Jan Torin
      Pages 103-112
    3. André Luiz de Freitas Francisco, Achim Rettberg, Andreas Hennig
      Pages 113-122
  6. Networks and Communication

    1. Jean-Paul Jamont, Michel Occello, André Lagrèze
      Pages 123-132
    2. K. H. Kim, C. S. Im, M. C. Kim, Y. Q. Li, S. M. Yoo, L. C. Zheng
      Pages 133-144
    3. Claudia Kretzschmar, Markus Scheithauer, Dietmar Mueller
      Pages 145-156
  7. Scheduling and Resource Management

    1. Raimundo Barreto, Paulo Maciel, Marília Neves, Eduardo Tavares, Ricardo Lima
      Pages 157-166
    2. Carsten Boeke, Simon Oberthuer
      Pages 177-186
  8. Hardware Architectures and Synthesis

About these proceedings

Introduction

The IFIP TC-10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2004) brings together experts from industry and academia to discuss recent developments in this important and growing field in the splendid city of Toulouse, France. The ever decreasing price/performance ratio of microcontrollers makes it economically attractive to replace more and more conventional mechanical or electronic control systems within many products by embedded real-time computer systems. An embedded real-time computer system is always part of a well-specified larger system, which we call an intelligent product. Although most intelligent products start out as stand-alone units, many of them are required to interact with other systems at a later stage. At present, many industries are in the middle of this transition from stand-alone products to networked embedded systems. This transition requires reflection and architecting: The complexity of the evolving distributed artifact can only be controlled, if careful planning and principled design methods replace the - hoc engineering of the first version of many standalone embedded products.

Keywords

Action Description Language Kernel algorithms communication complexity microcontroller modeling search algorithm space exploration verification

Editors and affiliations

  • Bernd Kleinjohann
    • 1
  • Guang R. Gao
    • 2
  • Hermann Kopetz
    • 3
  • Lisa Kleinjohann
    • 4
  • Achim Rettberg
    • 4
  1. 1.University of PaderbornGermany
  2. 2.University of DelawareUSA
  3. 3.Technische Universität WienAustria
  4. 4.University of Paderborn/C-LABGermany

Bibliographic information

  • Copyright Information Springer Science + Business Media, Inc. 2004
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4020-8148-4
  • Online ISBN 978-1-4020-8149-1
  • Series Print ISSN 1571-5736