Geschäftskunden Kundenprogramme

KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
Produktbild: Model Driven Engineering for Distributed Real-Time Embedded Systems 2009

Model Driven Engineering for Distributed Real-Time Embedded Systems 2009 Advances, Standards, Applications and Perspectives

Fr. 200.00

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

15.07.2010

Herausgeber

Sebastien Gerard + weitere

Verlag

John Wiley & Sons

Seitenzahl

320

Maße (L/B/H)

23.4/15.5/1.8 cm

Gewicht

499 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-1-84821-115-5

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

15.07.2010

Herausgeber

Verlag

John Wiley & Sons

Seitenzahl

320

Maße (L/B/H)

23.4/15.5/1.8 cm

Gewicht

499 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-1-84821-115-5

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
Die Leseprobe wird geladen.
  • Produktbild: Model Driven Engineering for Distributed Real-Time Embedded Systems 2009
  • Chapter Summary xi

    Chapter 1. Model Transformation: A Survey of the State of theArt 1
    Tom MENS

    1.1. Model-driven engineering 1

    1.2. Model transformation 2

    1.3. Model transformation languages 5

    1.4. Model transformation activities 8

    1.5. Conclusion 14

    1.6. Acknowledgements 14

    1.7. Bibliography 15

    Chapter 2. Model-Based Code Generation 21
    Chris RAISTRICK

    2.1. Introduction 21

    2.2. The model-driven architecture (MDA) process 22

    2.3. The automated approach to code generation 23

    2.4. Domain modeling 25

    2.5. The executable UML (xUML) formalism 29

    2.6. System generation 31

    2.7. Executable UML to code mappings 34

    2.8. Conclusions 41

    2.9. Bibliography 42

    Chapter 3. Testing Model Transformations: A Case for TestGeneration from Input Domain Models 43
    Benoit BAUDRY

    3.1. Introduction 43

    3.2. Challenges for testing systems with large input domains46

    3.3. Selecting test data in large domains 52

    3.4. Metamodel-based test input generation 58

    3.5. Conclusion 67

    3.6. Acknowledgements 68

    3.7. Bibliography 68

    Chapter 4. Symbolic Execution-Based Techniques forConformance Testing 73
    Christophe GASTON, Pascale LE GALL, Nicolas RAPIN and AssiaTOUIL

    4.1. Context 73

    4.2. Input output symbolic transition systems 79

    4.3. Symbolic execution 84

    4.4. Conformance testing for IOSTS 87

    4.5. Concluding remarks 96

    4.6. Bibliography 101

    Chapter 5. Using MARTE and SysML for Modeling Real-TimeEmbedded Systems 105
    Huascar ESPINOZA, Daniela CANCILA, Sébastien GÉRARD andBran SELIC

    5.1. Introduction 105

    5.2. Background 108

    5.3. Scenarios of combined usage 113

    5.4. Combination Strategies 125

    5.5. Related work 130

    5.6. Conclusion 133

    5.7. Acknowledgements 134

    5.8. Bibliography 134

    Chapter 6. Software Model-based Performance Analysis139
    Dorina C. PETRIU

    6.1. Introduction 139

    6.2. Performance models 142

    6.3. Software model with performance annotations 148

    6.4. Mapping from software to performance model 155

    6.5. Using a pivot language: Core Scenario Model (CSM) 158

    6.6. Case study performance model 160

    6.7. Conclusions 162

    6.8. Acknowledgements 163

    6.9. Bibliography 163

    Chapter 7. Model Integration for Formal Qualification ofTiming-Aware Software Data Acquisition Components167
    Jean-Philippe BABAU, Philippe DHAUSSY and Pierre-Yves PILLAIN

    7.1. Introduction 167

    7.2. System modeling 170

    7.3. Variation points modeling 182

    7.4. Experiments and results 189

    7.5. Conclusion 194

    7.6. Bibliography 195

    Chapter 8. SoC/SoPC Development using MDD and MARTE Profile201
    Denis AULAGNIER, Ali KOUDRI, Stéphane LECOMTE, PhilippeSOULARD, Joël CHAMPEAU, Jorgiano VIDAL,
    Gilles PERROUIN and Pierre LERAY

    8.1. Introduction 201

    8.2. Related works 203

    8.3. MOPCOM process and models 206

    8.4. Application 210

    8.5. System analysis 211

    8.6. Abstract modeling level 214

    8.7. Execution modeling level 216

    8.8. Detailed modeling level 220

    8.9. Tooling Support 223

    8.10. HDL Code Generation 225

    8.11. Conclusion 228

    8.12. Acknowledgements 229

    8.13. Bibliography 229

    List of Authors 233

    Index 237