2024年9月13日 · The Realizable, Responsive, Unobtrusive Unit (R2U2) uniquely fills this need, analyzing formal system requirements on-board flight systems during runtime. We overview how R2U2 works and highlight recent success stories, including embedding on-board various UAS, a sounding rocket, the humanoid robot Robonaut2, and NASA's Lunar Gateway.

2016年6月6日 · 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.

2016年8月24日 · We propose to design a real-time, onboard runtime verification and system health management (SHM) framework called R2U2, to continuously monitor essential system components such as sensors, software, and hardware for detection and diagnosis of failures and violations of safety or performance rules during the mission of autonomous space systems ...

The Realizable, Reconfigurable, Unobtrusive Unit (R2U2) is a stream-based runtime verification framework based on Mission-time Linear Temporal Logic (MLTL) designed to monitor safety- or mission-critical systems with constrained computational resources.

2017年4月12日 · We present R2U2, a novel framework for runtime monitoring of security properties and diagnosing of security threats on-board Unmanned Aerial Systems (UAS). R2U2, implemented in FPGA hardware, is a real-time, Realizable, Responsive, Unobtrusive Unit for runtime system analysis, now including security threat detection.

R2U2 (Realizable, Responsive, Unobtrusive Unit) is a hardware-supported tool and framework for the real-time system and software health management of cyber-physical systems. R2U2 continuously monitors properties about safety, performance, and security of the vehicle and can perform diagnostic reasoning.

Download scientific diagram | R2U2 observers, encoded on the FPGA, monitor internal sensor values passed over the R2 control bus. from publication: Embedding Online Runtime Verification for Fault...

2017年9月13日 · R2U2: Tool Overview R2U2 (Realizable, Responsive, Unobtrusive Unit) is an extensible framework for runtime System HealthManagement (SHM) of cyber-physical systems. R2U2 can be run in hardware (e.g., FPGAs), or software; can monitorhardware, software, or a combination of the two; and can analyze a range of different types of system ...

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.

R2U2 is a runtime monitoring engine bringing system health management to mission critical systems. Discover more about the tool, the way it works, and the systems that have utilized it. Click here to access the download links for the latest version of R2U2.