Model execution tracing: a systematic mapping study
Abstract Model-Driven Engineering is a development paradigm that uses models instead of
code as primary development artifacts. In this paper, we focus on executable models, which …
code as primary development artifacts. In this paper, we focus on executable models, which …
Advanced and efficient execution trace management for executable domain-specific modeling languages
Abstract Executable Domain-Specific Modeling Languages (xDSMLs) enable the
application of early dynamic verification and validation (V&V) techniques for behavioral …
application of early dynamic verification and validation (V&V) techniques for behavioral …
A generative approach to define rich domain-specific trace metamodels
Abstract Executable Domain-Specific Modeling Languages (xDSMLs) open many
possibilities for performing early verification and validation (V&V) of systems. Dynamic V&V …
possibilities for performing early verification and validation (V&V) of systems. Dynamic V&V …
Using systemc cyber models in an fmi co-simulation environment: Results and proposed fmi enhancements
S Centomo, J Deantoni… - … Euromicro Conference on …, 2016 - ieeexplore.ieee.org
The development of Cyber Physical Systems (CPS) requires to model both the cyber (ie,
digital) parts, the physical parts and the interaction between them. The state of the practice in …
digital) parts, the physical parts and the interaction between them. The state of the practice in …
Confucius: A scientific collaboration system using collaborative scientific workflows
Large-scale scientific data management and analysis usually relies on many distributed
scientists with diverse expertise. In recent years, such a collaborative effort is often …
scientists with diverse expertise. In recent years, such a collaborative effort is often …
Using SystemC cyber models in an FMI co-simulation environment
S Centomo, J Deantoni… - 19th Euromicro Conference …, 2016 - inria.hal.science
—The development of Cyber Physical Systems (CPS) requires to model both the cyber (ie,
digital) parts, the physical parts and the interaction between them. The state of the practice in …
digital) parts, the physical parts and the interaction between them. The state of the practice in …
[PDF][PDF] Techniques to Compact Model Execution Traces in Model Driven Approach
ABSTRACT Model-Driven Engineering (MDE) is a development paradigm that aims at
coping with the complexity of systems by separating concerns using models. A model is a …
coping with the complexity of systems by separating concerns using models. A model is a …