Logotype Mälardalenn University

PROGRESS publications



Automatic Generation and Validation of Models of Legacy Software

Full text:  
Authors: Joel Huselius, Johan Kraft (former), Hans Hansson, Sasikumar Punnekkat
Source: Proceedings of the 12:th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), p 342-349, Sydney, Australia
 

Abstract

The modeling approach is not used to its full potential in maintenance of legacy systems. Often, models do not even exist. The main reasons being that the economic implications and practical hurdles in manually maintaining models of in-use legacy systems are considered too high by the industry. In this paper, we present a method for automated validation of models automatically generated from recordings of executing real-time embedded systems. This forms an essential constituent of a unified process for the automatic modeling of legacy software. We also present a study in which we automatically model a state-of-practice industrial robot control system, the results of which are clearly positive indicators of the viability of our approach.
 

BibTeX entry

@inproceedings{Huselius_1148:2006,
   author = {Joel Huselius and Johan Kraft and Hans Hansson and Sasikumar Punnekkat},
   title = {Automatic Generation and Validation of Models of Legacy Software},
   booktitle = {Proceedings of the 12:th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)},
   month = {August},
   year = {2006},
   pages = {342-349},
   url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=1148},
}

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