R2U2 Version 3.0: Re-Imagining a Toolchain for Specification, Resource Estimation, and Optimized Observer Generation for Runtime Verification in Hardware and Software-Reference-Cited by-同舟云学术

R2U2 Version 3.0: Re-Imagining a Toolchain for Specification, Resource Estimation, and Optimized Observer Generation for Runtime Verification in Hardware and Software

Published:2023 Issue: Volume: Page:483-497
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Johannsen Chris,Jones Phillip,Kempa Brian,Rozier Kristin Yvonne,Zhang Pei

Abstract

AbstractR2U2 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.

Publisher

Springer Nature Switzerland

Link

https://link.springer.com/content/pdf/10.1007/978-3-031-37709-9_23

Reference45 articles.

1. Ryan, J.C., Cummings, M.L., Roy, N., Banerjee, A., Schulte, A.: Designing an Interactive Local and Global Decision Support System for Aircraft Carrier Deck Scheduling. AIAA Infotech (2011)

2. Aurandt, A., Jones, P., Rozier, K.Y.: Runtime verification triggers real-time, autonomous fault recovery on the CySat-I. In: Deshmukh, J.V., Havelund, K., Perez, I. (eds.) NASA Formal Methods. NFM 2022. LNCS, vol. 13260, pp. 816–825. Springer, Cham (2022). https://doi.org/10.1007/978-3-031-06773-0_45

3. Badger, J.M., Strawser, P., Claunch, C.: A distributed hierarchical framework for autonomous spacecraft control. In: 2019 IEEE Aerospace Conference, pp. 1–8. IEEE (2019)

4. Bryant, R.: Graph-based algorithms for Boolean-function manipulation. IEEE TC C–35(8), 677–691 (1986)

5. Communications in Computer and Information Science;M Cauwels,2020

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Runtime Verification in Real-Time with the Copilot Language: A Tutorial;Lecture Notes in Computer Science;2024-09-13

2. Formal Methods in Industry;Formal Aspects of Computing;2024-08-21

3. Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned;Lecture Notes in Computer Science;2024

4. Multimodal Model Predictive Runtime Verification for Safety of Autonomous Cyber-Physical Systems;Lecture Notes in Computer Science;2024

5. What's in a Name? Linear Temporal Logic Literally Represents Time Lines;2023 IEEE Working Conference on Software Visualization (VISSOFT);2023-10-01