R2U2 Version 3.0: Re-Imagining a Toolchain for Specification, Resource Estimation, and Optimized Observer Generation for Runtime Verification in Hardware and Software
Chris J. Johannsen, Phillip H. Jones, Brian Kempa, Kristin Yvonne Rozier, Pei Zhang
Abstract
Abstract R2U2 is a modular runtime verification framework capable of monitoring sets of specifications in real time and in resource-constrained environments. Such environments demand that a runtime monitor be fast, easily integratable, accessible to domain experts, and have predictable resource requirements. Version 3.0 adds new features to R2U2 and its associated suite of tools that meet these needs including a new front-end compiler that accepts a custom specification language, a GUI for resource estimation, and improvements to R2U2’s internal architecture.
Topics & Concepts
ToolchainComputer scienceModular designCompilerSuiteRuntime verificationProgramming languageEmbedded systemResource (disambiguation)SoftwareSoftware engineeringFormal verificationArchaeologyHistoryComputer networkFormal Methods in VerificationReal-Time Systems SchedulingSoftware Testing and Debugging Techniques