D. Truong-giang-le, O. Fedosov, M. Hermant, and .. Manceny, Renaud Pawlak, and Renaud Rioboo Joint Algorithm Developing and System-Level Design: Case Study on Video Encoding, p.26

A. Marco, . Wehrmeister, and R. Gian, Berkenbrock Non-functional Aspects of Embedded Systems Compiler Optimizations Do Impact the Reliability of Control-Flow Radiation Hardened Embedded Software, p.49

R. B. Parizi, R. R. Ferreira, L. Carro, and F. , Moreira Power Reduction in Embedded Systems Using a Design Methodology Based on Synchronous Finite State Machines, p.61

P. B. Douglas and .. , Renaux and Fabiana Pöttker Low-Power Processors Require Effective Memory Partitioning, p.73

L. Steinfeld and M. Ritt, Fernando Silveira, and Luigi Carro Enhancement of System-Lifetime by Alternating Module Activation, p.82

M. Pockrandt and P. Herber, Verena Klös, and Sabine Glesner XII Table of Contents Reducing Re-verification Effort by Requirement-Based Change

A. Amiar, M. Delahaye, and .. , Ylì es Falcone, and Lydie du Bousquet Hardware and Software Implementations of Prim's Algorithm for Efficient Minimum Spanning Tree Computation, p.151

Y. Ando, S. Shibata, S. Honda, and .. , Hiroyuki Tomiyama, and Hiroaki Takada ARAMIS Special Session Compositional Timing Analysis of Real-Time Systems Based on Resource Segregation Abstraction, p.181

S. Gansel, S. Schnitzer, F. Dürr-sdfas, and .. , Kurt Rothermel, and Christian Maihöfer Exploiting Segregation in Bus-Based MPSoCs to Improve Scalability of Model-Checking-Based Performance Analysis for, p.205

M. Fakih, K. Grüttner, and .. , Martin Fränzle, and Achim Rettberg Table of Contents XIII Formal Verification of Concurrent Embedded Software, p.218

A. Heuer, T. Kaufmann, T. Weyer-proteus-hypervisor, and .. , Full Virtualization and Paravirtualization for Multi-core Embedded Systems, p.293

K. Gilles, S. Groesbrink, and .. , 306 Bruno Dal Bó Silva and Marcelo Götz Real-Time Aspects in Distributed Systems Modeling Time-Triggered Ethernet in SystemC, p.318