@inproceedings{4684a454d66d4ee4b66dd09f29f4a608,
title = "A case study on runtime monitoring of an autonomous research vehicle (ARV) system",
abstract = "Runtime monitoring is a versatile technique for detecting property violations in safety-critical (SC) systems. Although instrumentation of the system under monitoring is a common approach for obtaining the events relevant for checking the desired properties, the current trend of using black-box commercial-off-the-shelf components in SC system development makes these systems unamenable to instrumentation. In this paper we develop an online runtime monitoring approach targeting an autonomous research vehicle (ARV) system and recount our experience with it. To avoid instrumentation we passively monitor the target system by generating atomic 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 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.",
author = "Aaron Kane and Omar Chowdhury and Anupam Datta and Philip Koopman",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2015.; 6th International Conference on Runtime Verification, RV 2015 ; Conference date: 22-09-2015 Through 25-09-2015",
year = "2015",
doi = "10.1007/978-3-319-23820-3\_7",
language = "English",
isbn = "9783319238197",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "102--117",
editor = "Ezio Bartocci and Rupak Majumdar",
booktitle = "Runtime Verification - 6th International Conference, RV 2015, Proceedings",
}