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.