Design and Analysis of Distributed Embedded Systems

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.

Documenting recent approaches and results, 28 papers from the August 2002 conference in Montréal describe specification methods and their analysis. The proceedings detail approaches to verification and different levels of abstraction, and discuss issues of modeling, fault tolerance, middleware, timing and performance analysis, partitioning and scheduling, communication, and design. The focus throughout is on the verification of system correctness during the design cycle and the guarantee of non-functional requirements, including real-time support and dependability. There is no index. Annotation (c)2003 Book News, Inc., Portland, OR