R2U2 Version 3.0: Re-Imagining a Toolchain for Specification, Resource Estimation, and Optimized Observer Generation for Runtime Verification in Hardware and …
R2U2 is a modular runtime verification framework capable of monitoring sets of
specifications in real time and in resource-constrained environments. Such environments …
specifications in real time and in resource-constrained environments. Such environments …
Impossible made possible: encoding intractable specifications via implied domain constraints
We take another look at intractable temporal logic specifications, where the intractability
stems from self-reference, unboundedness, or the need for explicit counting. A classic …
stems from self-reference, unboundedness, or the need for explicit counting. A classic …
A hierarchy of monitoring properties for autonomous systems
View Video Presentation: https://doi. org/10.2514/6.2023-2588. vid Monitoring capabilities
play a central role in mitigating safety risks of current, but especially future autonomous …
play a central role in mitigating safety risks of current, but especially future autonomous …
Impact and influence of cyber-physical systems research on autonomous aerospace systems
View Video Presentation: https://doi. org/10.2514/6.2023-2669. vid Cyber-Physical Systems,
as a discipline, is relatively new, appearing prominently between 2000-2010, but has rapidly …
as a discipline, is relatively new, appearing prominently between 2000-2010, but has rapidly …
[PDF][PDF] Dynamic set reasoning: Specifying and optimizing monitor encodings
CG Johannsen - 2024 - cgjohannsen.com
Specifying and monitoring temporal properties over sets on real-time embedded systems
requires a logic that offers sufficient expressiveness and acceptable worst-case …
requires a logic that offers sufficient expressiveness and acceptable worst-case …