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

  • Franz J. Rammig

Part of the IFIP — The International Federation for Information Processing book series (IFIPAICT, volume 25)

Table of contents

  1. Front Matter
    Pages i-ix
  2. Formalisms for Embedded System Design

    1. Front Matter
      Pages 1-1
    2. Daniel D. Gajski, Rainer Dömer, Jianwen Zhu
      Pages 3-21
    3. Bernd Kleinjohann
      Pages 23-36
  3. Synthesis from Synchronous/Asynchronous Specification

  4. Partitioning and Load-Balancing

    1. Front Matter
      Pages 83-83
    2. Ronald Moore, Melanie Klang, Bernd Klauer, Klaus Waldschmidt
      Pages 85-96
    3. Ralf Kluthe, Wolfgang Obelöer, Claus Grewe
      Pages 117-126
  5. Verification and Validation

  6. Design Environments

    1. Front Matter
      Pages 167-167

About this book

Introduction

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.
  • Keywords

    complexity computer computer science information simulation simulation model system verification

    Editors and affiliations

    • Franz J. Rammig
      • 1
    1. 1.University of PaderbornGermany

    Bibliographic information

    • DOI https://doi.org/10.1007/978-0-387-35570-2
    • Copyright Information Springer Science+Business Media New York 1999
    • Publisher Name Springer, Boston, MA
    • eBook Packages Springer Book Archive
    • Print ISBN 978-1-4757-5006-5
    • Online ISBN 978-0-387-35570-2
    • Series Print ISSN 1868-4238
    • Series Online ISSN 1868-422X
    • About this book