12 citations · 12 across the 2 of their papers we have counts for
2 papers
cs.RO2022★ 12 cited
Monitoring ROS2: from Requirements to Autonomous Robots
Ivan Perez, Anastasia Mavridou, Tom Pressburger +2
Runtime verification (RV) has the potential to enable the safe operation of safety-critical systems that are too complex to formally verify, such as Robot Operating System 2 (ROS2)…
cs.SE2022
STPA-driven Multilevel Runtime Monitoring for In-time Hazard Detection
Smitha Gautham, Georgios Bakirtzis, Alexander Will +2
Runtime verification or runtime monitoring equips safety-critical cyber-physical systems to augment design assurance measures and ensure operational safety and security. Cyber-phys…