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