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

Evaluating the Quality of Models Extracted from Embedded Real-Time Software

Fulltext:


Publication Type:

Conference/Workshop Paper

Venue:

Proceedings of the 14th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, presented at the 5th Workshop and Session on Model-Based Development of Computer Based Systems

Publisher:

IEEE


Abstract

Due to the high cost of modeling, model-based techniques are yet to make their impact in the embedded systems industry, which still persist on maintaining code-oriented legacy systems. Re-engineering existing code-oriented systems to fit model-based development is a risky endeavor due to the cost and efforts required to maintain correspondence between the code and model. We aim to reduce the cost of modeling and model maintenance by automating the process, thus facilitating model-based techniques. We have previously proposed the use of automatic model extraction from recordings of existing embedded real-time systems. To estimate the quality of the extracted models of timing behavior, we need a framework for objective evaluation. In this paper, we present such a framework to empirically test and compare extracted models, and hence obtain an implicit evaluation of methods for automatic model extraction. We present a set of synthetic benchmarks to be used as test cases for emulating timing behaviors of diverse systems with varying architectural styles, and extract automatic models out of them. We discuss the difficulties in comparing response time distributions, and present an intuitive and novel approach along with associated algorithms for performing such a comparison. Using our empirical framework, and the comparison algorithms, one could objectively determine the correspondence between the model and the system being modeled.

Bibtex

@inproceedings{Huselius1068,
author = {Joel Huselius and Johan Kraft and Hans Hansson and Sasikumar Punnekkat},
title = {Evaluating the Quality of Models Extracted from Embedded Real-Time Software},
pages = {577--585},
month = {March},
year = {2007},
booktitle = {Proceedings of the 14th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, presented at the 5th Workshop and Session on Model-Based Development of Computer Based Systems},
publisher = {IEEE},
url = {http://www.es.mdh.se/publications/1068-}
}