skip to content
Model Driven Engineering for Distributed Real-Time Embedded Systems 2009 : Advances, Standards, Applications and Perspectives. Preview this item
ClosePreview this item
Checking...

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

Author: Jean-Philippe Babau; Mireille Blay-Fornarino; J?el Champeau; Sylvain Robert; Antonino Sabetta
Publisher: London : Wiley, 2013.
Series: ISTE.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Database:WorldCat
Summary:
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,  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Babau, Jean-Philippe.
Model Driven Engineering for Distributed Real-Time Embedded Systems 2009 : Advances, Standards, Applications and Perspectives.
London : Wiley, ©2013
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Jean-Philippe Babau; Mireille Blay-Fornarino; J?el Champeau; Sylvain Robert; Antonino Sabetta
ISBN: 9781118619551 1118619552
OCLC Number: 830161866
Notes: 6.5. Using a pivot language: Core Scenario Model (CSM).
Description: 1 online resource (256 pages).
Contents: 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. 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. 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. 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. 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.
Series Title: ISTE.

Abstract:

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.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/830161866> # Model Driven Engineering for Distributed Real-Time Embedded Systems 2009 : Advances, Standards, Applications and Perspectives.
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
    library:oclcnum "830161866" ;
    library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    schema:about <http://dewey.info/class/621.392/> ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2241318542#Person/robert_sylvain> ; # Sylvain Robert
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2241318542#Person/champeau_j_el> ; # J?el Champeau
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2241318542#Person/sabetta_antonino> ; # Antonino Sabetta
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2241318542#Person/blay_fornarino_mireille> ; # Mireille Blay-Fornarino
    schema:creator <http://experiment.worldcat.org/entity/work/data/2241318542#Person/babau_jean_philippe> ; # Jean-Philippe Babau
    schema:datePublished "2013" ;
    schema:description "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."@en ;
    schema:description "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."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2241318542> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2241318542#Series/iste> ; # ISTE.
    schema:isSimilarTo <http://worldcat.org/entity/work/data/2241318542#CreativeWork/model_driven_engineering_for_distributed_real_time_embedded_systems_2009_advances_standards_applications_and_perspectives> ;
    schema:name "Model Driven Engineering for Distributed Real-Time Embedded Systems 2009 : Advances, Standards, Applications and Perspectives."@en ;
    schema:productID "830161866" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/830161866#PublicationEvent/london_wiley_2013> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/2241318542#Agent/wiley> ; # Wiley
    schema:url <http://www.myilibrary.com?id=462791> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=1143517> ;
    schema:workExample <http://worldcat.org/isbn/9781118619551> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/830161866> ;
    .


Related Entities

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
    schema:name "London" ;
    .

<http://experiment.worldcat.org/entity/work/data/2241318542#Person/babau_jean_philippe> # Jean-Philippe Babau
    a schema:Person ;
    schema:familyName "Babau" ;
    schema:givenName "Jean-Philippe" ;
    schema:name "Jean-Philippe Babau" ;
    .

<http://experiment.worldcat.org/entity/work/data/2241318542#Person/blay_fornarino_mireille> # Mireille Blay-Fornarino
    a schema:Person ;
    schema:familyName "Blay-Fornarino" ;
    schema:givenName "Mireille" ;
    schema:name "Mireille Blay-Fornarino" ;
    .

<http://experiment.worldcat.org/entity/work/data/2241318542#Person/champeau_j_el> # J?el Champeau
    a schema:Person ;
    schema:familyName "Champeau" ;
    schema:givenName "J?el" ;
    schema:name "J?el Champeau" ;
    .

<http://experiment.worldcat.org/entity/work/data/2241318542#Person/robert_sylvain> # Sylvain Robert
    a schema:Person ;
    schema:familyName "Robert" ;
    schema:givenName "Sylvain" ;
    schema:name "Sylvain Robert" ;
    .

<http://experiment.worldcat.org/entity/work/data/2241318542#Person/sabetta_antonino> # Antonino Sabetta
    a schema:Person ;
    schema:familyName "Sabetta" ;
    schema:givenName "Antonino" ;
    schema:name "Antonino Sabetta" ;
    .

<http://experiment.worldcat.org/entity/work/data/2241318542#Series/iste> # ISTE.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/830161866> ; # Model Driven Engineering for Distributed Real-Time Embedded Systems 2009 : Advances, Standards, Applications and Perspectives.
    schema:name "ISTE." ;
    schema:name "ISTE" ;
    .

<http://worldcat.org/entity/work/data/2241318542#CreativeWork/model_driven_engineering_for_distributed_real_time_embedded_systems_2009_advances_standards_applications_and_perspectives>
    a schema:CreativeWork ;
    rdfs:label "Model Driven Engineering for Distributed Real-Time Embedded Systems 2009 : Advances, Standards, Applications and Perspectives." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/830161866> ; # Model Driven Engineering for Distributed Real-Time Embedded Systems 2009 : Advances, Standards, Applications and Perspectives.
    .

<http://worldcat.org/isbn/9781118619551>
    a schema:ProductModel ;
    schema:isbn "1118619552" ;
    schema:isbn "9781118619551" ;
    .

<http://www.worldcat.org/title/-/oclc/830161866>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/830161866> ; # Model Driven Engineering for Distributed Real-Time Embedded Systems 2009 : Advances, Standards, Applications and Perspectives.
    schema:dateModified "2016-09-12" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.