Logotype Mälardalenn University

PROGRESS publications



Flexible Semantic-Preserving Flattening of Hierarchical Component Models

Full text:  
Authors: Thomas Leveque (former), Jan Carlson, Séverine Sentilles, Etienne Borde (former)
Source: 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), IEEE Computer Society, Oulu, Finland
 

Abstract

Hierarchical component models allow to better manage system design complexity compared to flat component models. However, many analysis techniques lack support for dealing with hierarchical models. This paper presents a general approach to use existing analysis on hierarchical component systems by means of a flattening transformation. The transformation can be partially applied, which provides a possibility for tradeoffs between analysis scalability, result precision and reusability concerns. The general approach has been implemented and evaluated in the context of ProCom, a hierarchical component model for real-time embedded systems. As a result, the paper describes a flattening transformation which preserves the ProCom operational semantics and presents the related optimizations.
 

BibTeX entry

@inproceedings{Leveque_2465:2011,
   author = {Thomas Leveque and Jan Carlson and S{\'e}verine Sentilles and Etienne Borde},
   title = {Flexible Semantic-Preserving Flattening of Hierarchical Component Models},
   booktitle = {37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA)},
   month = {August},
   year = {2011},
   publisher = {IEEE Computer Society},
   url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=2465},
}

  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2009.11.03