Horacio Hoyos

Learn More
Verification of functional and non-functional requirements throughout the design process is a cost-effective solution when compared to a build-test validation process. By using a model based design process and by describing system behavior with a formal model, model checking becomes a viable solution to perform requirement verification at early stages of(More)
The use of reconfigurable platforms for embedded system design leverages product line engineering (PLE), in which the development of products starts from a set of core assets (the platform) rather than the development of individual products from zero. Two major activities of PLE are domain engineering (i.e., platform development) and product engineering(More)
In this paper we demonstrate how diagrams constructed using general-purpose drawing tools in the context of agile language development processes can be annotated and consumed by model management programs (such as simulators, model-to-model and model-to-text transformations). The aim of this work is to enable engineers to engage in programmatic model(More)
While the majority of research on Model-Based Software Engineering revolves around open-source modelling frameworks such as EMF, the use of commercial and closed-source modelling tools such as RSA, Rhapsody, MagicDraw and PTC Integrity Modeller appears to be the norm in industry at present. This technical gap can prohibit industrial users from reaping the(More)
  • 1