Details

<p><b>Chapter Summary xi</b></p> <p><b>Chapter 1. Model Transformation: A Survey of the State of the Art 1</b><br /> Tom MENS</p> <p>1.1. Model-driven engineering 1</p> <p>1.2. Model transformation 2</p> <p>1.3. Model transformation languages 5</p> <p>1.4. Model transformation activities 8</p> <p>1.5. Conclusion 14</p> <p>1.6. Acknowledgements 14</p> <p>1.7. Bibliography 15</p> <p><b>Chapter 2. Model-Based Code Generation 21</b><br /> Chris RAISTRICK</p> <p>2.1. Introduction 21</p> <p>2.2. The model-driven architecture (MDA) process 22</p> <p>2.3. The automated approach to code generation 23</p> <p>2.4. Domain modeling 25</p> <p>2.5. The executable UML (xUML) formalism 29</p> <p>2.6. System generation 31</p> <p>2.7. Executable UML to code mappings 34</p> <p>2.8. Conclusions 41</p> <p>2.9. Bibliography 42</p> <p><b>Chapter 3. Testing Model Transformations: A Case for Test Generation from Input Domain Models 43</b><br /> Benoit BAUDRY</p> <p>3.1. Introduction 43</p> <p>3.2. Challenges for testing systems with large input domains 46</p> <p>3.3. Selecting test data in large domains 52</p> <p>3.4. Metamodel-based test input generation 58</p> <p>3.5. Conclusion 67</p> <p>3.6. Acknowledgements 68</p> <p>3.7. Bibliography 68</p> <p><b>Chapter 4. Symbolic Execution-Based Techniques for Conformance Testing 73</b><br /> Christophe GASTON, Pascale LE GALL, Nicolas RAPIN and Assia TOUIL</p> <p>4.1. Context 73</p> <p>4.2. Input output symbolic transition systems 79</p> <p>4.3. Symbolic execution 84</p> <p>4.4. Conformance testing for IOSTS 87</p> <p>4.5. Concluding remarks 96</p> <p>4.6. Bibliography 101</p> <p><b>Chapter 5. Using MARTE and SysML for Modeling Real-Time Embedded Systems 105</b><br /> Huascar ESPINOZA, Daniela CANCILA, Sébastien GÉRARD and Bran SELIC</p> <p>5.1. Introduction 105</p> <p>5.2. Background 108</p> <p>5.3. Scenarios of combined usage 113</p> <p>5.4. Combination Strategies 125</p> <p>5.5. Related work 130</p> <p>5.6. Conclusion 133</p> <p>5.7. Acknowledgements 134</p> <p>5.8. Bibliography 134</p> <p><b>Chapter 6. Software Model-based Performance Analysis 139</b><br /> Dorina C. PETRIU</p> <p>6.1. Introduction 139</p> <p>6.2. Performance models 142</p> <p>6.3. Software model with performance annotations 148</p> <p>6.4. Mapping from software to performance model 155</p> <p>6.5. Using a pivot language: Core Scenario Model (CSM) 158</p> <p>6.6. Case study performance model 160</p> <p>6.7. Conclusions 162</p> <p>6.8. Acknowledgements 163</p> <p>6.9. Bibliography 163</p> <p><b>Chapter 7. Model Integration for Formal Qualification of Timing-Aware Software Data</b> <b>Acquisition Components 167</b><br /> Jean-Philippe BABAU, Philippe DHAUSSY and Pierre-Yves PILLAIN</p> <p>7.1. Introduction 167</p> <p>7.2. System modeling 170</p> <p>7.3. Variation points modeling 182</p> <p>7.4. Experiments and results 189</p> <p>7.5. Conclusion 194</p> <p>7.6. Bibliography 195</p> <p><b>Chapter 8. SoC/SoPC Development using MDD and MARTE Profile 201</b><br /> Denis AULAGNIER, Ali KOUDRI, Stéphane LECOMTE, Philippe SOULARD, Joël CHAMPEAU, Jorgiano VIDAL,<br /> Gilles PERROUIN and Pierre LERAY</p> <p>8.1. Introduction 201</p> <p>8.2. Related works 203</p> <p>8.3. MOPCOM process and models 206</p> <p>8.4. Application 210</p> <p>8.5. System analysis 211</p> <p>8.6. Abstract modeling level 214</p> <p>8.7. Execution modeling level 216</p> <p>8.8. Detailed modeling level 220</p> <p>8.9. Tooling Support 223</p> <p>8.10. HDL Code Generation 225</p> <p>8.11. Conclusion 228</p> <p>8.12. Acknowledgements 229</p> <p>8.13. Bibliography 229</p> <p><b>List of Authors 233</b></p> <p><b>Index 237</b></p>

<p><b>Jean-Philippe Babau</b> 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.</p> <p><b>Mireille Blay-Fornarino</b> 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.</p> <p><b>Joël Champeau</b> 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.</p> <p><b>Sylvain Robert</b> is editor of <i>Model Driven Engineering for Distributed Real-Time Embedded Systems 2009: Advances, Standards, Applications and Perspectives</i>, published by Wiley.</p> <p><b>Antonino Sabetta</b> is editor of <i>Model Driven Engineering for Distributed Real-Time Embedded Systems 2009: Advances, Standards, Applications and Perspectives</i>, published by Wiley.</p>

US