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
From Models to Code and Back: Correct-by-construction Code from UML and ALF
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. (IS (Embedded Systems))ORCID iD: 0000-0002-0401-1036
2013 (English)In: ICSE '13 Proceedings of the 2013 International Conference on Software Engineering, ACM , 2013, p. 1459-1461Conference paper, Published paper (Refereed)
Abstract [en]

Ever increasing complexity of modern software systems demands new powerful development mechanisms. Modeldriven engineering (MDE) can ease the development process through problem abstraction and automated code generation from models. In order for MDE solutions to be trusted, such generation should preserve the system?s properties defined at modelling level, both functional and extra-functional, all the way down to the target code. The outcome of our research is an approach that aids the preservation of system?s properties in MDE of embedded systems. More specifically we provide generation of full source code from design models defined using the CHESS-ML, monitoring of selected extra-functional properties at code level, and back-propagation of observed values to design models. The approach is validated against industrial case-studies in the telecommunications applicative domain.

Place, publisher, year, edition, pages
ACM , 2013. p. 1459-1461
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-21328DOI: 10.1109/ICSE.2013.6606744ISI: 000333965800198Scopus ID: 2-s2.0-84886429863ISBN: 978-1-4673-3076-3 (print)OAI: oai:DiVA.org:mdh-21328DiVA, id: diva2:650116
Conference
35th International Conference on Software Engineering (ICSE 2013),May 18th - 26th, 2013, San Francisco, CA
Projects
CHESSRALF3 - Software for Embedded High Performance ArchitecturesAvailable from: 2013-09-19 Created: 2013-09-11 Last updated: 2015-11-16Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Ciccozzi, Federico

Search in DiVA

By author/editor
Ciccozzi, Federico
By organisation
Embedded Systems
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 37 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