Model-driven engineering for distributed real-time systems MARTE modeling, model transformations and their usages

Model-based development methods, and supporting technologies, can provide the techniques and tools needed to address the dilemma between reducing system development costs and time, and developing increasingly complex systems. This book provides the information needed to understand and apply model-dr...

Full description

Bibliographic Details
Main Author: Babau, Jean-Philippe
Format: eBook
Language:English
Published: London Iste 2010
Subjects:
Online Access:
Collection: O'Reilly - Collection details see MPG.ReNa
LEADER 05671nmm a2200613 u 4500
001 EB001935658
003 EBX01000000000000001098560
005 00000000000000.0
007 cr|||||||||||||||||||||
008 210123 ||| eng
020 |a 9781118619612 
020 |a 1118619552 
020 |a 111855809X 
020 |a 9781118558096 
020 |a 1118619617 
050 4 |a QA76.76.D47 
100 1 |a Babau, Jean-Philippe 
245 0 0 |a Model-driven engineering for distributed real-time systems  |b MARTE modeling, model transformations and their usages  |c edited by Jean-Philippe Babau [and others] 
260 |a London  |b Iste  |c 2010 
300 |a xv, 238 pages  |b illustrations 
505 0 |a Includes bibliographical references and index 
505 0 |a 3.4. Metamodel-based test input generation3.4.1. Metamodel coverage criteria; 3.4.2. Model and object fragments for test adequacy criteria; 3.4.3. Discussion; 3.4.4. Automatic synthesis of test models; 3.5. Conclusion; 3.6. Acknowledgements; 3.7. Bibliography; Chapter 4. Symbolic Execution-Based Techniques for Conformance Testing; 4.1. Context; 4.1.1. Conformance testing: an introduction; 4.1.2. Conformance relation; 4.1.3. An overview of the approach; 4.2. Input output symbolic transition systems; 4.2.1. Data types; 4.2.2. Input/output symbolic transition systems; 4.2.3. Semantics 
505 0 |a 5.3.3. System-level design integration5.3.4. Engineering/quantitative analysis; 5.4. Combination Strategies; 5.4.1. Issues; 5.4.2. Strategies; 5.5. Related work; 5.6. Conclusion; 5.7. Acknowledgements; 5.8. Bibliography; Chapter 6. Software Model-based Performance Analysis; 6.1. Introduction; 6.2. Performance models; 6.2.1. Queuing network models; 6.2.2. Layered queuing network model; 6.3. Software model with performance annotations; 6.3.1. Performance domain model; 6.3.2. Source model example; 6.4. Mapping from software to performance model 
505 0 |a Cover; Model-Driven Engineering for Distributed Real-Time Systems; Title Page; Copyright Page; Table of Contents; Chapter Summary; Chapter 1. Model Transformation: A Survey of the State of the Art; 1.1. Model-driven engineering; 1.2. Model transformation; 1.2.1. Definitions; 1.2.2. Taxonomy; 1.3. Model transformation languages; 1.4. Model transformation activities; 1.5. Conclusion; 1.6. Acknowledgements; 1.7. Bibliography; Chapter 2. Model-Based Code Generation; 2.1. Introduction; 2.2. The model-driven architecture (MDA) process; 2.3. The automated approach to code generation 
505 0 |a 4.3. Symbolic execution4.4. Conformance testing for IOSTS; 4.4.1. Test purposes; 4.4.2. Preliminary definitions and informal description; 4.4.3. Inference rules; 4.5. Concluding remarks; 4.5.1. Choosing test purposes; 4.5.2. Implementation issues; 4.6. Bibliography; Chapter 5. Using MARTE and SysML for Modeling Real-Time Embedded Systems; 5.1. Introduction; 5.2. Background; 5.2.1. UML profiling capabilities; 5.2.2. SysML and MARTE modeling capabilities; 5.3. Scenarios of combined usage; 5.3.1. Defining architecture frameworks; 5.3.2. Requirements engineering 
505 0 |a 2.4. Domain modeling2.5. The executable UML (xUML) formalism; 2.6. System generation; 2.7. Executable UML to code mappings; 2.8. Conclusions; 2.9. Bibliography; Chapter 3. Testing Model Transformations: A Case for Test Generation from Input Domain Models; 3.1. Introduction; 3.2. Challenges for testing systems with large input domains; 3.2.1. Large set of input data; 3.2.2. Configurable systems; 3.2.3. Grammarware and model transformations; 3.2.4. Testing challenges; 3.3. Selecting test data in large domains; 3.3.1. Category partition; 3.3.2. Combinatorial interaction testing 
653 |a Traitement réparti 
653 |a UML (Computer science) / http://id.loc.gov/authorities/subjects/sh97003561 
653 |a Electronic data processing / Distributed processing / fast 
653 |a COMPUTERS / Data Processing / bisacsh 
653 |a Real-time data processing / http://id.loc.gov/authorities/subjects/sh85111765 
653 |a Temps réel (Informatique) 
653 |a Architecture logicielle guidée par modèle 
653 |a Electronic data processing / Distributed processing / http://id.loc.gov/authorities/subjects/sh85042293 
653 |a COMPUTERS / Software Development & Engineering / General / bisacsh 
653 |a UML (Informatique) 
653 |a Real-time data processing / fast 
653 |a UML (Computer science) / fast 
653 |a Model-driven software architecture / http://id.loc.gov/authorities/subjects/sh2008001499 
653 |a Model-driven software architecture / fast 
041 0 7 |a eng  |2 ISO 639-2 
989 |b OREILLY  |a O'Reilly 
776 |z 9781848211155 
776 |z 9781118619551 
776 |z 9781118619612 
776 |z 9781118558096 
776 |z 111855809X 
776 |z 1118619617 
776 |z 1848211155 
856 4 0 |u https://learning.oreilly.com/library/view/~/9781118619551/?ar  |x Verlag  |3 Volltext 
082 0 |a 005.2/732 
082 0 |a 500 
082 0 |a 620 
520 |a Model-based development methods, and supporting technologies, can provide the techniques and tools needed to address the dilemma between reducing system development costs and time, and developing increasingly complex systems. This book provides the information needed to understand and apply model-drive engineering (MDE) and model-drive architecture (MDA) approaches to the development of embedded systems. Chapters, written by experts from academia and industry, cover topics relating to MDE practices and methods, as well as emerging MDE technologies. Much of the writing is based on the presentat