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
Toward Preservation of Extra-Functional Properties for Model-Driven Component-Based Software Engineering of Embedded Systems
Mälardalen University, School of Innovation, Design and Engineering. (SED)ORCID iD: 0000-0002-0401-1036
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 [en]
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: urn:nbn:se:mdh:diva-14017ISBN: 978-91-7485-056-7 (print)OAI: oai:DiVA.org:mdh-14017DiVA: diva2:480645
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
List of papers
1. Towards a Round-Trip Support for Model-Driven Development of Embedded Systems: Towards a round-trip support for model-driven engineering of embedded systems
Open this publication in new window or tab >>Towards a Round-Trip Support for Model-Driven Development of Embedded Systems: Towards a round-trip support for model-driven engineering of embedded systems
2011 (English)In: Proceedings - 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Los Alamitos: IEEE Computer Society, 2011, 200-208 p.Conference paper, Published paper (Refereed)
Abstract [en]

In a model-driven environment aiming at generating implementation code ensuring that extra-functional properties modeled at design level are preserved at execution time, a full round-trip engineering approach is often needed. Target code is meant to be generated from design models through appropriate model transformations, once the code has been generated, quality attributes of the embedded system are evaluated by execution monitoring/analysis tools. Eventually, in order to complete a model-driven round-trip approach, provision of back-annotation of the target code analysis results to modeling level is crucial for evaluating and consequently optimizing the design models for ensuring preservation of analyzed extra-functional aspects. In this work the problem of providing such approach in terms of process and related challenges is described together with a proposed solution. Particular emphasis is put on the description of how both traceability information and code analysis results are formalized in order to enable the desired back-annotating capabilities.

Place, publisher, year, edition, pages
Los Alamitos: IEEE Computer Society, 2011
National Category
Engineering and Technology
Identifiers
urn:nbn:se:mdh:diva-13651 (URN)10.1109/SEAA.2011.39 (DOI)2-s2.0-82955237804 (Scopus ID)978-1-4577-1027-8 (ISBN)
Conference
37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011; Oulu; 30 August 2011 through 2 September 2011
Note

Best Paper Award. Invited for an extended version to be resubmitted for a journal publication.

Available from: 2011-12-15 Created: 2011-12-15 Last updated: 2013-12-03Bibliographically approved
2. Generation of Correct-by-Construction Code from Design Models for Embedded Systems
Open this publication in new window or tab >>Generation of Correct-by-Construction Code from Design Models for Embedded Systems
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
Identifiers
urn:nbn:se:mdh:diva-13649 (URN)10.1109/SIES.2011.5953681 (DOI)2-s2.0-80052012325 (Scopus ID)978-1-61284-818-1 (ISBN)
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
3. Supporting Extra-Functional Properties Preservation in Model-Driven Engineering of Embedded Systems
Open this publication in new window or tab >>Supporting Extra-Functional Properties Preservation in Model-Driven Engineering of Embedded Systems
2011 (English)Report (Other academic)
Abstract [en]

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. A full round-trip engineering approach could be needed in order to evaluate quality attributes of the embedded system by code execution monitoring/analysis tools and then provide backpropagation of the target code analysis results to modelling level. In this way, properties that can only be estimated statically are evaluated against runtime values and this consequently allows to optimize the design models for ensuring preservation of analysed extra-functional aspects. This paper 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 nishing with the back-propagation of measured values to modelling level. The technique is validated against an industrial casestudy in the telecommunications applicative domain.

Publisher
32 p.
Series
MRTC report, ISSN 1404-3041
Keyword
extra-functional properties, model-driven engineering, embedded systems
National Category
Software Engineering
Research subject
Computer Science; Innovation and Design
Identifiers
urn:nbn:se:mdh:diva-14016 (URN)MDH-MRTC-257/2011-1-SE (ISRN)
Projects
CHESS
Available from: 2012-01-19 Created: 2012-01-19 Last updated: 2013-12-03Bibliographically approved
4. Evolution Management of Extra-Functional Properties in Component-Based Embedded Systems
Open this publication in new window or tab >>Evolution Management of Extra-Functional Properties in Component-Based Embedded Systems
2011 (English)In: Proceedings of the 14th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE-2011), New York: ACM Special Interest Group on Computer Science Education, 2011, 93-102 p.Conference paper, Published paper (Refereed)
Abstract [en]

As software complexity increases in embedded systems domain, component-based development becomes increasingly attractive. A main challenge in this approach is however to analyze the system's extra-functional properties (such as timing properties, or resource requirements), an important step in a development of embedded systems. Analysis of such properties are computational and time consuming, and often difficult. For this reason reuse of the results of the analysis is as important as the reuse of the component itself, especially in case of modifications of the context in which the component is used. This paper presents concepts and mechanisms that allow to automatically discover whether a property value is still valid when related components evolve: a value context language is proposed to formally define the validity conditions and identify possible threats

Place, publisher, year, edition, pages
New York: ACM Special Interest Group on Computer Science Education, 2011
National Category
Computer Systems
Identifiers
urn:nbn:se:mdh:diva-13733 (URN)10.1145/2000229.2000243 (DOI)2-s2.0-79960496489 (Scopus ID)978-145030723-9 (ISBN)
Conference
14th ACM SIGSOFT Symposium on Component Based Software Engineering, CBSE'11, Held as Part of the 2011 Federated Events on Component-Based Software Engineering and Software Architecture, CompArch'11; Boulder, CO; 20 June 2011 through 24 June 2011
Available from: 2011-12-15 Created: 2011-12-15 Last updated: 2013-12-03Bibliographically approved

Open Access in DiVA

fulltext(2241 kB)188 downloads
File information
File name FULLTEXT01.pdfFile size 2241 kBChecksum SHA-512
4b6d9783a95f034d3a322c83484eee5e4de30855dd9d19077bf287250909df2d83536a67c7c96b6776f3af86d685447351e0ddd1f808ea077298184fce0b9892
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Ciccozzi, Federico
By organisation
School of Innovation, Design and Engineering
Software Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 188 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

isbn
urn-nbn

Altmetric score

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