IFIP Advances in Information and Communication Technology

Design Methods and Applications for Distributed Embedded Systems

IFIP 18th World Computer Congress, TC10 Working Conference on Distributed and Parallel, Embedded Systems (DIPES 2004), 22–27 August, 2004 Toulouse, France

Editors: Kleinjohann, B., Gao, G.R., Kopetz, H., Kleinjohann, L., Rettberg, A. (Eds.)

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-1-4020-8149-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $99.00
price for USA
  • ISBN 978-1-4020-8148-4
  • Free shipping for individuals worldwide
  • This title is currently reprinting. You can pre-order your copy now.
Softcover $99.00
price for USA
  • ISBN 978-1-4757-8012-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

The IFIP TC-10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2004) brings together experts from industry and academia to discuss recent developments in this important and growing field in the splendid city of Toulouse, France. The ever decreasing price/performance ratio of microcontrollers makes it economically attractive to replace more and more conventional mechanical or electronic control systems within many products by embedded real-time computer systems. An embedded real-time computer system is always part of a well-specified larger system, which we call an intelligent product. Although most intelligent products start out as stand-alone units, many of them are required to interact with other systems at a later stage. At present, many industries are in the middle of this transition from stand-alone products to networked embedded systems. This transition requires reflection and architecting: The complexity of the evolving distributed artifact can only be controlled, if careful planning and principled design methods replace the - hoc engineering of the first version of many standalone embedded products.

Table of contents (32 chapters)

  • MDA Platform for Complex Embedded Systems Development

    Mraidha, Chokri (et al.)

    Pages 1-10

  • On Detecting Deadlocks in Large UML Models

    Kersten, Michael (et al.)

    Pages 11-20

  • Verification Framework for UML-Based Design of Embedded Systems

    Kardos, Martin (et al.)

    Pages 21-30

  • LTL’s Intuitive Representations and Its Automaton Translation

    Zhao, Yuhong

    Pages 31-42

  • Modeling and Verification of Hybrid Systems Based on Equations

    Ogata, Kazuhiro (et al.)

    Pages 43-52

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-1-4020-8149-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $99.00
price for USA
  • ISBN 978-1-4020-8148-4
  • Free shipping for individuals worldwide
  • This title is currently reprinting. You can pre-order your copy now.
Softcover $99.00
price for USA
  • ISBN 978-1-4757-8012-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 Methods and Applications for Distributed Embedded Systems
Book Subtitle
IFIP 18th World Computer Congress, TC10 Working Conference on Distributed and Parallel, Embedded Systems (DIPES 2004), 22–27 August, 2004 Toulouse, France
Editors
  • Bernd Kleinjohann
  • Guang R. Gao
  • Hermann Kopetz
  • Lisa Kleinjohann
  • Achim Rettberg
Series Title
IFIP Advances in Information and Communication Technology
Series Volume
150
Copyright
2004
Publisher
Springer US
Copyright Holder
IFIP International Federation for Information Processing
eBook ISBN
978-1-4020-8149-1
DOI
10.1007/b98982
Hardcover ISBN
978-1-4020-8148-4
Softcover ISBN
978-1-4757-8012-3
Series ISSN
1868-4238
Edition Number
1
Number of Pages
XII, 326
Topics