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

ISBN: 978-1-4020-8148-4 (Print) 978-1-4020-8149-1 (Online)

Table of contents (32 chapters)

previous Page of 2
  1. Front Matter

    Pages i-xii

  2. Modelling and Specification

    1. Chapter

      Pages 1-10

      MDA Platform for Complex Embedded Systems Development

    2. Chapter

      Pages 11-20

      On Detecting Deadlocks in Large UML Models

    3. Chapter

      Pages 21-30

      Verification Framework for UML-Based Design of Embedded Systems

  3. Verification and Analysis

    1. Chapter

      Pages 31-42

      LTL’s Intuitive Representations and Its Automaton Translation

    2. Chapter

      Pages 43-52

      Modeling and Verification of Hybrid Systems Based on Equations

    3. Chapter

      Pages 53-62

      Distribution of Time Interval Between Successive Interrupt Requests

  4. Fault Detection and Toleration

    1. Chapter

      Pages 63-72

      A Membership Agreement Algorithm Detecting and Tolerating Asymmetric Timing Faults

    2. Chapter

      Pages 73-82

      Temporal Bounds for TTA : Validation

    3. Chapter

      Pages 83-92

      An Active Replication Scheme That Tolerates Failures in Distributed Embedded Real-Time Systems

  5. Automotive and Mechatronic Systems Design

    1. Chapter

      Pages 93-102

      Development of Distributed Automotive Software

    2. Chapter

      Pages 103-112

      Experiences from Model Based Development of Drive-By-Wire Control Systems

    3. Chapter

      Pages 113-122

      Hardware Design and Protocol Specification for the Control and Communication Within a Mechatronic System

  6. Networks and Communication

    1. Chapter

      Pages 123-132

      A Decentralized Self-Organized Approach for Wireless Sensor Networks

    2. Chapter

      Pages 133-144

      A Software Architecture and Supporting Kernel for Largely Synchronously Operating Sensor Networks

    3. Chapter

      Pages 145-156

      Adaptive Bus Encoding Schemes for Power-Efficient Data Transfer in DSM Environments

  7. Scheduling and Resource Management

    1. Chapter

      Pages 157-166

      A Novel Approach for Off-Line Multiprocessor Scheduling in Embedded Hard Real-Time Systems

    2. Chapter

      Pages 167-176

      Schedulability Analysis and Design of Real-Time Embedded Systems with Partitions

    3. Chapter

      Pages 177-186

      Flexible Resource Management

  8. Hardware Architectures and Synthesis

    1. Chapter

      Pages 187-196

      Automatic Synthesis of SystemC-Code from Formal Specifications

    2. Chapter

      Pages 197-206

      Hardware Synthesis of A Parallel JPEG Decoder from Its Functional Specification

previous Page of 2