Design and Analysis of Distributed Embedded Systems

1. Front Matter

   Pages i-xi

   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

4. Verification and Validation

   1. A Semi-Formal Method to Verify Correctness of Functional Requirements Specifications of Complex Systems

      • Nihal Kececi, Wolfgang A. Halang, Alain Abran

      Pages 61-69

   2. Towards Design Verification and Validation at Multiple Levels of Abstraction

      • Holger Giese, Martin Kardos, Ulrich Nickel

      Pages 71-80

   3. Modeling and Verification of Pipelined Embedded Processors in the Presence of Hazards and Exceptions

      • Prabhat Mishra, Nikil Dutt

      Pages 81-90

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

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.

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

• University of Paderborn / C-LAB, Germany

  Bernd Kleinjohann, Lisa Kleinjohann, Achim Rettberg

• University of California, Irvine (UCI), USA

  K. H. Kim

Policies and ethics