Skip to main content
SpringerLink
Log in
Book cover

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

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. Bernd Kleinjohann

    1. University of Paderborn, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Guang R. Gao

    1. University of Delaware, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Hermann Kopetz

    1. Technische Universität Wien, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Lisa Kleinjohann

    1. University of Paderborn/C-LAB, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Achim Rettberg

    1. University of Paderborn/C-LAB, 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 150)

Included in the following conference series:

Conference proceedings info: DIPES 2004.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight 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 (32 papers)

  1. Front Matter

    Pages i-xii
    Download chapter 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
Back to top

Other volumes

  1. Design Methods and Applications for Distributed Embedded Systems

Keywords

About this book

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.

Editors and Affiliations

  • 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

Bibliographic Information

  • Book Title: Design Methods and Applications for Distributed Embedded Systems

  • Book Subtitle: IFIP 18th World Computer Congress, TC10 Working Conference on Distributed and Parallel, Embedded Systems (DIPES 2004), 22–27 August, 2004 Toulouse, France

  • Editors: Bernd Kleinjohann, Guang R. Gao, Hermann Kopetz, Lisa Kleinjohann, Achim Rettberg

  • Series Title: IFIP Advances in Information and Communication Technology

  • DOI: https://doi.org/10.1007/b98982

  • Publisher: Springer New York, NY

  • eBook Packages: Springer Book Archive

  • Copyright Information: IFIP International Federation for Information Processing 2004

  • Hardcover ISBN: 978-1-4020-8148-4Due: 27 July 2004

  • Softcover ISBN: 978-1-4757-8012-3Published: 30 April 2013

  • eBook ISBN: 978-1-4020-8149-1Published: 11 April 2006

  • Series ISSN: 1868-4238

  • Series E-ISSN: 1868-422X

  • Edition Number: 1

  • Number of Pages: XII, 326

  • Topics: Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation