Design and Analysis of Distributed Embedded Systems (IFIP International Federation for Information Processing)

By Bernd Kleinjohann

Book Overview

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.

• Format: Paperback
• Language: English
• ISBN: 1475749376
• ISBN13: 9781475749373
• Release Date: March 2013
• Publisher: Springer
• Length: 288 Pages
• Weight: 0.94 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"