Table of Contents Preface... xxiv Acknowledgment... xxxi Section 1 Research Perspective: Software and Hardware Design Chapter 1 Collaborative Development of Dependable Cyber-Physical Systems by Co-Modeling and Co- Simulation... 1 John Fitzgerald, Newcastle University, UK Ken Pierce, Newcastle University, UK Peter Gorm Larsen, Aarhus University, Denmark Chapter 2 UML MARTE Time Model and Its Clock Constraint Specification Language... 29 Frédéric Mallet, Université Nice Sophia Antipolis, I3S, UMR 7271, CNRS, INRIA, 06900 Sophia Antipolis, France Marie-Agnès Peraldi-Frati, Université Nice Sophia Antipolis, I3S, UMR 7271, CNRS, INRIA, 06900 Sophia Antipolis, France Julien Deantoni, Université Nice Sophia Antipolis, I3S, UMR 7271, CNRS, INRIA, 06900 Sophia Antipolis, France Robert de Simone, INRIA Sophia Antipolis Méditerranée, 06900 Sophia Antipolis, France Chapter 3 Symbolic-Based Monitoring for Embedded Applications... 52 Pramila Mouttappa, Institut Mines-Telecom, France Stephane Maag, Institut Mines-Telecom, France Ana Cavalli, Institut Mines-Telecom, France Chapter 4 Designing Resource-Constrained Embedded Heterogeneous Systems to Cope with Variability... 75 Ian Gray, University of York, UK Andrea Acquaviva, Politecnico di Torino, Italy Neil Audsley, University of York, UK
Chapter 5 Vulnerabilities of Secure and Reliable Low-Power Embedded Systems and Their Analysis Methods: A Comprehensive Study... 102 Norbert Druml, Graz University of Technology, Austria Manuel Menghin, Graz University of Technology, Austria Christian Steger, Graz University of Technology, Austria Armin Krieg, Infineon Technologies Austria, Austria Andreas Genser, Infineon Technologies Austria, Austria Josef Haid, Infineon Technologies Austria, Austria Holger Bock, Infineon Technologies Austria, Austria Johannes Grinschgl, Independent Researcher, Austria Chapter 6 An Aspect-Oriented Approach to Hardware Fault Tolerance for Embedded Systems... 123 David de Andrés, Universitat Politècnica de València, Spain Juan Carlos Ruiz, Universitat Politècnica de València, Spain Jaime Espinosa, Universitat Politècnica de València, Spain Pedro Gil, Universitat Politècnica de València, Spain Chapter 7 Optimized System-Level Design Methods for NoC-Based Many Core Embedded Systems... 150 Haoyuan Ying, Technische Universität Darmstadt, Germany Klaus Hofmann, Technische Universität Darmstadt, Germany Thomas Hollstein, Tallinn University of Technology, Estonia Section 2 Development Methodologies and Tool Suites Chapter 8 MADES FP7 EU Project: Effective High Level SysML/MARTE Methodology for Real-Time and Embedded Avionics Systems... 181 Alessandra Bagnato, SOFTEAM, France Imran Quadri, SOFTEAM, France Etienne Brosse, SOFTEAM, France Andrey Sadovykh, SOFTEAM, France Leandro Soares Indrusiak, University of York, UK Richard Paige, University of York, UK Neil Audsley, University of York, UK Ian Gray, University of York, UK Dimitrios S. Kolovos, University of York, UK Nicholas Matragkas, University of York, UK Matteo Rossi, Politecnico di Milano, Italy Luciano Baresi, Politecnico di Milano, Italy Matteo Carlo Crippa, Txt e-solutions, Italy Stefano Genolini, Txt e-solutions, Italy Scott Hansen, The Open Group, UK Gundula Meisel-Blohm, Airbus Defence and Space, Germany
Chapter 9 Requirements Refinement and Component Reuse: The FoReVer Contract-Based Approach... 209 Laura Baracchi, Intecs, Italy Alessandro Cimatti, FBK-Irst, Italy Gerald Garcia, Thales Alenia Space, France Silvia Mazzini, Intecs, Italy Stefano Puri, Intecs, Italy Stefano Tonetta, FBK-Irst, Italy Chapter 10 Model-Based Analysis and Engineering of Automotive Architectures with EAST-ADL... 242 Sara Tucci-Piergiovanni, CEA, LIST, 91191 Gif-sur-Yvette CEDEX, France DeJiu Chen, KTH Royal Institute of Technology, Sweden Chokri Mraidha, CEA, LIST, 91191 Gif-sur-Yvette CEDEX, France Henrik Lönn, Volvo Technology, Sweden Nidhal Mahmud, University of Hull, UK Mark-Oliver Reiser, Technische Universität Berlin, Germany Ramin Tavakoli Kolagari, Nuremberg Institute of Technology G. S. Ohm, Germany Nataliya Yakymets, CEA, LIST, 91191 Gif-sur-Yvette CEDEX, France Renato Librino, 4S s.r.l., Italy Sandra Torchiaro, Centro Ricerche Fiat, Italy Agnes Lanusse, CEA, LIST, 91191 Gif-sur-Yvette CEDEX, France Chapter 11 Fostering Analysis from Industrial Embedded Systems Modeling... 283 Michel Bourdellès, Thales Communications and Security, France Shuai Li, Thales Communications and Security, France Imran Quadri, Softeam, France Etienne Brosse, Softeam, France Andrey Sadovykh, Softeam, France Emmanuel Gaudin, PragmaDev, France Frédéric Mallet, INRIA, France Arda Goknil, University of Luxembourg, Luxembourg David George, Rapita Systems Ltd., UK Jari Kreku, VTT Technical Research Centre, Finland Chapter 12 A Model-Driven Engineering Method for DRE Defense Systems Performance Analysis and Prediction... 301 Katrina Falkner, The University of Adelaide, Australia Vanea Chiprianov, The University of Adelaide, Australia Nickolas Falkner, The University of Adelaide, Australia Claudia Szabo, The University of Adelaide, Australia Gavin Puddy, The University of Adelaide, Australia
Section 3 Industry Perspective and Applications Chapter 13 Industrial Applications of Emulation Techniques for the Early Evaluation of Secure Low-Power Embedded Systems... 328 Norbert Druml, Graz University of Technology, Austria Manuel Menghin, Graz University of Technology, Austria Christian Steger, Graz University of Technology, Austria Armin Krieg, Infineon Technologies Austria, Austria Andreas Genser, Infineon Technologies Austria, Austria Josef Haid, Infineon Technologies Austria, Austria Holger Bock, Infineon Technologies Austria, Austria Johannes Grinschgl, Independent Researcher, Austria Chapter 14 Dynamically Reconfigurable Embedded Architectures for Safe Transportation Systems... 347 Naim Harb, Polytechnic Faculty of Mons, Belgium Smail Niar, LAMIH-University of Valenciennes Le Mont Houy, France Mazen A. R. Saghir, Texas A&M University at Qatar, Qatar Chapter 15 Embedded Virtualization Techniques for Automotive Infotainment Applications... 372 Massimo Violante, Politecnico di Torino, Italy Gianpaolo Macario, Mentor Graphics Embedded Software Division, Italy Salvatore Campagna, Politecnico di Torino, Italy Chapter 16 Studying Individualized Transit Indicators Using a New Low-Cost Information System... 388 P. A. Castillo, University of Granada, Spain A. Fernández-Ares, University of Granada, Spain P. García-Fernández, University of Granada, Spain P. García-Sánchez, University of Granada, Spain M. G. Arenas, University of Granada, Spain A. M. Mora, University of Granada, Spain V. M. Rivas, University of Jaén, Spain J. J. Asensio, University of Granada, Spain G. Romero, University of Granada, Spain J. J. Merelo, University of Granada, Spain Chapter 17 Mission Critical Embedded System Development Process: An Industry Perspective... 408 Stefano Genolini, TXT e-solutions, Italy Matteo Crippa, TXT e-solutions, Italy
Chapter 18 Framework-Based Debugging for Embedded Systems... 424 Gokhan Tanyeri, Clarinox Technologies Pty Ltd Trish Messiter, Clarinox Technologies Pty Ltd Paul Beckett, RMIT University, Australia Chapter 19 Industrial Experiments in IMS, ATC, and SDR Projects of Property Verification Techniques... 455 Emmanuel Gaudin, PragmaDev, France Compilation of References... 469 About the Contributors... 499 Index... 518