Search Results - "Hoyos Rodriguez, Horacio"
-
1
Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising queries
Published in Software and systems modeling (01-12-2021)“…Open-source model management frameworks such as OCL and ATL tend to focus on manipulating models built atop the Eclipse Modelling Framework (EMF), a de facto…”
Get full text
Journal Article -
2
Automatic generation of UML profile graphical editors for Papyrus
Published in Software and systems modeling (01-09-2020)“…UML profiles offer an intuitive way for developers to build domain-specific modelling languages by reusing and extending UML concepts. Eclipse Papyrus is a…”
Get full text
Journal Article -
3
Bridging proprietary modelling and open-source model management tools: the case of PTC Integrity Modeller and Epsilon
Published in Software and systems modeling (2020)“…While the majority of research on Model-Based Software Engineering revolves around open-source modelling frameworks such as the Eclipse Modelling Framework,…”
Get full text
Journal Article -
4
Tucan: Virtual prototype generation and time constraints analysis of real-time embedded systems
Published in Design automation for embedded systems (2013)“…This paper presents Tucan , an approach to automatically create a virtual prototype (VP) and to support the analysis of VP testing results to validate time…”
Get full text
Journal Article -
5
Bridging the Gap Between System Architecture and Software Design using Model Transformation
Published in 2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW) (09-10-2023)“…A well-known challenge when adopting Model-Based Systems Engineering (MBSE) for building reliable software-intensive systems is the incompatibility between the…”
Get full text
Conference Proceeding -
6
An Automotive Architecture Product Line for E/E Powertrain Architectures
Published in 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) (01-10-2023)“…For automotive powertrain E/E architectures, as well as automotive architectures in general, the challenge of providing viewpoints for the architecture arises…”
Get full text
Conference Proceeding -
7
JSOI: A JSON-Based Interchange Format for Efficient Model Management
Published in 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) (01-09-2019)“…The XMI format is not Model-Management friendly. A Model-Management task must load the complete model even if it is only interested in a small subset of…”
Get full text
Conference Proceeding -
8
On-the-Fly Translation and Execution of OCL-Like Queries on Simulink Models
Published in 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS) (01-09-2019)“…MATLAB/Simulink is a tool for dynamic system modelling widely used across industries such as aerospace and automotive. Model management languages such as OCL,…”
Get full text
Conference Proceeding -
9
On the Challenges of Model Decorations for Capturing Complex Metadata
Published in 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) (01-09-2019)“…Model decorations have proven useful as an extension mechanism to provide bespoke language extensions for particular scenarios in the language's domain…”
Get full text
Conference Proceeding -
10
An Exploratory Experiment on Metamodel-Transformation Co-Evolution
Published in 2017 24th Asia-Pacific Software Engineering Conference (APSEC) (01-12-2017)“…Metamodels, like any other software artifacts evolve throughout time. As a consequence, all dependent artifacts may need to be co-evolved accordingly,…”
Get full text
Conference Proceeding -
11
Synthesis of execution plans for the qvt core language
Published 01-01-2017Get full text
Dissertation -
12
Model-Based Development of Engine Control Systems: Experiences and Lessons Learnt
Published in 2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS) (01-10-2021)“…Rolls-Royce Control Systems supplies engine control and monitoring systems for aviation applications, and is required to design, certify, and deliver these to…”
Get full text
Conference Proceeding -
13
Bridging Proprietary Modelling and Open-Source Model Management Tools: The Case of PTC Integrity Modeller and Epsilon
Published in 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) (01-09-2017)“…While the majority of research on Model-Based Software Engineering revolves around open-source modelling frameworks such as EMF, the use of commercial and…”
Get full text
Conference Proceeding