Runtime Instrumentation for Reactive Components
Reactive software calls for instrumentation methods that uphold the reactive attributes of
systems. Runtime verification imposes another demand on the instrumentation, namely that …
systems. Runtime verification imposes another demand on the instrumentation, namely that …
ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics
MG Saadat, A Ferrando, LA Dennis… - arXiv preprint arXiv …, 2024 - arxiv.org
Formal verification of robotic applications presents challenges due to their hybrid nature and
distributed architecture. This paper introduces ROSMonitoring 2.0, an extension of …
distributed architecture. This paper introduces ROSMonitoring 2.0, an extension of …
Runtime Instrumentation for Reactive Components (Extended Version)
Reactive software calls for instrumentation methods that uphold the reactive attributes of
systems. Runtime verification imposes another demand on the instrumentation, namely that …
systems. Runtime verification imposes another demand on the instrumentation, namely that …