Ebook: 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

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.

---

---

Content:
Front Matter....Pages i-xi
Can UML be a System-Level Language for Embedded Software?....Pages 1-10
PEARL for Distributed Embedded Systems....Pages 11-20
Universal Plug and Play Machine Models....Pages 21-30
Analysis of Event-Driven Real-Time Systems with Time Petri Nets....Pages 31-40
Petri Net Based Design of Reconfigurable Embedded Real-Time Systems....Pages 41-50
Model checking robustness to desynchronization....Pages 51-60
A Semi-Formal Method to Verify Correctness of Functional Requirements Specifications of Complex Systems....Pages 61-69
Towards Design Verification and Validation at Multiple Levels of Abstraction....Pages 71-80
Modeling and Verification of Pipelined Embedded Processors in the Presence of Hazards and Exceptions....Pages 81-90
Statistical Analysis of a Hybrid Replication Model....Pages 91-100
Building Embedded Fault-Tolerant Systems for Critical Applications: An Experimental Study....Pages 101-112
Fault detection in safety-critical embedded systems....Pages 113-119
Dependability Characterization of Middleware Services....Pages 121-130
Adaptive Middleware for Ubiquitous Computing Environments....Pages 131-140
Finegrained Application Specific Customization of Embedded Software....Pages 141-151
Checking the Temporal Behaviour of Distributed and Parallel Embedded Systems....Pages 153-162
Transforming Execution-Time Boundable Code into Temporally Predictable Code....Pages 163-172
Bottom-Up Performance Analysis of HW/SW Platforms....Pages 173-183
Temporal Partitioning and Sequencing of Dataflow Graphs on Reconfigurable Systems....Pages 185-194
Integration of Low Power Analysis into High-Level Synthesis....Pages 195-204
Going Beyond Deadline-Driven Low-level Scheduling in Distributed Real-Time Computing Systems....Pages 205-215
IEEE-1394 A standard to interconnect distributed systems....Pages 217-225
Deterministic and High-Performance Communication System for the Distributed Control of Mechatronic Systems Using the IEEE1394a....Pages 227-236
A Consistent Design Methodology for Configurable HW/SW-Interfaces in Embedded Systems....Pages 237-246
Low Latency Color Segmentation on Embedded Real-Time Systems....Pages 247-256
Soft IP Design Framework Using Metaprogramming Techniques....Pages 257-266
How to integrate Webservices in Embedded System Design?....Pages 267-276
Design and Realization of Distributed Real-Time Controllers for Mechatronic Systems....Pages 277-286

---

Content:
Front Matter....Pages i-xi
Can UML be a System-Level Language for Embedded Software?....Pages 1-10
PEARL for Distributed Embedded Systems....Pages 11-20
Universal Plug and Play Machine Models....Pages 21-30
Analysis of Event-Driven Real-Time Systems with Time Petri Nets....Pages 31-40
Petri Net Based Design of Reconfigurable Embedded Real-Time Systems....Pages 41-50
Model checking robustness to desynchronization....Pages 51-60
A Semi-Formal Method to Verify Correctness of Functional Requirements Specifications of Complex Systems....Pages 61-69
Towards Design Verification and Validation at Multiple Levels of Abstraction....Pages 71-80
Modeling and Verification of Pipelined Embedded Processors in the Presence of Hazards and Exceptions....Pages 81-90
Statistical Analysis of a Hybrid Replication Model....Pages 91-100
Building Embedded Fault-Tolerant Systems for Critical Applications: An Experimental Study....Pages 101-112
Fault detection in safety-critical embedded systems....Pages 113-119
Dependability Characterization of Middleware Services....Pages 121-130
Adaptive Middleware for Ubiquitous Computing Environments....Pages 131-140
Finegrained Application Specific Customization of Embedded Software....Pages 141-151
Checking the Temporal Behaviour of Distributed and Parallel Embedded Systems....Pages 153-162
Transforming Execution-Time Boundable Code into Temporally Predictable Code....Pages 163-172
Bottom-Up Performance Analysis of HW/SW Platforms....Pages 173-183
Temporal Partitioning and Sequencing of Dataflow Graphs on Reconfigurable Systems....Pages 185-194
Integration of Low Power Analysis into High-Level Synthesis....Pages 195-204
Going Beyond Deadline-Driven Low-level Scheduling in Distributed Real-Time Computing Systems....Pages 205-215
IEEE-1394 A standard to interconnect distributed systems....Pages 217-225
Deterministic and High-Performance Communication System for the Distributed Control of Mechatronic Systems Using the IEEE1394a....Pages 227-236
A Consistent Design Methodology for Configurable HW/SW-Interfaces in Embedded Systems....Pages 237-246
Low Latency Color Segmentation on Embedded Real-Time Systems....Pages 247-256
Soft IP Design Framework Using Metaprogramming Techniques....Pages 257-266
How to integrate Webservices in Embedded System Design?....Pages 267-276
Design and Realization of Distributed Real-Time Controllers for Mechatronic Systems....Pages 277-286
....