4 papers
Towards Continuous Assurance with Formal Verification and Assurance Cases
Dhaminda B. Abeywickrama, Michael Fisher, Frederic Wheeler +1
Autonomous systems must sustain justified confidence in their correctness and safety across their operational lifecycle-from design and deployment through post-deployment evolution…
Autonomy and Safety Assurance in the Early Development of Robotics and Autonomous Systems
Dhaminda B. Abeywickrama, Michael Fisher, Frederic Wheeler +1
This report provides an overview of the workshop titled Autonomy and Safety Assurance in the Early Development of Robotics and Autonomous Systems, hosted by the Centre for Robotic…
ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics
Maryam Ghaffari Saadat, Angelo Ferrando, Louise A. Dennis +1
Formal verification of robotic applications presents challenges due to their hybrid nature and distributed architecture. This paper introduces ROSMonitoring 2.0, an extension of RO…
Grand Challenges in the Verification of Autonomous Systems
Kevin Leahy, Hamid Asgari, Louise A. Dennis +6
Autonomous systems use independent decision-making with only limited human intervention to accomplish goals in complex and unpredictable environments. As the autonomy technologies…