Hierarchically Distributing Embedded Systems for Improved Autonomy -- Sorting Units for FPGA-Based Embedded Systems -- Error-Exploiting Video Encoder to Extend Energy/QoS Tradeoffs for Mobile Embedded Systems -- Specification-based Verification of Embedded Systems by Automated Test Case Generation -- Analysis of Periodic Clock Relations in Polychronous Systems -- Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level -- Unifying HW Analysis and SoC Design Flows by Bridging Two Key Standards: UML and IP-XACT -- Expressing Environment Assumptions and Real-time Requirements for a Distributed Embedded System with Shared Variables -- The Components Data Flow Machine: An Intermediate Modeling Format to Support the Design of Automobiles E/E Systems Architectures -- On the Use of Software Quality Metrics to Improve Physical Properties of Embedded Systems -- Minimizing Leakage Energy with Modulo Scheduling for VLIW DSP Processors -- Using Imprecise Computation Techniques for Power Management in Real-Time Embedded Systems -- A Power Model for Register-Sharing Structures -- Design and Implementation of a FTT-CAN Communication Infra-Structure for the RT-femtoJava Processor -- Communication Paradigms for High-Integrity Distributed Systems with Hard Real-Time Requirements -- TinyOS Extensions for a Wireless Sensor Network Node Based on a Dynamically Reconfigurable Processor -- Scheduling Dependent Distributable Real-Time Threads in Dynamic Networked Embedded Systems -- An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration -- Handling QoS Dependencies in Distributed Cooperative Real-Time Systems -- Topology-Aware Energy Efficient Task Assignment for Collaborative In-Network Processing in Distributed Sensor Systems -- Data Partitioning Techniques for Partially Protected Caches to Reduce Soft Error Induced Failures.