RUNTIME VERIFICATION OF STATE DIAGRAM FOR ROBOTICS
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
1 - 1 of 1
No Thumbnail Available
- Name:
- Harvin_mtsu_0170N_10921.pdf
- Size:
- 1.82 MB
- Format:
- Adobe Portable Document Format
- Description: