Các phương pháp tiếp cận dựa trên mô hình đang được chấp nhận ngày càng nhiều trong lĩnh vực ô tô nhờ vào sự sẵn có của tiêu chuẩn AUTOSAR, tiêu chuẩn này xác định kiến ​​trúc phần mềm mở để phát triển các hệ thống thời gian thực dựa trên mô hình và phương pháp phát triển tương ứng. Tuy nhiên, quá trình tạo mô hình của các thành phần hệ thống hiện có thường khó khăn và tốn thời gian, đặc biệt khi liên quan đến mã kế thừa hoặc cần thông tin về thời gian chính xác. Cộng đồng nghiên cứu giải quyết vấn đề này bằng cách phát triển các thuật toán để tự động rút ra các đặc điểm về hành vi định thời gian của hệ thống, ví dụ: thời gian phản hồi và chặn tài nguyên từ nhiều đồ tạo tác khác nhau như mã nguồn hoặc phép đo thời gian chạy. Công việc này tập trung vào kỹ thuật đảo ngược một mô hình tương thích với AUTOSAR, mô hình này có thể được sử dụng để xử lý thêm bao gồm mô phỏng và tối ưu hóa thời gian, thông qua phân tích động từ các bản ghi dấu vết của hệ thống thời gian thực. Mặc dù kỹ thuật đảo ngược phần mềm thông qua phân tích động đã có lịch sử lâu dài nhưng có rất ít nghiên cứu nhằm vào các hệ thống nhúng và việc sử dụng nó cho các kiến ​​trúc đa lõi phần lớn chưa được nghiên cứu. Hơn nữa, công việc liên quan chủ yếu thảo luận về việc phân tích các đặc điểm riêng lẻ của hệ thống thời gian thực, chẳng hạn như thời gian thực hiện hoặc mô hình kích thích thay vì tạo mô tả cho toàn bộ hệ thống. Huselius, người có công trình nằm trong số các ấn phẩm liên quan nhiều nhất đến chủ đề của luận án này, đề xuất một kỹ thuật thiết kế ngược một mô hình phản ánh hành vi thời gian chung của phần mềm thời gian thực ban đầu.

Abstract:

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.

Ngôn ngữ:	En
Tác giả:	Andreas Sailer
Thông tin nhan đề:	Reverse Engineering of Real-Time System Models From Event Trace Recordings
Nhà xuất bản:	University of Bamberg Press
Loại hình:	Tài nguyên giáo dục mở / Bộ sưu tập: Công nghệ thông tin
Bản quyền:	https://creativecommons.org/licenses/by-sa/4.0/
Nguồn gốc:	https://directory.doabooks.org/handle/20.500.12854/138139
Mô tả vật lý:	529p.
Năm xuất bản:	2019