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

Editors:

ISBN: 978-1-4757-5006-5 (Print) 978-0-387-35570-2 (Online)

Table of contents (21 chapters)

previous Page of 2
  1. Front Matter

    Pages i-ix

  2. Formalisms for Embedded System Design

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 3-21

      IP-Centric Methodology and Specification Language

    3. No Access

      Book Chapter

      Pages 23-36

      Multilanguage Design

  3. Synthesis from Synchronous/Asynchronous Specification

    1. Front Matter

      Pages 37-37

    2. No Access

      Book Chapter

      Pages 39-49

      From Synchronous Specifications to Asynchronous Distributed Implementations

    3. No Access

      Book Chapter

      Pages 51-60

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

    4. No Access

      Book Chapter

      Pages 61-71

      From MSCS to Statecharts

    5. No Access

      Book Chapter

      Pages 73-81

      Software Synthesis from Statechart Models for Real Time Systems

  4. Partitioning and Load-Balancing

    1. Front Matter

      Pages 83-83

    2. No Access

      Book Chapter

      Pages 85-96

      Combining Static Partitioning with Dynamic Distribution of Threads

    3. No Access

      Book Chapter

      Pages 97-106

      Distributed HIL Simulation for the Design of Decentralized Control Structures

    4. No Access

      Book Chapter

      Pages 107-116

      Distributed HIL Simulation of Mechatronic Systems Applied to an Agricultural Machine

    5. No Access

      Book Chapter

      Pages 117-126

      Agent-Based Load Balancing for Mobile Robot Applications

  5. Verification and Validation

    1. Front Matter

      Pages 127-127

    2. No Access

      Book Chapter

      Pages 129-138

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

    3. No Access

      Book Chapter

      Pages 139-148

      Microscopic Modeling of Support System for In-Vehicle Embedded Systems

    4. No Access

      Book Chapter

      Pages 149-156

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

    5. No Access

      Book Chapter

      Pages 157-166

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

  6. Design Environments

    1. Front Matter

      Pages 167-167

    2. No Access

      Book Chapter

      Pages 169-179

      The Dase Tool: An Environment for the Development of Real-Time Applications

    3. No Access

      Book Chapter

      Pages 181-190

      PARADISE: Design Environment for Para llel & Dis tributed, E mbedded Real-Time Systems

    4. No Access

      Book Chapter

      Pages 191-200

      MCI — Multilanguage Distributed Co-Simulation Tool

  7. Object Oriented Approaches

    1. Front Matter

      Pages 201-201

    2. No Access

      Book Chapter

      Pages 203-212

      Rapid Prototyping of Distributed Mechatronic Applications

    3. No Access

      Book Chapter

      Pages 213-222

      An OO Based Methodology for Real-Time Hw/Sw Systems Modeling

    4. No Access

      Book Chapter

      Pages 223-230

      Modeling Distributed State as an Abstract Object

previous Page of 2