Design and Analysis of Distributed Embedded Systems

IFIP 17th World Computer Congress — TC10 Stream on Distributed and Parallel Embedded Systems (DIPES 2002) August 25–29, 2002, Montréal, Québec, Canada

  • Bernd Kleinjohann
  • K. H. Kim
  • Lisa Kleinjohann
  • Achim Rettberg

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

Table of contents

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

    1. João M. Fernandes, Ricardo J. Machado
      Pages 1-10
    2. Roman Gumzej, Wolfgang A. Halang
      Pages 11-20
    3. Uwe Glässer, Margus Veanes
      Pages 21-30
  3. Specification and Analysis

    1. Carsten Rust, Friedhelm Stappert, Reinhard Bernhardi-Grisson
      Pages 41-50
    2. Jean-Pierre Talpin
      Pages 51-60
  4. Verification and Validation

  5. Fault Tolerance and Detection

    1. Emerson Rogério de Oliveira Jr., Ingrid Jansch Porto
      Pages 91-100
    2. Domen Verber, Matjaž Colnarič, Wolfgang A. Halang
      Pages 113-119
  6. Middleware and Reuse

    1. Eric Marsden, Nicolas Perrot, Jean-Charles Fabre, Jean Arlat
      Pages 121-130
    2. Stephen S. Yau, Fariaz Karim
      Pages 131-140
    3. Danilo Beuche, Olaf Spinczyk, Wolfgang Schröder-Preikschat
      Pages 141-151
  7. Timing and Performance Analysis

    1. Wolfgang A. Halang, Nihal Kececi, Grace Tsai
      Pages 153-162
    2. Kai Richter, Dirk Ziegenbein, Marek Jersak, Rolf Ernst
      Pages 173-183
  8. Partitioning and Scheduling

About this book

Introduction

Design and Analysis of Distributed Embedded Systems is organized similar to the conference. Chapters 1 and 2 deal with specification methods and their analysis while Chapter 6 concentrates on timing and performance analysis. Chapter 3 describes approaches to system verification at different levels of abstraction. Chapter 4 deals with fault tolerance and detection. Middleware and software reuse aspects are treated in Chapter 5. Chapters 7 and 8 concentrate on the distribution related topics such as partitioning, scheduling and communication. The book closes with a chapter on design methods and frameworks.

Keywords

Scheduling Session communication complex system complex systems formal method model modeling processor system

Editors and affiliations

  • Bernd Kleinjohann
    • 1
  • K. H. Kim
    • 2
  • Lisa Kleinjohann
    • 1
  • Achim Rettberg
    • 1
  1. 1.University of Paderborn / C-LABGermany
  2. 2.University of California, Irvine (UCI)USA

Bibliographic information

  • DOI https://doi.org/10.1007/978-0-387-35599-3
  • Copyright Information IFIP International Federation for Information Processing 2002
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4757-4937-3
  • Online ISBN 978-0-387-35599-3
  • Series Print ISSN 1868-4238
  • Series Online ISSN 1868-422X
  • About this book