Design and Analysis of Distributed Embedded Systems
Author | : Bernd Kleinjohann |
Publisher | : Springer |
Total Pages | : 294 |
Release | : 2013-04-17 |
ISBN-10 | : 9780387355993 |
ISBN-13 | : 0387355995 |
Rating | : 4/5 (93 Downloads) |
Book excerpt: 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.