mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Generation of Correct-by-Construction Code from Design Models for Embedded Systems
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0002-0401-1036
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0003-0416-1787
Mälardalen University, School of Innovation, Design and Engineering.
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0001-7586-0409
2011 (English)In: 6th IEEE International Symposium on Industrial Embedded Systems (SIES'11), IEEE , 2011, 63-66 p.Conference paper, Published paper (Refereed)
Abstract [en]

In a model-driven engineering development process that focuses on guaranteeing that extra-functional concerns modeled at design level are preserved at platform execution level, the task of automated code generation must produce artifacts that enable back-annotation activities. In fact when the target platform code has been generated, quality attributes of the system are evaluated by appropriate code execution monitoring/analysis tools and their results back-annotated to the source models to be extensively evaluated. Only at this point the preservation of analysed extra-functional aspects can be either asserted or achieved by re-applying the code generation chain to the source models properly optimized according to the evaluation results. In this work we provide a solution for the problem of automatically generating target platform code from source models focusing on producing code artifacts that facilitate analysis and enable back-annotation activities. Arisen challenges and solutions are described together with completed and planned implementation of the proposed approach.

Place, publisher, year, edition, pages
IEEE , 2011. 63-66 p.
Identifiers
URN: urn:nbn:se:mdh:diva-13649DOI: 10.1109/SIES.2011.5953681Scopus ID: 2-s2.0-80052012325ISBN: 978-1-61284-818-1 (print)OAI: oai:DiVA.org:mdh-13649DiVA: diva2:466193
Conference
6th IEEE International Symposium on Industrial Embedded Systems, SIES 2011; Vasteras; 15 June 2011 through 17 June 2011
Available from: 2011-12-15 Created: 2011-12-15 Last updated: 2013-12-03Bibliographically approved
In thesis
1. Toward Preservation of Extra-Functional Properties for Model-Driven Component-Based Software Engineering of Embedded Systems
Open this publication in new window or tab >>Toward Preservation of Extra-Functional Properties for Model-Driven Component-Based Software Engineering of Embedded Systems
2012 (English)Licentiate thesis, comprehensive summary (Other academic)
Abstract [en]

Model-driven and component-based software engineering have been widely recognized as promising paradigms for development of a wide range of systems. Moreover, in the embedded real-time domain, their combination is believed to be helpful in handling the ever-increasing complexity of such systems design.However, in order for these paradigms and their combination to definitely break through at an industrial level for development of embedded real-time systems, both functional and extra-functional properties need to be addressed at each level of abstraction.

This research focuses on the preservation of extra-functional properties. More specifically, the aim is to provide support for easing such preservation throughout the entire development process at different abstraction levels.The main outcome of the research work is a round-trip engineering approach aiding the preservation of extra-functional properties by providing code generators, supporting monitoring and analysis of code execution, and then enabling back-propagation of the results to modelling level. In this way, properties that can only be roughly estimated statically are evaluated against runtime values and this consequently allows to optimize the design models for ensuring preservation of analysed extra-functional properties.

Moreover, a solution for managing evolution of computational context in which extra-functional properties are defined by means of validity analysis is provided. Such solution introduces a new language for the description of the computational context in which a given property is provided and/or computed by some analysis, enables detection of changes performed to the context description, and analyses the possible impacts on the extra-functional property values based on a precise representation of differences between previous and current version of the model.

Place, publisher, year, edition, pages
Mälardalens Högskola, 2012
Series
Mälardalen University Press Licentiate Theses, ISSN 1651-9256 ; 147
Keyword
extra-functional properties, model driven engineering, component based software engineering, embedded systems
National Category
Software Engineering
Research subject
Computer Science; Innovation and Design
Identifiers
urn:nbn:se:mdh:diva-14017 (URN)978-91-7485-056-7 (ISBN)
Presentation
2012-02-03, Mälardalen Högskola, U building, room Kappa, Box 883, 721 23, Västerås, 13:15 (English)
Opponent
Supervisors
Available from: 2012-01-19 Created: 2012-01-19 Last updated: 2013-12-03Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Ciccozzi, FedericoCicchetti, AntonioKrekola, MikaelSjödin, Mikael
By organisation
School of Innovation, Design and Engineering

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 27 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf