Jean-Philippe Babau is an Assistant Professor in the Computer Science department at INSA, Lyon, France. His research interests include the use of formal models for architecture description to build real-time embedded systems.Mireille Blay-Fornarino is Professor in computer science at University of Nice in France. She is also a researcher in Computer Science at the Computer Science and Automata Laboratory.Joël Champeau is a teacher-researcher in the New Technologies Development Laboratory at ENSIETA, Brest, France. He specializes in applying MDE methodology and techniques to a system modeling framework for embedded systems.Sylvain Robert is Research Engineer at LISP (Lab Software Security Process) at the French Atomic Energy and Alternative Energies Commission.Antonino Sabetta is Researcher at ISTI CNR, Pisa, Italy.

• Chapter Summary xiChapter 1. Model Transformation: A Survey of the State of the Art 1Tom MENS1.1. Model-driven engineering 11.2. Model transformation 21.3. Model transformation languages 51.4. Model transformation activities 81.5. Conclusion 141.6. Acknowledgements 141.7. Bibliography 15Chapter 2. Model-Based Code Generation 21Chris RAISTRICK2.1. Introduction 212.2. The model-driven architecture (MDA) process 222.3. The automated approach to code generation 232.4. Domain modeling 252.5. The executable UML (xUML) formalism 292.6. System generation 312.7. Executable UML to code mappings 342.8. Conclusions 412.9. Bibliography 42Chapter 3. Testing Model Transformations: A Case for Test Generation from Input Domain Models 43Benoit BAUDRY3.1. Introduction 433.2. Challenges for testing systems with large input domains 463.3. Selecting test data in large domains 523.4. Metamodel-based test input generation 583.5. Conclusion 673.6. Acknowledgements 683.7. Bibliography 68Chapter 4. Symbolic Execution-Based Techniques for Conformance Testing 73Christophe GASTON, Pascale LE GALL, Nicolas RAPIN and Assia TOUIL4.1. Context 734.2. Input output symbolic transition systems 794.3. Symbolic execution 844.4. Conformance testing for IOSTS 874.5. Concluding remarks 964.6. Bibliography 101Chapter 5. Using MARTE and SysML for Modeling Real-Time Embedded Systems 105Huascar ESPINOZA, Daniela CANCILA, Sébastien GÉRARD and Bran SELIC5.1. Introduction 1055.2. Background 1085.3. Scenarios of combined usage 1135.4. Combination Strategies 1255.5. Related work 1305.6. Conclusion 1335.7. Acknowledgements 1345.8. Bibliography 134Chapter 6. Software Model-based Performance Analysis 139Dorina C. PETRIU6.1. Introduction 1396.2. Performance models 1426.3. Software model with performance annotations 1486.4. Mapping from software to performance model 1556.5. Using a pivot language: Core Scenario Model (CSM) 1586.6. Case study performance model 1606.7. Conclusions 1626.8. Acknowledgements 1636.9. Bibliography 163Chapter 7. Model Integration for Formal Qualification of Timing-Aware Software Data Acquisition Components 167Jean-Philippe BABAU, Philippe DHAUSSY and Pierre-Yves PILLAIN7.1. Introduction 1677.2. System modeling 1707.3. Variation points modeling 1827.4. Experiments and results 1897.5. Conclusion 1947.6. Bibliography 195Chapter 8. SoC/SoPC Development using MDD and MARTE Profile 201Denis AULAGNIER, Ali KOUDRI, Stéphane LECOMTE, Philippe SOULARD, Joël CHAMPEAU, Jorgiano VIDAL,Gilles PERROUIN and Pierre LERAY8.1. Introduction 2018.2. Related works 2038.3. MOPCOM process and models 2068.4. Application 2108.5. System analysis 2118.6. Abstract modeling level 2148.7. Execution modeling level 2168.8. Detailed modeling level 2208.9. Tooling Support 2238.10. HDL Code Generation 2258.11. Conclusion 2288.12. Acknowledgements 2298.13. Bibliography 229List of Authors 233Index 237