
Design Methods And Applications For Distributed Embedded Systems
by Kleinjohann, Bernd; Gao, Guang R.; Kopetz, Hermann; Kleinjohann, Lisa; Rettberg, AchimRent Textbook
Rent Digital
New Textbook
We're Sorry
Sold Out
Used Textbook
We're Sorry
Sold Out
Summary
Table of Contents
MDA platform for complex embedded systems development | p. 1 |
On detecting deadlocks in large UML models | p. 11 |
Verification framework for UML-based design of embedded systems | p. 21 |
LTL's intutitive representations and its automaton translation | p. 31 |
Modeling and verification of hybrid systems based on equations | p. 43 |
Distribution of time interval between successive interrupt requests | p. 53 |
A membership agreement algorithm detecting and tolerating asymmetric timing faults | p. 63 |
Temporal bounds for TTA : validation | p. 73 |
An active replication scheme that tolerates failure in distributed embedded real-time systems | p. 83 |
Development of distributed automotive software : the DaVinci methodology | p. 93 |
Experiences from model based development of drive-by-wire control systems | p. 103 |
Hardware design and protocol specification for the control and communication within a mechatronic system | p. 113 |
A decentralized self-organized approach for wireless sensor networks | p. 123 |
A software architecture and supporting kernel for largely synchronously operating sensor networks | p. 133 |
Adaptive bus encoding schemes for power-efficient data transfer in DSM environments | p. 145 |
A novel approach for off-line multiprocesor scheduling in embedded hard real-time systems | p. 157 |
Schedulability analysis and design of real-time embedded systems with partitions | p. 167 |
Flexible resource management : a framework for self-optimizing real-time systems | p. 177 |
Automatic synthesis of SystemC-code from formal specifications | p. 187 |
Hardware synthesis of a parallel JPEG decoder from its functional specification | p. 197 |
A self-controlled and dynamically reconfigurable architecture | p. 207 |
Profiling specification PEARL designs | p. 217 |
A multiobjective tabu search algorithm for the design space exploration of embedded systems | p. 227 |
Design space exploration with automatic generation of IP-based embedded software | p. 237 |
A multi-level design pattern for embedded software | p. 247 |
A petri net based approach for the design of dynamically modifiable embedded systems | p. 257 |
Internet premium services for flexible format distributed services | p. 267 |
Evaluating high-level models for real-time embedded systems design | p. 277 |
A dataflow language (AVON) as an architecture description language (ADL) | p. 287 |
Engineering concurrent and reactive systems with distributed real-time abstract state machines | p. 297 |
The implications of real-time behavior in networks-on-chip architectures | p. 307 |
ME64 - a parallel hardware architecture for motion estimation implemented in FPGA | p. 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.