Design Methods and Applications for Distributed Embedded Systems

1. Front Matter

   Pages i-xii

   PDF

2. Modelling and Specification

   1. MDA Platform for Complex Embedded Systems Development

      • Chokri Mraidha, Sylvain Robert, Sébastien Gérard, David Servat

      Pages 1-10

   2. On Detecting Deadlocks in Large UML Models

      • Michael Kersten, Wolfgang Nebel

      Pages 11-20

   3. Verification Framework for UML-Based Design of Embedded Systems

      • Martin Kardos, Yuhong Zhao

      Pages 21-30

3. Verification and Analysis

   1. LTL’s Intuitive Representations and Its Automaton Translation

      • Yuhong Zhao

      Pages 31-42

   2. Modeling and Verification of Hybrid Systems Based on Equations

      • Kazuhiro Ogata, Daigo Yamagishi, Takahiro Seino, Kokichi Futatsugi

      Pages 43-52

   3. Distribution of Time Interval Between Successive Interrupt Requests

      • Wojciech Noworyta

      Pages 53-62

4. Fault Detection and Toleration

   1. A Membership Agreement Algorithm Detecting and Tolerating Asymmetric Timing Faults

      • Håkan Sivencrona, Mattias Persson, Jan Torin

      Pages 63-72

   2. Temporal Bounds for TTA : Validation

      • K. Godary, I. Augé-Blum, A. Mignotte

      Pages 73-82

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

      • Alain Girault, Hamoudi Kalla, Yves Sorel

      Pages 83-92

5. Automotive and Mechatronic Systems Design

   1. Development of Distributed Automotive Software

      • Uwe Honekamp, Matthias Wernicke

      Pages 93-102

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

      • Per Johannessen, Fredrik Törner, Jan Torin

      Pages 103-112

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

      • André Luiz de Freitas Francisco, Achim Rettberg, Andreas Hennig

      Pages 113-122

6. Networks and Communication

   1. A Decentralized Self-Organized Approach for Wireless Sensor Networks

      • Jean-Paul Jamont, Michel Occello, André Lagrèze

      Pages 123-132

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

      • K. H. Kim, C. S. Im, M. C. Kim, Y. Q. Li, S. M. Yoo, L. C. Zheng

      Pages 133-144

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

      • Claudia Kretzschmar, Markus Scheithauer, Dietmar Mueller

      Pages 145-156

7. Scheduling and Resource Management

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

      • Raimundo Barreto, Paulo Maciel, Marília Neves, Eduardo Tavares, Ricardo Lima

      Pages 157-166

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

      • David Doose, Zoubir Mammeri

      Pages 167-176

   3. Flexible Resource Management

      • Carsten Boeke, Simon Oberthuer

      Pages 177-186

8. Hardware Architectures and Synthesis

   1. Automatic Synthesis of SystemC-Code from Formal Specifications

      • Carsten Rust, Achim Rettberg

      Pages 187-196

The IFIP TC-10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2004) brings together experts from industry and academia to discuss recent developments in this important and growing field in the splendid city of Toulouse, France. The ever decreasing price/performance ratio of microcontrollers makes it economically attractive to replace more and more conventional mechanical or electronic control systems within many products by embedded real-time computer systems. An embedded real-time computer system is always part of a well-specified larger system, which we call an intelligent product. Although most intelligent products start out as stand-alone units, many of them are required to interact with other systems at a later stage. At present, many industries are in the middle of this transition from stand-alone products to networked embedded systems. This transition requires reflection and architecting: The complexity of the evolving distributed artifact can only be controlled, if careful planning and principled design methods replace the - hoc engineering of the first version of many standalone embedded products.

• Action Description Language
• Kernel
• algorithms
• communication
• complexity
• microcontroller
• modeling
• search algorithm
• space exploration
• verification

• University of Paderborn, Germany

  Bernd Kleinjohann

• University of Delaware, USA

  Guang R. Gao

• Technische Universität Wien, Austria

  Hermann Kopetz

• University of Paderborn/C-LAB, Germany

  Lisa Kleinjohann, Achim Rettberg

Policies and ethics