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

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
Author: Bernd Kleinjohann, Guang R. Gao, Hermann Kopetz, Lisa Kleinjohann, Achim Rettberg
Published by Springer US
ISBN: 978-1-4020-8148-4
DOI: 10.1007/b98982

Table of Contents:

• MDA Platform for Complex Embedded Systems Development
• On Detecting Deadlocks in Large UML Models
• Verification Framework for UML-Based Design of Embedded Systems
• 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
• 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
• 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
• 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
• 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
• Automatic Synthesis of SystemC-Code from Formal Specifications
• Hardware Synthesis of A Parallel JPEG Decoder from Its Functional Specification

Includes bibliographical references