280 citations · 465 across the 12 of their papers we have counts for
5 papers · 1 filter
Extending Attack-Fault Trees with Runtime Verification
Rafael C. Cardoso, Angelo Ferrando, Michael Fisher
Autonomous systems are often complex and prone to software failures and cyber-attacks. We introduce RVAFTs, an extension of Attack-Fault Trees (AFTs) with runtime events that can b…
Towards Compositional Verification for Modular Robotic Systems
Rafael C. Cardoso, Louise A. Dennis, Marie Farrell +2
Software engineering of modular robotic systems is a challenging task, however, verifying that the developed components all behave as they should individually and as a whole presen…
Heterogeneous Verification of an Autonomous Curiosity Rover
Rafael C. Cardoso, Marie Farrell, Matt Luckcuck +2
The Curiosity rover is one of the most complex systems successfully deployed in a planetary exploration mission to date. It was sent by NASA to explore the surface of Mars and to i…
A Summary of Formal Specification and Verification of Autonomous Robotic Systems
Matt Luckcuck, Marie Farrel, Louise A. Dennis +1
Autonomous robotic systems are complex, hybrid, and often safety-critical; this makes their formal specification and verification uniquely challenging. Though commonly used, testin…
Modular Verification of Autonomous Space Robotics
Marie Farrell, Rafael C. Cardoso, Louise A. Dennis +6
Ensuring that autonomous space robot control software behaves as it should is crucial, particularly as software failure in space often equates to mission failure and could potentia…