Skip to main content
SpringerLink
Log in
Book cover

Architecture and Design of Distributed Embedded Systems

IFIP WG10.3/WG10.4/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000) October 18–19, 2000, Schloß Eringerfeld, Germany

  • Book
  • © 2001

Overview

Editors:
  1. Bernd Kleinjohann

    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 61)

Included in the following conference series:

Conference proceedings info: DIPES 2000.

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 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.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 (23 chapters)

  1. Front Matter

    Pages i-ix
    Download chapter PDF

  2. Methodology I

    1. A Methodology for Complex Embedded Systems Design

      • R. J. Machado, J. M. Fernandes, H. D. Santos
      Pages 1-10

    2. Efficient System Modeling of Complex Real-Time Industrial Networks Using the ACCORD/UML Methodology

      • Sébastien Gérard, François Terrier, Nikos S. Voros, Christos Koulamas
      Pages 11-21

    3. Analog/Digital Co-Design

      • Frank Heuschen, Klaus Waldschmidt
      Pages 23-32

    4. A Design Methodology for Embedded Systems Based on Multiple Processors

      • Luigi Carro, Flávio Wagner, Márcio Kreutz, Marcio Oyamada
      Pages 33-42

  3. Architecture

    1. An Architecture for Reliable Distributed Computer-Controlled Systems

      • Luís Miguel Pinho, Francisco Vasques
      Pages 43-52

    2. Generic Architecture Platform for Multiprocessor System-on-Chip Design

      • A. Baghdadi, N-E. Zergainoh, D. Lyonnard, A. A. Jerraya
      Pages 53-63

    3. JPURE — A Purified Java Execution Environment for Controller Networks

      • Danilo Beuche, Lars Büttner, Daniel Mahrenholz, Wolfgang Schröder-Preikschat, Friedrich Schön
      Pages 65-73

    4. Optimizing Functional Distribution in Complex System Design

      • O. P. Dias, I. M. Teixeira, J. P. Teixeira, L. B. Becker, C. E. Pereira
      Pages 75-85

  4. Design Environments

    1. Customizing Software Toolkits for Embedded Systems-on-Chip

      • Ashok Halambi, Nikil Dutt, Alex Nicolau
      Pages 87-97

    2. Framework for System Design, Validation and Fast Prototyping of Multiprocessor System-on-Chip

      • N. E. Zergainoh, A. Baghdadi, L. Tambour, D. Lyonnard, A. A. Jerraya
      Pages 99-110

    3. The Specification Language SpecC within the PARADISE Design Environment

      • A. Rettberg, F. J. Rammig, A. Gerstlauer, D. D. Gajski, W. Hardt, B. Kleinjohann
      Pages 111-120

  5. Methodology II

    1. Real-Time Support for Online Controller Supervision and Optimisation

      • Markus Deppe, Oliver Oberschelp
      Pages 121-130

    2. A Product Family Approach to Graceful Degradation

      • William Nace, Philip Koopman
      Pages 131-140

    3. Environment Modelling in Closed Specifications of Embedded Systems

      • Mika Katara, Arto Luoma
      Pages 141-150

  6. Test and Validation

    1. Test Case Design for the Validation of Component-Based Embedded Systems

      • Wolfgang Fleisch
      Pages 151-160

    2. Timing Constraints Validation Using Uppaal

      • Hongyan Sun
      Pages 161-171

  7. Distribution and Communication

    1. A New Dynamic Scheduling Algorithm for Real-Time Multiprocessor Systems

      • Ying Qiao, Hongan Wang, Guozhong Dai
      Pages 173-182

    2. Deriving Message Passing Protocols from Collective Behavior

      • Pertti Kellomäki
      Pages 183-192

    3. Java Real-Time Publish-Subscribe Middleware for Distributed Embedded Systems

      • Daeyoung Kim, Yoonmee Doh, Yann-Hang Lee
      Pages 193-203
Back to top

Keywords

About this book

Due to the decreasing production costs of IT systems, applications that had to be realised as expensive PCBs formerly, can now be realised as a system-on-chip. Furthermore, low cost broadband communication media for wide area communication as well as for the realisation of local distributed systems are available. Typically the market requires IT systems that realise a set of specific features for the end user in a given environment, so called embedded systems. Some examples for such embedded systems are control systems in cars, airplanes, houses or plants, information and communication devices like digital TV, mobile phones or autonomous systems like service- or edutainment robots.
For the design of embedded systems the designer has to tackle three major aspects:
  • The application itself including the man-machine interface,
  • The (target) architecture of the system including all functional and non-functional constraints and,
  • the design methodology including modelling, specification, synthesis, test and validation.
The last two points are a major focus of this book.
This book documents the high quality approaches and results that were presented at the International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000), which was sponsored by the International Federation for Information Processing (IFIP), and organised by IFIP working groups WG10.3, WG10.4 and WG10.5. The workshop took place on October 18-19, 2000, in Schloß Eringerfeld near Paderborn, Germany.
Architecture and Design of Distributed Embedded Systems is organised similar to the workshop. Chapters 1 and 4 (Methodology I and II) deal with different modelling and specification paradigms and the corresponding design methodologies. Generic system architectures for different classes of embedded systems are presented in Chapter 2. In Chapter 3 several design environments for the support ofspecific design methodologies are presented. Problems concerning test and validation are discussed in Chapter 5. The last two chapters include distribution and communication aspects (Chapter 6) and synthesis techniques for embedded systems (Chapter 7).
This book is essential reading for computer science researchers and application developers.

Editors and Affiliations

  • University of Paderborn / C-LAB, Germany

    Bernd Kleinjohann

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation