Skip to main content
SpringerLink
Log in

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

  • Book
  • © 2002

Overview

Editors:
  1. Bernd Kleinjohann

    1. University of Paderborn / C-LAB, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. K. H. Kim

    1. University of California, Irvine (UCI), USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Lisa Kleinjohann

    1. University of Paderborn / C-LAB, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Achim Rettberg

    1. University of Paderborn / C-LAB, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: IFIP Advances in Information and Communication Technology (IFIPAICT, volume 91)

Included in the following conference series:

Conference proceedings info: DIPES 2002.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (29 chapters)

  1. Front Matter

    Pages i-xi
    Download chapter PDF

  2. Modelling and Specification

    1. Can UML be a System-Level Language for Embedded Software?

      • João M. Fernandes, Ricardo J. Machado
      Pages 1-10

    2. PEARL for Distributed Embedded Systems

      • Roman Gumzej, Wolfgang A. Halang
      Pages 11-20

    3. Universal Plug and Play Machine Models

      • Uwe Glässer, Margus Veanes
      Pages 21-30

  3. Specification and Analysis

    1. Analysis of Event-Driven Real-Time Systems with Time Petri Nets

      • Zonghua Gu, Kang G. Shin
      Pages 31-40

    2. Petri Net Based Design of Reconfigurable Embedded Real-Time Systems

      • Carsten Rust, Friedhelm Stappert, Reinhard Bernhardi-Grisson
      Pages 41-50

    3. Model checking robustness to desynchronization

      • Jean-Pierre Talpin
      Pages 51-60

  5. Fault Tolerance and Detection

    1. Statistical Analysis of a Hybrid Replication Model

      • Emerson Rogério de Oliveira Jr., Ingrid Jansch Porto
      Pages 91-100

    2. Building Embedded Fault-Tolerant Systems for Critical Applications: An Experimental Study

      • Paul Townend, Jie Xu, Malcolm Munro
      Pages 101-112

    3. Fault detection in safety-critical embedded systems

      • Domen Verber, Matjaž Colnarič, Wolfgang A. Halang
      Pages 113-119

  6. Middleware and Reuse

    1. Dependability Characterization of Middleware Services

      • Eric Marsden, Nicolas Perrot, Jean-Charles Fabre, Jean Arlat
      Pages 121-130

    2. Adaptive Middleware for Ubiquitous Computing Environments

      • Stephen S. Yau, Fariaz Karim
      Pages 131-140

    3. Finegrained Application Specific Customization of Embedded Software

      • Danilo Beuche, Olaf Spinczyk, Wolfgang Schröder-Preikschat
      Pages 141-151

  7. Timing and Performance Analysis

    1. Checking the Temporal Behaviour of Distributed and Parallel Embedded Systems

      • Wolfgang A. Halang, Nihal Kececi, Grace Tsai
      Pages 153-162

    2. Transforming Execution-Time Boundable Code into Temporally Predictable Code

      • Peter Puschner
      Pages 163-172

    3. Bottom-Up Performance Analysis of HW/SW Platforms

      • Kai Richter, Dirk Ziegenbein, Marek Jersak, Rolf Ernst
      Pages 173-183

  8. Partitioning and Scheduling

    1. Temporal Partitioning and Sequencing of Dataflow Graphs on Reconfigurable Systems

      • Christophe Bobda
      Pages 185-194
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • University of Paderborn / C-LAB, Germany

    Bernd Kleinjohann, Lisa Kleinjohann, Achim Rettberg

  • University of California, Irvine (UCI), USA

    K. H. Kim

Bibliographic Information

  • Book Title: Design and Analysis of Distributed Embedded Systems

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

  • Editors: Bernd Kleinjohann, K. H. Kim, Lisa Kleinjohann, Achim Rettberg

  • Series Title: IFIP Advances in Information and Communication Technology

  • DOI: https://doi.org/10.1007/978-0-387-35599-3

  • Publisher: Springer New York, NY

  • eBook Packages: Springer Book Archive

  • Copyright Information: IFIP International Federation for Information Processing 2002

  • Hardcover ISBN: 978-1-4020-7156-0Published: 31 July 2002

  • Softcover ISBN: 978-1-4757-4937-3Published: 05 March 2013

  • eBook ISBN: 978-0-387-35599-3Published: 17 April 2013

  • Series ISSN: 1868-4238

  • Series E-ISSN: 1868-422X

  • Edition Number: 1

  • Number of Pages: XVI, 288

  • Topics: Computer-Aided Engineering (CAD, CAE) and Design, Computer Communication Networks, Processor Architectures

Publish with us

Policies and ethics

Back to top

Search

Navigation