NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
R2U2: Tool OverviewR2U2 (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 requirementsduring runtime. An R2U2 requirement is specified utilizing a hierarchical combination of building blocks: temporal formula runtime observers (in LTL or MTL), Bayesian networks, sensor filters, and Boolean testers. Importantly, the framework is extensible; it is designed to enable definitions of new building blocks in combination with the core structure. Originally deployed on Unmanned Aerial Systems (UAS), R2U2 is designed to run on a wide range of embedded platforms, from autonomous systems like rovers, satellites, and robots, to human-assistive ground systems and cockpits. R2U2 is named after the requirements it satisfies; while the exact requirements vary by platform and mission, the ability to formally reason about realizability, responsiveness, and unobtrusiveness is necessary for flight certifiability, safety-critical system assurance, and achievement of technology readiness levels for target systems. Realizability ensures that R2U2 is suficiently expressive to encapsulate meaningful runtime requirements while maintaining adaptability to run on different platforms, transition between different mission stages, and update quickly between missions. Responsiveness entails continuously monitoring the system under test, real-time reasoning, reporting intermediate status, and as-early-as-possible requirements evaluations. Unobtrusiveness ensures compliance with the crucial properties of the target architecture: functionality, certifiability, timing, tolerances, cost, or other constraints.
Document ID
20190026747
Acquisition Source
Ames Research Center
Document Type
Conference Paper
Authors
Rozier, Kristin Y. (Iowa State Univ. Ames, IA, United States)
Schumann, Johann (Stinger Ghaffarian Technologies Inc. (SGT Inc.) Moffett Field, CA, United States)
Date Acquired
June 28, 2019
Publication Date
September 13, 2017
Subject Category
Computer Programming And Software
Report/Patent Number
ARC-E-DAA-TN48849
Meeting Information
Meeting: International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
Location: Seattle, WA
Country: United States
Start Date: September 13, 2017
End Date: September 16, 2017
Sponsors: Microsoft Corp.
Funding Number(s)
CONTRACT_GRANT: NNX16AR57G
CONTRACT_GRANT: NNX14AN61A
CONTRACT_GRANT: NNA14AA60C
OTHER: CNS-1552934
Distribution Limits
Public
Copyright
Use by or on behalf of the US Gov. Permitted.

Related Records

There are no records associated with this record.
No Preview Available