© 2004

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 DIPES 2004

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

    1. Kazuhiro Ogata, Daigo Yamagishi, Takahiro Seino, Kokichi Futatsugi
      Pages 43-52
  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

    1. Carsten Rust, Achim Rettberg
      Pages 187-196

About these proceedings


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.


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

  • Book Title Design Methods and Applications for Distributed Embedded Systems
  • Book Subtitle IFIP 18th World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2004) 22–27 August 2004 Toulouse, France
  • Editors Bernd Kleinjohann
    Guang R. Gao
    Hermann Kopetz
    Lisa Kleinjohann
    Achim Rettberg
  • Series Title IFIP International Federation for Information Processing
  • DOI
  • Copyright Information Springer Science + Business Media, Inc. 2004
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Hardcover ISBN 978-1-4020-8148-4
  • Softcover ISBN 978-1-4757-8012-3
  • eBook ISBN 978-1-4020-8149-1
  • Series ISSN 1571-5736
  • Edition Number 1
  • Number of Pages XII, 326
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Artificial Intelligence
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences