Reverse Engineering of Real-Time System Models From Event Trace Recordings
Model-driven approaches are experiencing an increasing acceptance in the automotive domain thanks to the availability of the AUTOSAR standard, which defines an open software architecture for the model-based development of real-time systems and a corresponding development methodology. However, the pr...
Tallennettuna:
| Päätekijä: | |
|---|---|
| Aineistotyyppi: | Online |
| Kieli: | englanti |
| Julkaistu: |
University of Bamberg Press
2024
|
| Aiheet: | |
| Linkit: | ONIX_20240517_9783863096908_2 |
| Tagit: |
Ei tageja, Lisää ensimmäinen tagi!
|
| _version_ | 1869521506233483264 |
|---|---|
| author | Sailer, Andreas |
| author_browse | Sailer, Andreas |
| author_facet | Sailer, Andreas |
| author_sort | Sailer, Andreas |
| collection | Directory of Open Access Books |
| description | Model-driven approaches are experiencing an increasing acceptance in the automotive domain thanks to the availability of the AUTOSAR standard, which defines an open software architecture for the model-based development of real-time systems and a corresponding development methodology. However, the process of creating models of existing system components is often difficult and time consuming, especially when legacy code is involved or information about the exact timing is needed. The research community tackles this problem by developing algorithms for automatically deriving characteristics of the system’s timing behaviour, e.g., response times and resource blockings from various artefacts such as source code or runtime measurements. This work focuses on reversely engineering an AUTOSAR-compliant model, which can be used for further processing including timing simulation and optimisation, via a dynamic analysis from trace recordings of a real-time system. Although software reverse engineering via dynamic analysis has a long history, little research targets embedded systems and its use for multi-core architectures is largely unresearched. Furthermore, related work mainly discusses the analysis of individual characteristics of a real-time system, such as execution times or stimulation patterns instead of creating a description of the entire system. Huselius, whose work is among the publications most related to the topic of this thesis, proposes a technique to reverse engineer a model that reflects the general temporal behaviour of the original real-time software. However, like other existing solutions, it was not developed with AUTOSAR in mind. It is also not feasible to make this approach applicable to the automotive domain, because Huselius has not considered some required details, such as activation patterns, scheduling information, and compliance to the standardised development methodology of AUTOSAR. We want to tackle this deficiency by introducing, in this work, an approach that seizes on Huselius’s considerations and extends them in order to make them applicable to the automotive domain. To do so, we present CoreTAna, a prototypical tool that derives an AUTOSAR compliant model of a real-time system by conducting dynamic analysis using trace recordings. Its reverse engineering approach is designed in such a way that it fits seamlessly into the methodology specified by AUTOSAR. CoreTAna’s current features are explained and their benefits for reverse engineering are highlighted, and a framework for evaluating the quality of synthesised models is described. Motivated by the challenge of assessing the quality of reverse engineered models of real-time software, we also introduce a mathematical measure for comparing trace recordings from embedded real-time systems regarding their temporal behaviour and a benchmark framework based on this measure, for evaluating reverse engineering tools such as CoreTAna. This framework considers common system architectures and also includes randomly generated systems and systems of projects in the automotive domain and other industries. Finally, CoreTAna’s performance and applicability are evaluated on the basis of this benchmark. |
| format | Online |
| id | doab-20.500.12854ir-138139 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2024 |
| publishDateRange | 2024 |
| publishDateSort | 2024 |
| publisher | University of Bamberg Press |
| publisherStr | University of Bamberg Press |
| record_format | ojs |
| spelling | doab-20.500.12854ir-1381392025-07-18T09:45:51Z Reverse Engineering of Real-Time System Models From Event Trace Recordings Sailer, Andreas AUTOSAR Reverse Engineering Modellierung thema EDItEUR::U Computing and Information Technology::UY Computer science thema EDItEUR::U Computing and Information Technology::UY Computer science Model-driven approaches are experiencing an increasing acceptance in the automotive domain thanks to the availability of the AUTOSAR standard, which defines an open software architecture for the model-based development of real-time systems and a corresponding development methodology. However, the process of creating models of existing system components is often difficult and time consuming, especially when legacy code is involved or information about the exact timing is needed. The research community tackles this problem by developing algorithms for automatically deriving characteristics of the system’s timing behaviour, e.g., response times and resource blockings from various artefacts such as source code or runtime measurements. This work focuses on reversely engineering an AUTOSAR-compliant model, which can be used for further processing including timing simulation and optimisation, via a dynamic analysis from trace recordings of a real-time system. Although software reverse engineering via dynamic analysis has a long history, little research targets embedded systems and its use for multi-core architectures is largely unresearched. Furthermore, related work mainly discusses the analysis of individual characteristics of a real-time system, such as execution times or stimulation patterns instead of creating a description of the entire system. Huselius, whose work is among the publications most related to the topic of this thesis, proposes a technique to reverse engineer a model that reflects the general temporal behaviour of the original real-time software. However, like other existing solutions, it was not developed with AUTOSAR in mind. It is also not feasible to make this approach applicable to the automotive domain, because Huselius has not considered some required details, such as activation patterns, scheduling information, and compliance to the standardised development methodology of AUTOSAR. We want to tackle this deficiency by introducing, in this work, an approach that seizes on Huselius’s considerations and extends them in order to make them applicable to the automotive domain. To do so, we present CoreTAna, a prototypical tool that derives an AUTOSAR compliant model of a real-time system by conducting dynamic analysis using trace recordings. Its reverse engineering approach is designed in such a way that it fits seamlessly into the methodology specified by AUTOSAR. CoreTAna’s current features are explained and their benefits for reverse engineering are highlighted, and a framework for evaluating the quality of synthesised models is described. Motivated by the challenge of assessing the quality of reverse engineered models of real-time software, we also introduce a mathematical measure for comparing trace recordings from embedded real-time systems regarding their temporal behaviour and a benchmark framework based on this measure, for evaluating reverse engineering tools such as CoreTAna. This framework considers common system architectures and also includes randomly generated systems and systems of projects in the automotive domain and other industries. Finally, CoreTAna’s performance and applicability are evaluated on the basis of this benchmark. 2024-05-18T04:12:17Z 2024-05-18T04:12:17Z 2024-05-17T16:12:42Z 2019 book ONIX_20240517_9783863096908_2 OCN: 1250402394 https://library.oapen.org/handle/20.500.12657/90289 9783863096908 https://directory.doabooks.org/handle/20.500.12854/138139 eng Schriften aus der Fakultät Wirtschaftsinformatik und Angewandte Informatik der Otto-Friedrich-Universität Bamberg open access image/jpeg image/jpeg Attribution 4.0 International Attribution 4.0 International https://library.oapen.org/bitstream/20.500.12657/90289/1/9783863096908.pdf https://library.oapen.org/bitstream/20.500.12657/90289/1/9783863096908.pdf University of Bamberg Press 10.20378/irb-46506 10.20378/irb-46506 02ec4fa1-0d3e-42ea-b1f5-5b710c6fd863 9783863096908 AG Universitätsverlage 529 Bamberg open access |
| spellingShingle | AUTOSAR Reverse Engineering Modellierung thema EDItEUR::U Computing and Information Technology::UY Computer science thema EDItEUR::U Computing and Information Technology::UY Computer science Sailer, Andreas Reverse Engineering of Real-Time System Models From Event Trace Recordings |
| title | Reverse Engineering of Real-Time System Models From Event Trace Recordings |
| title_full | Reverse Engineering of Real-Time System Models From Event Trace Recordings |
| title_fullStr | Reverse Engineering of Real-Time System Models From Event Trace Recordings |
| title_full_unstemmed | Reverse Engineering of Real-Time System Models From Event Trace Recordings |
| title_short | Reverse Engineering of Real-Time System Models From Event Trace Recordings |
| title_sort | reverse engineering of real time system models from event trace recordings |
| topic | AUTOSAR Reverse Engineering Modellierung thema EDItEUR::U Computing and Information Technology::UY Computer science thema EDItEUR::U Computing and Information Technology::UY Computer science |
| topic_facet | AUTOSAR Reverse Engineering Modellierung thema EDItEUR::U Computing and Information Technology::UY Computer science thema EDItEUR::U Computing and Information Technology::UY Computer science |
| url | ONIX_20240517_9783863096908_2 |
| work_keys_str_mv | AT sailerandreas reverseengineeringofrealtimesystemmodelsfromeventtracerecordings |