You are required to read and agree to the below before accessing a full-text version of an article in the IDE article repository.

The full-text document you are about to access is subject to national and international copyright laws. In most cases (but not necessarily all) the consequence is that personal use is allowed given that the copyright owner is duly acknowledged and respected. All other use (typically) require an explicit permission (often in writing) by the copyright owner.

For the reports in this repository we specifically note that

  • the use of articles under IEEE copyright is governed by the IEEE copyright policy (available at http://www.ieee.org/web/publications/rights/copyrightpolicy.html)
  • the use of articles under ACM copyright is governed by the ACM copyright policy (available at http://www.acm.org/pubs/copyright_policy/)
  • technical reports and other articles issued by M‰lardalen University is free for personal use. For other use, the explicit consent of the authors is required
  • in other cases, please contact the copyright owner for detailed information

By accepting I agree to acknowledge and respect the rights of the copyright owner of the document I am about to access.

If you are in doubt, feel free to contact webmaster@ide.mdh.se

Flexible Semantic-Preserving Flattening of Hierarchical Component Models

Fulltext:


Authors:

Thomas Leveque, Jan Carlson, Séverine Sentilles, Etienne Borde

Research group:

Industrial Software Engineering

Publication Type:

Conference/Workshop Paper

Venue:

37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA)

Publisher:

IEEE Computer Society

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

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