You are required to read and agree to the below before accessing a full-text version of an article in the IDE article repository.

The full-text document you are about to access is subject to national and international copyright laws. In most cases (but not necessarily all) the consequence is that personal use is allowed given that the copyright owner is duly acknowledged and respected. All other use (typically) require an explicit permission (often in writing) by the copyright owner.

For the reports in this repository we specifically note that

  • the use of articles under IEEE copyright is governed by the IEEE copyright policy (available at http://www.ieee.org/web/publications/rights/copyrightpolicy.html)
  • the use of articles under ACM copyright is governed by the ACM copyright policy (available at http://www.acm.org/pubs/copyright_policy/)
  • technical reports and other articles issued by M‰lardalen University is free for personal use. For other use, the explicit consent of the authors is required
  • in other cases, please contact the copyright owner for detailed information

By accepting I agree to acknowledge and respect the rights of the copyright owner of the document I am about to access.

If you are in doubt, feel free to contact webmaster@ide.mdh.se

Round-Trip Support for Extra-functional Property Management in Model-Driven Engineering of Embedded Systems

Publication Type:

Journal article

Venue:

Information and Software Technology

Publisher:

Elsevier


Abstract

Context: In order for model-driven engineering to succeed, automated code generation from models through model transformations has to guarantee that extra-functional properties modelled at design level are preserved at code level.Objective: The goal of this research work is to provide a full round-trip engineering approach in order to evaluate quality attributes of the embedded system by code execution monitoring as well as code static analysis and then provide back-propagation of the resulting values to modelling level. In this way, properties that can only be roughly estimated statically are evaluated against observed values and this consequently allows to refine the design models for ensuring preservation of analysed extra-functional properties at code level.Method: Following the model-driven engineering vision, (meta-)models and transformations are used as main artefacts for the realisation of the round-trip support which is finally validated against an industrial case-study.Result: This article presents an approach to support the whole round-trip process starting from the generation of source code for a target platform, passing through the monitoring of selected system quality attributes at code level, and finishing with the back-propagation of observed values to modelling level. The technique is validated against an industrial case-study in the telecommunications applicative domain.Conclusion: Preservation of extra-functional properties through appropriate description, computation and evaluation allows to reduce final product verification and validation effort and costs by providing correctness-by-construction of the generated code. The proposed round-trip support aids a model-driven component-based development process in ensuring a desired level of extra-functional properties preservation from the source modelling artefacts to the generated code.

Bibtex

@article{Ciccozzi2361,
author = {Federico Ciccozzi and Antonio Cicchetti and Mikael Sj{\"o}din},
title = {Round-Trip Support for Extra-functional Property Management in Model-Driven Engineering of Embedded Systems},
pages = {1085--1100},
month = {June},
year = {2013},
journal = {Information and Software Technology},
publisher = {Elsevier},
url = {http://www.es.mdu.se/publications/2361-}
}