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 / edited by Bernd Kleinjohann, Guang R. Gao, Hermann Kopetz, Lisa Kleinjohann, Achim Rettberg.

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 m...

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Kleinjohann, Bernd (Editor), Gao, Guang R. (Editor), Kopetz, Hermann (Editor), Kleinjohann, Lisa (Editor), Rettberg, Achim (Editor)
Format:	eBook
Language:	English
Published:	New York, NY : Springer US : Imprint: Springer, 2004.
Edition:	1st ed. 2004.
Series:	IFIP Advances in Information and Communication Technology, 150 Springer eBook Collection.
Subjects:	Artificial intelligence. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Table of Contents:

Modelling and Specification
MDA Platform for Complex Embedded Systems Development
On Detecting Deadlocks in Large UML Models
Verification Framework for UML-Based Design of Embedded Systems
Verification and Analysis
LTL’s Intuitive Representations and Its Automaton Translation
Modeling and Verification of Hybrid Systems Based on Equations
Distribution of Time Interval Between Successive Interrupt Requests
Fault Detection and Toleration
A Membership Agreement Algorithm Detecting and Tolerating Asymmetric Timing Faults
Temporal Bounds for TTA : Validation
An Active Replication Scheme That Tolerates Failures in Distributed Embedded Real-Time Systems
Automotive and Mechatronic Systems Design
Development of Distributed Automotive Software
Experiences from Model Based Development of Drive-By-Wire Control Systems
Hardware Design and Protocol Specification for the Control and Communication Within a Mechatronic System
Networks and Communication
A Decentralized Self-Organized Approach for Wireless Sensor Networks
A Software Architecture and Supporting Kernel for Largely Synchronously Operating Sensor Networks
Adaptive Bus Encoding Schemes for Power-Efficient Data Transfer in DSM Environments
Scheduling and Resource Management
A Novel Approach for Off-Line Multiprocessor Scheduling in Embedded Hard Real-Time Systems
Schedulability Analysis and Design of Real-Time Embedded Systems with Partitions
Flexible Resource Management
Hardware Architectures and Synthesis
Automatic Synthesis of SystemC-Code from Formal Specifications
Hardware Synthesis of A Parallel JPEG Decoder from Its Functional Specification
A Self-Controlled and Dynamically Reconfigurable Architecture
Design Space Exploration
Profiling Specification Pearl Designs
A Multiobjective Tabu Search Algorithm for The Design Space Exploration of Embedded Systems
Design Space Exploration with Automatic Generation of IP-Based Embedded Software
Design Methodologies and User Interfaces
A Multi-Level Design Pattern for Embedded Software
A Petri Net Approach for The Design of Dynamically Modifiable Embedded Systems
Internet Premium Services for Flexible Format Distributed Devices
Short Papers
Evaluating High-Level Models for Real Time Embedded Systems Design
A Dataflow Language (AVON) as an Architecture Description Language (ADL)
Engineering Concurrent and Reactive Systems with Distributed Real-Time Abstract State Machines
The Implications of Real-Time Behavior in Networks-on-Chip Architectures
ME64 - A Parallel Hardware Architecture for Motion Estimation Implemented in FPGA.

Similar Items