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

Reverse Engineering of Legacy Real-Time Systems: An Automated Approach Based on Execution-Time Recording

Fulltext:


Authors:


Note:

<b>Opponent:</b><br> Ing. Antonia Bertolino, I.S.T.I. - Istituto di Scienza e Tecnologie della Informazione A. Faedo. <br><br> <b>Commitee:</b><br> Docent Thomas Arts, IT University of Göteborg,<br> Professor Tarja Systä, Tampere University of Technology,<br> Professor Tony Larsson, Högskolan i Halmstad.

Publication Type:

Doctoral Thesis

Publisher:

Mälardalen University


Abstract

Many real-time systems have significant value in terms of legacy, since large efforts have been spent over many years to ensure their proper functionality. Examples can be found in, e.g., telecom and automation-industries. Maintenance consumes the major part of the budget for these systems. As each system is part of a dynamically changing larger whole, maintenance is required to modify the system to adapt to these changes. However, due to system complexity, engineers cannot be assumed to understand the system in every aspect, making the full range of effects of modifications on the system difficult to predict. Effect prediction would be useful, for instance in early discovery of unsuitable modifications. Accurate models would be useful for such prediction, but are generally non-existent.With the introduction of a method for automated modeling, this thesis applies an industrial perspective to the problem of obtaining models of legacy real-time systems. The method generates a model of the system as it behaved during the executions. The recordings cover system level events such as context switches and communication, and may optionally cover data manipulations on task level, which allows modeling of causal relations. As means of abstraction, the models can contain probabilistic selections and execution time requirements. The method also includes automatic validation of the generated model, in which the model is compared to the system behavior. Our method has been implemented and has been evaluated in both an industrial case-study and in a controlled experiment. For the controlled experiment, we have developed a framework for automatic evaluation of (automated) modeling methods.Using the models generated with our method, engineers can prototype designs of modifications, which allows for early rejection of unfeasible designs. The earlier such rejection is performed, the more time and resources are freed for other activities.

Bibtex

@phdthesis{Huselius1005,
author = {Joel Huselius},
title = {Reverse Engineering of Legacy Real-Time Systems: An Automated Approach Based on Execution-Time Recording},
note = {\textlessb\textgreaterOpponent:\textless/b\textgreater\textlessbr\textgreater Ing. Antonia Bertolino, I.S.T.I. - Istituto di Scienza e Tecnologie della Informazione A. Faedo. \textlessbr\textgreater\textlessbr\textgreater \textlessb\textgreaterCommitee:\textless/b\textgreater\textlessbr\textgreater Docent Thomas Arts, IT University of G{\~A}¶teborg,\textlessbr\textgreater Professor Tarja Syst{\~A}¤, Tampere University of Technology,\textlessbr\textgreater Professor Tony Larsson, H{\~A}¶gskolan i Halmstad.},
number = {43},
month = {June},
year = {2007},
school = {M{\"a}lardalen University},
url = {http://www.es.mdh.se/publications/1005-}
}