https://www.mdu.se/

mdh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Round-Trip Support for Extra-functional Property Management in Model-Driven Engineering of Embedded Systems
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. (IS)ORCID-id: 0000-0002-0401-1036
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. (IS)ORCID-id: 0000-0003-0416-1787
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. (IS)ORCID-id: 0000-0001-7586-0409
2013 (engelsk)Inngår i: Information and Software Technology, ISSN 0950-5849, E-ISSN 1873-6025, Vol. 55, nr 6, s. 1085-1100Artikkel i tidsskrift (Fagfellevurdert) Published
Abstract [en]

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.

sted, utgiver, år, opplag, sider
2013. Vol. 55, nr 6, s. 1085-1100
HSV kategori
Identifikatorer
URN: urn:nbn:se:mdh:diva-17258DOI: 10.1016/j.infsof.2012.07.014ISI: 000318584800011Scopus ID: 2-s2.0-84876289364OAI: oai:DiVA.org:mdh-17258DiVA, id: diva2:579589
Tilgjengelig fra: 2012-12-20 Laget: 2012-12-20 Sist oppdatert: 2017-12-06bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Person

Ciccozzi, FedericoCicchetti, AntonioSjödin, Mikael

Søk i DiVA

Av forfatter/redaktør
Ciccozzi, FedericoCicchetti, AntonioSjödin, Mikael
Av organisasjonen
I samme tidsskrift
Information and Software Technology

Søk utenfor DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 146 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf