Section 1. Model-Based Approaches -- 1. UML as Front-End Language for Embedded Systems Design / Lisane Brisolara de Brisolara, Márcio Eduardo Kreutz, Luigi Carro -- 2. Model-Driven Design and ASM-Based Validation of Embedded Systems / Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra -- 3. Abstract and Concrete Data Type Optimizations at the UML and C/C++ Level for Dynamic Embedded Software / Christos Baloukas, Marijn Temmerman, Anne Keller, Stylianos Mamagkakis, Francky Catthoor, Dimitrios Soudris, Serge Demeyer --

Section 2. Aspect-Oriented Approaches -- 4. Concern Separation for Adaptive QoS Modeling in Distributed Real-time Embedded Systems / Jeff Gray, Sandeep Neema, Jing Zhang, Yuehua Lin, Ted Bapty, Aniruddha Gokhale, Douglas C. Schmidt -- 5. High-Level Design Space Exploration of Embedded Systems Using the Model-Driven Engineering and Aspect-Oriented Design Approaches / Marcio Ferreira da Silva Oliveira, Marco Aurélio Wehrmeister, Francisco Assis do Nascimento, Carlos Eduardo Pereira, Flávio Rech Wagner -- 6. Separation of Concerns in Model-based Development of Distributed Real-time Systems / Dionisio de Niz, Gaurav Bhatia, Raj Rajkumar --

Section 3. Verification & Model Checking -- 7. Using Timed Automata for Modeling the Clocks of Distributed Embedded Systems / Guillermo Rodríguez-Navas, Julián Proenza, Hans Hansson, Paul Pettersson -- 8. Model Checking of Multitasking Real-Time Applications Based on the Timed Automata Model Using One Clock / Libor Waszniowski, Zdenek Hanzalek -- 9. SystemC Platform Modeling for Behavioral Simulation and Performance Estimation of Embedded Systems/ Hector Posadas, Juan Castillo, David Quijano, Victor Fernandez, Eugenio Villar, Marcos Martinez --

Section 4. Design Automation -- 10. Engineering Embedded Software: From Application Modeling to Software Synthesis / Ronaldo Ferreira, Lisane Brisolara, Julio C.B. Mattos, Emilena Spech, Erika Cota, Luigi Carro -- 11. Transaction Level Model Automation for Multicore Systems / Lucky Lo Chi Yu Lo, Samar Abdi, Daniel Gajski -- 12. The Role of Programming Models on Reconfigurable Computing Fabrics / Joao M. P. Cardoso, Joao Bispo, Adriano K. Sanches --

Section 5. Industrial Applications -- 13. Reconfiguration of Industrial Embedded Control Systems / Mohamed Khalgui, Hans-Michael Hanisch -- 14. Architecture Description Languages for the Automotive Domain / Sébastien Faucou, Françoise Simonot-Lion, Yvon Trinquet -- 15. Model-Based Testing of Embedded Systems Exemplified for the Automotive Domain / Justyna Zander, Ina Schieferdecker -- Compilation of References -- About the Contributors -- Index.