A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System

Abstract. Although runtime monitoring is a promising technique to improve the verification of complex safety-critical systems, the general design trend towards utilizing black-box commercial-off-the-shelf (COTS) components means that these systems are not always amenable to instrumentation which is commonly used to produce the relevant events necessary for checking the desired properties. In this paper, we develop an online, real-time monitoring approach that targets an autonomous research vehicle (ARV) system and recount our experience with it. To avoid instrumentation we passively monitor the target system by generating high-level property constructs (i.e., propositions) from the observed network state. We then develop an efficient runtime monitoring algorithm, EgMon, that eagerly checks for violations of desired properties written in a future-bounded, propositional metric temporal logic. We show the efficacy of EgMon by implementing it and empirically evaluating it against logs o...

• Type: Journal
• Year: 2015
• Where: RV
• Authors: Aaron Kane, Omar Chowdhury, Anupam Datta, Philip Koopman
• Keywords: Hardware, RV 2015