Book chapter
A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System
Runtime Verification, pp.102-117
Lecture Notes in Computer Science, Springer International Publishing
11/15/2015
DOI: 10.1007/978-3-319-23820-3_7
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.
Details
- Title: Subtitle
- A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System
- Creators
- Aaron Kane - Carnegie Mellon University, Pittsburgh, USAOmar Chowdhury - Purdue University, West Lafayette, USAAnupam Datta - Carnegie Mellon University, Pittsburgh, USAPhilip Koopman - Carnegie Mellon University, Pittsburgh, USA
- Resource Type
- Book chapter
- Publication Details
- Runtime Verification, pp.102-117
- Publisher
- Springer International Publishing; Cham
- Series
- Lecture Notes in Computer Science
- DOI
- 10.1007/978-3-319-23820-3_7
- eISSN
- 1611-3349
- ISSN
- 0302-9743
- Language
- English
- Date published
- 11/15/2015
- Academic Unit
- Computer Science
- Record Identifier
- 9984002577702771
Metrics
24 Record Views