Design and Analysis of Distributed Embedded Systems
Subtitle: IFIP 17th World Computer Congress - TC10 Stream on Distributed and Parallel Embedded Systems (DIPES 2002) August 25-29, 2002, Montréal, Québec, Canada
By: edited by Bernd Kleinjohann, K. H. Kim, Lisa Kleinjohann, Achim Rettberg
Contributors: Kim, K. H.; Kleinjohann, Lisa; Rettberg, Achim
Series: IFIP - The International Federation for Information Processing -- 91; IFIP - The International Federation for Information Processing -- 91
Publisher: Springer US
Published: 2002
Place of publication: Boston, MA
Language: eng
Format: [electronic resource] :
Number of pages: 286
ISBN-13: 9781475749373; 9780387355993
Subjects: Computer Communication Networks; Computer-aided design; Computer science
Description: 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.
Notes: Online full text is restricted to subscribers.

Also available in print.

Mode of access: World Wide Web.