Design Methods And Applications For Distributed Embedded Systems

by ; ; ; ;
Format: Hardcover
Pub. Date: 2004-10-01
Publisher(s): Kluwer Academic Pub
List Price: $104.99

Rent Textbook

Select for Price
There was a problem. Please try again later.

Rent Digital

Rent Digital Options
Online:30 Days access
Downloadable:30 Days
$19.80
Online:60 Days access
Downloadable:60 Days
$26.40
Online:90 Days access
Downloadable:90 Days
$33.00
Online:120 Days access
Downloadable:120 Days
$39.60
Online:180 Days access
Downloadable:180 Days
$42.90
Online:1825 Days access
Downloadable:Lifetime Access
$65.99
*To support the delivery of the digital material to you, a digital delivery fee of $3.99 will be charged on each digital item.
$42.90*

New Textbook

We're Sorry
Sold Out

Used Textbook

We're Sorry
Sold Out

Summary

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 ad-hoc engineering of the first version of many standalone embedded products.Design Methods and Applications for Distributed Embedded Systems documents recent approaches and results presented at the IFIP TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2004), which was held in August 2004 as a co-located conference of the 18th IFIP World Computer Congress in Toulouse, France, and sponsored by the International Federation for Information Processing (IFIP). The topics which have been chosen for this working conference are very timely: model-based design methods, design space exploration, design methodologies and user interfaces, networks and communication, scheduling and resource management, fault detection and fault tolerance, and verification and analysis. These topics are supplemented by several hardware and application oriented papers.

Table of Contents

MDA platform for complex embedded systems developmentp. 1
On detecting deadlocks in large UML modelsp. 11
Verification framework for UML-based design of embedded systemsp. 21
LTL's intutitive representations and its automaton translationp. 31
Modeling and verification of hybrid systems based on equationsp. 43
Distribution of time interval between successive interrupt requestsp. 53
A membership agreement algorithm detecting and tolerating asymmetric timing faultsp. 63
Temporal bounds for TTA : validationp. 73
An active replication scheme that tolerates failure in distributed embedded real-time systemsp. 83
Development of distributed automotive software : the DaVinci methodologyp. 93
Experiences from model based development of drive-by-wire control systemsp. 103
Hardware design and protocol specification for the control and communication within a mechatronic systemp. 113
A decentralized self-organized approach for wireless sensor networksp. 123
A software architecture and supporting kernel for largely synchronously operating sensor networksp. 133
Adaptive bus encoding schemes for power-efficient data transfer in DSM environmentsp. 145
A novel approach for off-line multiprocesor scheduling in embedded hard real-time systemsp. 157
Schedulability analysis and design of real-time embedded systems with partitionsp. 167
Flexible resource management : a framework for self-optimizing real-time systemsp. 177
Automatic synthesis of SystemC-code from formal specificationsp. 187
Hardware synthesis of a parallel JPEG decoder from its functional specificationp. 197
A self-controlled and dynamically reconfigurable architecturep. 207
Profiling specification PEARL designsp. 217
A multiobjective tabu search algorithm for the design space exploration of embedded systemsp. 227
Design space exploration with automatic generation of IP-based embedded softwarep. 237
A multi-level design pattern for embedded softwarep. 247
A petri net based approach for the design of dynamically modifiable embedded systemsp. 257
Internet premium services for flexible format distributed servicesp. 267
Evaluating high-level models for real-time embedded systems designp. 277
A dataflow language (AVON) as an architecture description language (ADL)p. 287
Engineering concurrent and reactive systems with distributed real-time abstract state machinesp. 297
The implications of real-time behavior in networks-on-chip architecturesp. 307
ME64 - a parallel hardware architecture for motion estimation implemented in FPGAp. 317
Table of Contents provided by Blackwell. All Rights Reserved.

An electronic version of this book is available through VitalSource.

This book is viewable on PC, Mac, iPhone, iPad, iPod Touch, and most smartphones.

By purchasing, you will be able to view this book online, as well as download it, for the chosen number of days.

Digital License

You are licensing a digital product for a set duration. Durations are set forth in the product description, with "Lifetime" typically meaning five (5) years of online access and permanent download to a supported device. All licenses are non-transferable.

More details can be found here.

A downloadable version of this book is available through the eCampus Reader or compatible Adobe readers.

Applications are available on iOS, Android, PC, Mac, and Windows Mobile platforms.

Please view the compatibility matrix prior to purchase.