Full metadata
Title
Dynamic analysis of embedded software
Description
Most embedded applications are constructed with multiple threads to handle concurrent events. For optimization and debugging of the programs, dynamic program analysis is widely used to collect execution information while the program is running. Unfortunately, the non-deterministic behavior of multithreaded embedded software makes the dynamic analysis difficult. In addition, instrumentation overhead for gathering execution information may change the execution of a program, and lead to distorted analysis results, i.e., probe effect. This thesis presents a framework that tackles the non-determinism and probe effect incurred in dynamic analysis of embedded software. The thesis largely consists of three parts. First of all, we discusses a deterministic replay framework to provide reproducible execution. Once a program execution is recorded, software instrumentation can be safely applied during replay without probe effect. Second, a discussion of probe effect is presented and a simulation-based analysis is proposed to detect execution changes of a program caused by instrumentation overhead. The simulation-based analysis examines if the recording instrumentation changes the original program execution. Lastly, the thesis discusses data race detection algorithms that help to remove data races for correctness of the replay and the simulation-based analysis. The focus is to make the detection efficient for C/C++ programs, and to increase scalability of the detection on multi-core machines.
Date Created
2015
Contributors
- Song, Young Wn (Author)
- Lee, Yann-Hang (Thesis advisor)
- Shrivastava, Aviral (Committee member)
- Fainekos, Georgios (Committee member)
- Lee, Joohyung (Committee member)
- Arizona State University (Publisher)
Topical Subject
Resource Type
Extent
xi, 136 pages : color illustrations
Language
eng
Copyright Statement
In Copyright
Primary Member of
Peer-reviewed
No
Open Access
No
Handle
https://hdl.handle.net/2286/R.I.35414
Statement of Responsibility
by Young Wn Song
Description Source
Viewed on July 7, 2020
Level of coding
full
Note
thesis
Partial requirement for: Ph.D., Arizona State University, 2015
bibliography
Includes bibliographical references (Pages 127-136)
Field of study: Computer science
System Created
- 2015-10-01 08:00:26
System Modified
- 2021-08-30 01:26:56
- 3 years 2 months ago
Additional Formats