Campus Units

Aerospace Engineering, Computer Science, Electrical and Computer Engineering

Document Type

Conference Proceeding

Conference

International Conference on Runtime Verification (RV16)

Publication Version

Published Version

Publication Date

2016

Journal or Book Title

Lecture Notes in Computer Science

Volume

10012

First Page

504

Last Page

509

DOI

10.1007/978-3-319-46982-9_35

Conference Date

September 23–30, 2016

City

Madrid, Spain

Abstract

We present R2U2 (Realizable, Responsive, Unobtrusive Unit), a hardware-supported tool and framework for the continuous monitoring of safety-critical and embedded cyber-physical systems. With the widespread advent of autonomous systems such as Unmanned Aerial Systems (UAS), satellites, rovers, and cars, real-time, on-board decision making requires unobtrusive monitoring of properties for safety, performance, security, and system health. R2U2 models combine past-time and future-time Metric Temporal Logic, “mission time” Linear Temporal Logic, probabilistic reasoning with Bayesian Networks, and model-based prognostics.

The R2U2 monitoring engine can be instantiated as a hardware solution, running on an FPGA, or as a software component. The FPGA realization enables R2U2 to monitor complex cyber-physical systems without any overhead or instrumentation of the flight software. In this tool exhibition report, we present R2U2 and demonstrate applications on system runtime monitoring, diagnostics, software health management, and security monitoring for a UAS. Our tool demonstration uses a hardware-based processor-in-the-loop “iron-bird” configuration.

Comments

This proceeding is published as Schumann J., Moosbrugger P., Rozier K.Y. (2016) Runtime Analysis with R2U2: A Tool Exhibition Report. The16th International Conference on Runtime Verification, Madrid, Spain, Sept. 23-30, 2016. In: Falcone Y., Sánchez C. (eds) Runtime Verification. RV 2016. Lecture Notes in Computer Science, vol 10012. DOI: 10.1007/978-3-319-46982-9_35. Posted with permission.

Rights

Works produced by employees of the U.S. Government as part of their official duties are not copyrighted within the U.S. The content of this document is not copyrighted.

Language

en

File Format

application/pdf

Share

Article Location

 
COinS