Logo - springer
Slogan - springer

Computer Science - Information Systems and Applications | Distributed and Parallel Embedded Systems - IFIP WG10.3/WG10.5 International Workshop on Distributed

Distributed and Parallel Embedded Systems

IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES’98) October 5–6, 1998, Schloß Eringerfeld, Germany

Rammig, Franz J. (Ed.)

1999, X, 240 p.

Available Formats:
eBook
Information

Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.

You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.

After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.

 
$219.00

(net) price for USA

ISBN 978-0-387-35570-2

digitally watermarked, no DRM

Included Format: PDF

download immediately after purchase


learn more about Springer eBooks

add to marked items

Hardcover
Information

Hardcover version

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.

 
$285.00

(net) price for USA

ISBN 978-0-7923-8614-8

free shipping for individuals worldwide

usually dispatched within 3 to 5 business days


add to marked items

Softcover
Information

Softcover (also known as softback) version.

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.

 
$285.00

(net) price for USA

ISBN 978-1-4757-5006-5

free shipping for individuals worldwide

usually dispatched within 3 to 5 business days


add to marked items

Embedded systems are becoming one of the major driving forces in computer science. Furthermore, it is the impact of embedded information technology that dictates the pace in most engineering domains. Nearly all technical products above a certain level of complexity are not only controlled but increasingly even dominated by their embedded computer systems.
Traditionally, such embedded control systems have been implemented in a monolithic, centralized way. Recently, distributed solutions are gaining increasing importance. In this approach, the control task is carried out by a number of controllers distributed over the entire system and connected by some interconnect network, like fieldbuses. Such a distributed embedded system may consist of a few controllers up to several hundred, as in today's top-range automobiles.
Distribution and parallelism in embedded systems design increase the engineering challenges and require new development methods and tools.
This book is the result of the International Workshop on Distributed and Parallel Embedded Systems (DIPES'98), organized by the International Federation for Information Processing (IFIP) Working Groups 10.3 (Concurrent Systems) and 10.5 (Design and Engineering of Electronic Systems). The workshop took place in October 1998 in Schloss Eringerfeld, near Paderborn, Germany, and the resulting book reflects the most recent points of view of experts from Brazil, Finland, France, Germany, Italy, Portugal, and the USA.
The book is organized in six chapters:
  • `Formalisms for Embedded System Design': IP-based system design and various approaches to multi-language formalisms.
  • `Synthesis from Synchronous/Asynchronous Specification': Synthesis techniques based on Message Sequence Charts (MSC), StateCharts, and Predicate/Transition Nets.
  • `Partitioning and Load-Balancing': Application in simulation models and target systems.
  • <`Verification and Validation': Formal techniques for precise verification and more pragmatic approaches to validation.
  • `Design Environments' for distributed embedded systems and their impact on the industrial state of the art.
  • `Object Oriented Approaches': Impact of OO-techniques on distributed embedded systems. £/LIST£
    This volume will be essential reading for computer science researchers and application developers.
  • Content Level » Research

    Keywords » complexity - computer - computer science - information - simulation - simulation model - system - verification

    Related subjects » Artificial Intelligence - Communication Networks - Information Systems and Applications - Security and Cryptology

    Table of contents 

    Preface. Workshop Committee. 1. Formalisms for Embedded System Design. 2. Synthesis from Synchronous/Asynchronous Specification. 3. Partitioning and Load-Balancing. 4. Verification and Validation. 5. Design Environments. 6. Object Oriented Approaches.

    Popular Content within this publication 

     

    Articles

    Read this Book on Springerlink

    Services for this book

    New Book Alert

    Get alerted on new Springer publications in the subject area of Computer-Aided Engineering (CAD, CAE) and Design.