JEWLScholar@MTSU Repository

RUNTIME VERIFICATION OF STATE DIAGRAM FOR ROBOTICS

Show simple item record

dc.contributor.advisor Dong, Zhijiang
dc.contributor.author Harvin, Taylor N.
dc.date.accessioned 2018-01-04T20:26:53Z
dc.date.available 2018-01-04T20:26:53Z
dc.date.issued 2017-12-01
dc.identifier.uri http://jewlscholar.mtsu.edu/xmlui/handle/mtsu/5575
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.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.title RUNTIME VERIFICATION OF STATE DIAGRAM FOR ROBOTICS
dc.type Thesis
dc.contributor.committeemember Li, Cen
dc.contributor.committeemember Barbosa, Salvador
dc.thesis.degreelevel Masters
dc.thesis.degreegrantor Middle Tennessee State University
dc.subject.umi Computer science
dc.description.degree M.S.
dc.contributor.department Computer Science


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search JEWLScholar@MTSU


Advanced Search

Browse

My Account

Statistics