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

  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

  9. Design Space Exploration

    1. Roman Gumzej, Matjaž Colnarič, Wolfgang A. Halang
      Pages 217-226
    2. Frank Slomka, Karsten Albers, Richard Hofmann
      Pages 227-236
    3. Júlio C. B. de Mattos, Lisane Brisolara, Renato Hentschke, Luigi Carro, Flávio R. Wagner
      Pages 237-246
  10. Design Methodologies and User Interfaces

    1. Ricardo J. Machado, João M. Fernandes
      Pages 247-256
  11. Short Papers

    1. Lisane Brisolara, Leandro B. Becker, Luigi Carro, Flávio R. Wagner, Carlos Eduardo Pereira
      Pages 277-286
    2. Edgard de Faria Corrêa, Eduardo Wisnieski Basso, Gustavo Reis Wilke, Flávio Rech Wagner, Luigi Carro
      Pages 307-316
    3. Diogo Zandonai, Sergio Bampi, Marcel Bergerman
      Pages 317-326

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

  • DOI
  • 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
  • Buy this book on publisher's site