2015 | OriginalPaper | Chapter
A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System
Authors : Aaron Kane, Omar Chowdhury, Anupam Datta, Philip Koopman
Published in: Runtime Verification
Publisher: Springer International Publishing
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Abstract
EgMon
, that eagerly checks for violations of desired properties written in future-bounded, propositional metric temporal logic. We show the efficacy of EgMon
by implementing and empirically evaluating it against logs obtained from the testing of an ARV system. EgMon
was able to detect violations of several safety requirements.