mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Reverse Engineering of Legacy Real-Time Systems: An Automated Approach Based on Execution-Time Recording
Mälardalen University, Department of Computer Science and Electronics.
2007 (English)Doctoral thesis, monograph (Other scientific)
Abstract [en]

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.

Place, publisher, year, edition, pages
Västerås: Mälardalens högskola , 2007.
Series
Mälardalen University Press Dissertations, ISSN 1651-4238 ; 43
National Category
Computer Science
Research subject
Datavetenskap
Identifiers
URN: urn:nbn:se:mdh:diva-230ISBN: 978-91-85485-47-5 (print)OAI: oai:DiVA.org:mdh-230DiVA: diva2:120684
Public defence
2007-06-14, Gamma, U, Högskoleplan 1, Västerås, Västerås, 13:15
Opponent
Supervisors
Available from: 2007-05-09 Created: 2007-05-09

Open Access in DiVA

fulltext(8175 kB)6685 downloads
File information
File name FULLTEXT01.pdfFile size 8175 kBChecksum MD5
5b23a013e868ebd906822ae4826639702475b8cf559253f197e66c291f59d2ebea15ab00
Type fulltextMimetype application/pdf

By organisation
Department of Computer Science and Electronics
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 6685 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 531 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf