Design and Analysis of Distributed Embedded Systems : IFIP 17th World Computer Congress - TC10 Stream on Distributed and Parallel Embedded Systems (DIPES 2002) August 25-29, 2002, Montréal, Québec, Canada /
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 o...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | , , |
| Format: | eBook |
| Language: | English |
| Published: |
Boston, MA :
Springer US,
2002.
|
| Series: | IFIP — The International Federation for Information Processing ;
91. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | 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. |
|---|---|
| Item Description: | Electronic resource. |
| Physical Description: | 1 online resource (xi, 286 pages) |
| ISBN: | 9780387355993 (electronic bk.) 0387355995 (electronic bk.) |
| ISSN: | 1868-4238 ; |