175 years of Springer publishing +++ Through June 30: 50% off Physics & Astronomy Books

IFIP Advances in Information and Communication Technology

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.)

Buy this book

eBook $149.00
price for USA (gross)
  • ISBN 978-0-387-35599-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $199.00
price for USA
  • ISBN 978-1-4020-7156-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $199.00
price for USA
  • ISBN 978-1-4757-4937-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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 (28 chapters)

  • Can UML be a System-Level Language for Embedded Software?

    Fernandes, João M. (et al.)

    Pages 1-10

  • PEARL for Distributed Embedded Systems

    Gumzej, Roman (et al.)

    Pages 11-20

  • Universal Plug and Play Machine Models

    Glässer, Uwe (et al.)

    Pages 21-30

  • Analysis of Event-Driven Real-Time Systems with Time Petri Nets

    Gu, Zonghua (et al.)

    Pages 31-40

  • Petri Net Based Design of Reconfigurable Embedded Real-Time Systems

    Rust, Carsten (et al.)

    Pages 41-50

Buy this book

eBook $149.00
price for USA (gross)
  • ISBN 978-0-387-35599-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $199.00
price for USA
  • ISBN 978-1-4020-7156-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $199.00
price for USA
  • ISBN 978-1-4757-4937-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

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
XII, 286
Topics