RUNTIME VERIFICATION OF STATE DIAGRAM FOR ROBOTICS

dc.contributor.advisor Dong, Zhijiang
dc.contributor.author Harvin, Taylor N.
dc.contributor.committeemember Li, Cen
dc.contributor.committeemember Barbosa, Salvador
dc.contributor.department Computer Science en_US
dc.date.accessioned 2018-01-04T20:26:53Z
dc.date.available 2018-01-04T20:26:53Z
dc.date.issued 2017-12-01
dc.description.abstract It is critical to develop a trustworthy system for cyber physic systems (CPS), such as unmanned aerial vehicle and robotic systems. However, it is challenging to develop trustworthy systems due to complicated system behavior and unknown or even hostile external environments that are in general unstable. It becomes even worse because of the integration of error detection and handling code in the system to react to unknown events or exceptions. To facilitate the development of trustworthy systems in CPS, we proposed a framework that allows developers to monitor system behavior at runtime easily. The framework is built around runtime verification tools and could detect any deviation from system behavior that is specified in state diagrams. One benefit of our framework is that it separates the monitoring code from system code that achieves the required functionalities. This creates a cleaner and modular system. A case study of a Lego EV3 robot is conducted to evaluate our framework.
dc.description.degree M.S.
dc.identifier.uri http://jewlscholar.mtsu.edu/xmlui/handle/mtsu/5575
dc.publisher Middle Tennessee State University
dc.subject Aspectj
dc.subject Linear temportal logic
dc.subject Monitor oriented programming
dc.subject Robotics
dc.subject Runtime verification
dc.subject.umi Computer science
dc.thesis.degreegrantor Middle Tennessee State University
dc.thesis.degreelevel Masters
dc.title RUNTIME VERIFICATION OF STATE DIAGRAM FOR ROBOTICS
dc.type Thesis
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
Harvin_mtsu_0170N_10921.pdf
Size:
1.82 MB
Format:
Adobe Portable Document Format
Description:
Collections