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
Editors: Kleinjohann, B., Kim, K.H.K., Kleinjohann, L., Rettberg, A. (Eds.)
Free PreviewBuy this book
- About this book
-
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.
- Table of contents (29 chapters)
-
-
Can UML be a System-Level Language for Embedded Software?
Pages 1-10
-
PEARL for Distributed Embedded Systems
Pages 11-20
-
Universal Plug and Play Machine Models
Pages 21-30
-
Analysis of Event-Driven Real-Time Systems with Time Petri Nets
Pages 31-40
-
Petri Net Based Design of Reconfigurable Embedded Real-Time Systems
Pages 41-50
-
Table of contents (29 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Design and Analysis of Distributed Embedded Systems
- Book 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
- Editors
-
- Bernd Kleinjohann
- K.H. (Kane) Kim
- Lisa Kleinjohann
- Achim Rettberg
- Series Title
- IFIP Advances in Information and Communication Technology
- Series Volume
- 91
- Copyright
- 2002
- Publisher
- Springer US
- Copyright Holder
- IFIP International Federation for Information Processing
- eBook ISBN
- 978-0-387-35599-3
- DOI
- 10.1007/978-0-387-35599-3
- Hardcover ISBN
- 978-1-4020-7156-0
- Softcover ISBN
- 978-1-4757-4937-3
- Series ISSN
- 1868-4238
- Edition Number
- 1
- Number of Pages
- XVI, 288
- Topics