+612 9045 4394
 
CHECKOUT
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, Schloss Eringerfeld, Germany - Bernd Kleinjohann

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, Schloss Eringerfeld, Germany

By: Bernd Kleinjohann (Editor)

Hardcover Published: 30th April 2001
ISBN: 9780792373452
Number Of Pages: 238

Share This Book:

Hardcover

RRP $654.99
$453.25
31%
OFF
or 4 easy payments of $113.31 with Learn more
Ships in 7 to 10 business days

Earn 907 Qantas Points
on this Book

Other Available Editions (Hide)

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 SchloA 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 of specific 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.

Prefacep. vii
Workshop Organisationp. ix
Methodology
A Methodology for Complex Embedded Systems Design: Petri Nets within a UML Approachp. 1
Efficient System Modeling for Complex Real-Time Industrial Networks using the ACCORD/UML Methodologyp. 11
Analog/Digital Co-Designp. 23
A Design Methodology for Embedded Systems based on Multiple Processorsp. 33
Architecture
An Architecture for Reliable Distributed Computer-Controlled Systemsp. 43
Generic Architecture Platform for Multiprocessor System-On-Chip Designp. 53
JPURE--A Purified Java Execution Environment for Controller Networksp. 65
Optimizing Functional distribution in Complex System Designp. 75
Design Environments
Customizing Software Toolkits for Embedded Systems-On-Chipp. 87
Framework for System Design, Validation and Fast Prototyping of Multiprocessor System-On-Chipp. 99
The Specification Language SpecC within the PARADISE Design Environmentp. 111
Methodology II
Real-Time Support for Online Controller Supervision and Optimisationp. 121
A Product Family Approach to Graceful Degradationp. 131
Environment Modelling in Closed Specifications of Embedded Systemsp. 141
Test and Validation
Test Case Design for the Validation of Component-Based Embedded Systemsp. 151
Timing Constraints Validation using UPPAAL: Schedulability Analysisp. 161
Distribution and Communication
A New Dynamic Scheduling Algorithm for Real-Time Multiprocessor Systemsp. 173
Deriving Message Passing Protocols from Collective Behaviorp. 183
Java Real-Time Publish-Subscribe Middleware for Distributed Embedded Systemsp. 193
Synthesis
A Verified Hardware Synthesis of Esterel Programsp. 205
EXPLORA--Generic Design Space Exploration during Embedded System Synthesisp. 215
Automatic Code Generation for Multirate Simulink Models with Support for the OSEK Real-Time Operating Systemp. 227
Table of Contents provided by Syndetics. All Rights Reserved.

ISBN: 9780792373452
ISBN-10: 0792373456
Series: IFIP Advances in Information and Communication Technology
Audience: Professional
Format: Hardcover
Language: English
Number Of Pages: 238
Published: 30th April 2001
Publisher: Springer
Country of Publication: NL
Dimensions (cm): 23.5 x 15.5  x 1.78
Weight (kg): 0.53

Earn 907 Qantas Points
on this Book

Popular Searches