Full metadata
Title
Dynamic analysis of multithreaded embedded software to expose atomicity violations
Description
Concurrency bugs are one of the most notorious software bugs and are very difficult to manifest. Significant work has been done on detection of atomicity violations bugs for high performance systems but there is not much work related to detect these bugs for embedded systems. Although criteria to claim existence of bugs remains same, approach changes a bit for embedded systems. The main focus of this research is to develop a systemic methodology to address the issue from embedded systems perspective. A framework is developed which predicts the access interleaving patterns that may violate atomicity using memory references of shared variables and provides support to force and analyze these schedules for any output change, system fault or change in execution path.
Date Created
2016
Contributors
- Patel, Jay (Author)
- Lee, Yann-Hang (Thesis advisor)
- Ren, Fengbo (Committee member)
- Srivastava, Aviral (Committee member)
- Arizona State University (Publisher)
Topical Subject
Resource Type
Extent
v, 33 pages : illustrations (some color)
Language
eng
Copyright Statement
In Copyright
Primary Member of
Peer-reviewed
No
Open Access
No
Handle
https://hdl.handle.net/2286/R.I.38397
Statement of Responsibility
by Jay Patel
Description Source
Viewed on June 13, 2016
Level of coding
full
Note
thesis
Partial requirement for: M.S., Arizona State University, 2016
bibliography
Includes bibliographical references (pages 32-33)
Field of study: Computer science
System Created
- 2016-06-01 08:04:35
System Modified
- 2021-08-30 01:24:47
- 3 years 3 months ago
Additional Formats