Table of Contents

Table of Contents
Foreword ............................................................................................................................................xiii
Preface ................................................................................................................................................ xvi
Acknowledgment ............................................................................................................................ xxvii
Section 1
Model-Based Approaches
Chapter 1
UML as Front-End Language for Embedded Systems Design .............................................................. 1
Lisane Brisolara de Brisolara, Universidade Federal de Pelotas (UFPEL), Brazil
Márcio Eduardo Kreutz, Universidade de Santa Cruz do Sul (UNISC), Brazil
Luigi Carro, Universidade Federal do Rio Grande do Sul (UFRGS), Brazil
Chapter 2
Model-Driven Design and ASM-Based Validation of Embedded Systems ......................................... 24
Angelo Gargantini, Università di Bergamo, Italy
Elvinia Riccobene, Università degli Studi di Milano, Italy
Patrizia Scandurra, Università di Bergamo, Italy
Chapter 3
Abstract and Concrete Data Type Optimizations at the UML and C/C++ Level for Dynamic
Embedded Software ............................................................................................................................. 55
Christos Baloukas, Democritus University of Thrace, Greece
Marijn Temmerman, Karel de Grote Hogeschool, Belgium
Anne Keller, University of Antwerpen, Belgium
Stylianos Mamagkakis, IMEC, Belgium
Francky Catthoor, IMEC, Belgium
Dimitrios Soudris, National Technical University of Athens, Greece
Serge Demeyer, University of Antwerpen, Belgium
Section 2
Aspect-Oriented Approaches
Chapter 4
Concern Separation for Adaptive QoS Modeling in Distributed Real-time Embedded Systems ........ 85
Jeff Gray, University of Alabama at Birmingham, USA
Sandeep Neema, Vanderbilt University, USA
Jing Zhang, Motorola Research, USA
Yuehua Lin, Honda Manufacturing of Alabama, USA
Ted Bapty, Vanderbilt University, USA
Aniruddha Gokhale, Vanderbilt University, USA
Douglas C. Schmidt, Vanderbilt University, USA
Chapter 5
High-Level Design Space Exploration of Embedded Systems Using the Model-Driven
Engineering and Aspect-Oriented Design Approaches ...................................................................... 114
Marcio Ferreira da Silva Oliveira, Universidade Federal do Rio Grande do Sul
(UFRGS), Brazil
Marco Aurélio Wehrmeister, Universidade Federal do Rio Grande do Sul (UFRGS), Brazil
Francisco Assis do Nascimento, Universidade Federal do Rio Grande do Sul (UFRGS),
Brazil
Carlos Eduardo Pereira, Universidade Federal do Rio Grande do Sul (UFRGS), Brazil
Flávio Rech Wagner, Universidade Federal do Rio Grande do Sul (UFRGS), Brazil
Chapter 6
Separation of Concerns in Model-based Development of Distributed Real-time Systems ............... 147
Dionisio de Niz, Carnegie-Mellon University, USA
Gaurav Bhatia, Carnegie-Mellon University, USA
Raj Rajkumar, Carnegie-Mellon University, USA
Section 3
Verification & Model Checking
Chapter 7
Using Timed Automata for Modeling the Clocks of Distributed Embedded Systems ...................... 172
Guillermo Rodríguez-Navas, Universitat de les Illes Balears, Spain
Julián Proenza, Universitat de les Illes Balears, Spain
Hans Hansson, Mälardalen University, Sweden
Paul Pettersson, Mälardalen University, Sweden
Chapter 8
Model Checking of Multitasking Real-Time Applications Based on the Timed Automata Model
Using One Clock ................................................................................................................................ 194
Libor Waszniowski, Czech Technical University, Czech Republic
ZdeněkHanzálek,CzechTechnicalUniversity,CzechRepublic
Chapter 9
SystemC Platform Modeling for Behavioral Simulation and Performance Estimation of
Embedded Systems ............................................................................................................................ 219
Héctor Posadas, University of Cantabria, Spain
Juan Castillo, University of Cantabria, Spain
David Quijano, University of Cantabria, Spain
Victor Fernández, University of Cantabria, Spain
Eugenio Villar, University of Cantabria, Spain
Marcos Martínez, DS2, Spain
Section 4
Design Automation
Chapter 10
Engineering Embedded Software: From Application Modeling to Software Synthesis .................... 245
Ronaldo Ferreira, Universidade Federal do Rio Grande do Sul (UFRGS), Brazil
Lisane Brisolara, Universidade Federal de Pelotas (UFPEL), Brazil
Julio C.B. Mattos, Universidade Federal de Pelotas (UFPEL), Brazil
Emilena Spech, Universidade Federal do Rio Grande do Sul (UFRGS), Brazil
Erika Cota, Universidade Federal do Rio Grande do Sul (UFRGS), Brazil
Luigi Carro, Universidade Federal do Rio Grande do Sul (UFRGS), Brazil
Chapter 11
Transaction Level Model Automation for Multicore Systems ........................................................... 271
Lucky Lo Chi Yu Lo, University of California Irvine, USA
Samar Abdi, University of California Irvine, USA
Daniel Gajski, University of California Irvine, USA
Chapter 12
The Role of Programming Models on Reconfigurable Computing Fabrics ...................................... 290
João M. P. Cardoso, University of Porto, Portugal
João Bispo, Technical University of Lisbon, Portugal
Adriano K. Sanches, Technical University of Lisbon, Portugal
Section 5
Industrial Applications
Chapter 13
Reconfiguration of Industrial Embedded Control Systems ............................................................... 318
Mohamed Khalgui, Martin Luther University, Germany
Hans-Michael Hanisch, Martin Luther University, Germany
Chapter 14
Architecture Description Languages for the Automotive Domain .................................................... 353
Sébastien Faucou, Université de Nantes, France
Françoise Simonot-Lion, Nancy Université, France
Yvon Trinquet, Université de Nantes, France
Chapter 15
Model-Based Testing of Embedded Systems Exemplified for the Automotive Domain ................... 377
Justyna Zander, Fraunhofer Institute FOKUS, Germany
Ina Schieferdecker, Fraunhofer Institute FOKUS & Technische Universität Berlin, Germany
Compilation of References ............................................................................................................... 412
About the Contributors .................................................................................................................... 450
Index ................................................................................................................................................... 463