Skip to main content
SpringerLink
Log in

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

  • Book
  • © 1999

Overview

Editors:
  1. Franz J. Rammig

    1. University of Paderborn, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: IFIP Advances in Information and Communication Technology (IFIPAICT, volume 25)

Included in the following conference series:

Conference proceedings info: DIPES 1998.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (21 chapters)

  1. Front Matter

    Pages i-ix
    Download chapter PDF

  2. Formalisms for Embedded System Design

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. IP-Centric Methodology and Specification Language

      • Daniel D. Gajski, Rainer Dömer, Jianwen Zhu
      Pages 3-21

    3. Multilanguage Design

      • Bernd Kleinjohann
      Pages 23-36

  3. Synthesis from Synchronous/Asynchronous Specification

    1. Front Matter

      Pages 37-37
      Download chapter PDF

    2. From Synchronous Specifications to Asynchronous Distributed Implementations

      • Peter Scholz
      Pages 39-49

    3. Using Extended Predicate/Transition-Nets for the Specification, Analysis and Synthesis of Embedded Real-Time Systems

      • Jürgen Tacken
      Pages 51-60

    4. From MSCS to Statecharts

      • Ingolf Krüger, Radu Grosu, Peter Scholz, Manfred Broy
      Pages 61-71

    5. Software Synthesis from Statechart Models for Real Time Systems

      • Claude Ackad
      Pages 73-81

  4. Partitioning and Load-Balancing

    1. Front Matter

      Pages 83-83
      Download chapter PDF

    2. Combining Static Partitioning with Dynamic Distribution of Threads

      • Ronald Moore, Melanie Klang, Bernd Klauer, Klaus Waldschmidt
      Pages 85-96

    3. Distributed HIL Simulation for the Design of Decentralized Control Structures

      • Ralf Stolpe, Oliver Oberschelp
      Pages 97-106

    4. Distributed HIL Simulation of Mechatronic Systems Applied to an Agricultural Machine

      • Mauro Cesar Zanella, Ralf Stolpe
      Pages 107-116

    5. Agent-Based Load Balancing for Mobile Robot Applications

      • Ralf Kluthe, Wolfgang Obelöer, Claus Grewe
      Pages 117-126

  5. Verification and Validation

    1. Front Matter

      Pages 127-127
      Download chapter PDF

    2. Comparing Model Checking and Term Rewriting for the Verification of an Embedded System

      • Klaus Schneider, Michaela Huhn
      Pages 129-138

    3. Microscopic Modeling of Support System for In-Vehicle Embedded Systems

      • M. Courrier, F. Simonot-Lion, Y.-Q. Song
      Pages 139-148

    4. Extended SDL-Based Tools for Rapid Prototyping of Application Specific Signal Processors

      • Philippe Leblanc, Jean-Luc Roux
      Pages 149-156

    5. Block Diagram Based Real-Time Simulation on a Network of Alpha Processors and C40 DSPS

      • U. Kiffmeier, M. Beine
      Pages 157-166

  6. Design Environments

    1. Front Matter

      Pages 167-167
      Download chapter PDF
Back to top

Keywords

About this book

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.

    • Editors and Affiliations

    • University of Paderborn, Germany

      Franz J. Rammig

    Bibliographic Information

    Publish with us

    Policies and ethics

    Back to top

    Search

    Navigation