Design and Analysis of Distributed Embedded Systems: IFIP 17th World Computer Congress - TC10 Stream on Distributed and Parallel Embedded Systems ... Information and Communication Technology, 91)

by Bernd Kleinjohann (Editor)

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.

304 pages, Hardcover

First published July 31, 2002