Verifying that autonomous space robotic software behaves correctly is crucial, particularly since such software is often mission-critical, that is, a software failure can lead to mission failure. In this paper, we describe the process that we used to verify the autonomous grasp generation and capturing operation of a spent rocket stage in space. This paper summarises a publication by the same authors in the journal Frontiers in Robotics and AI (2022) which harnesses multiple formal and non-formal methods to verify an autonomous grasping system.
Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal / Farrell, M.; Mavrakis, N.; Ferrando, A.; Dixon, C.; Gao, Y.. - 13274:(2022), pp. 39-44. ( 17th International Conference on Integrated Formal Methods, IFM 2022 che 2022) [10.1007/978-3-031-07727-2_3].
Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal
Ferrando A.;
2022
Abstract
Verifying that autonomous space robotic software behaves correctly is crucial, particularly since such software is often mission-critical, that is, a software failure can lead to mission failure. In this paper, we describe the process that we used to verify the autonomous grasp generation and capturing operation of a spent rocket stage in space. This paper summarises a publication by the same authors in the journal Frontiers in Robotics and AI (2022) which harnesses multiple formal and non-formal methods to verify an autonomous grasping system.
Pubblicazioni consigliate
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris
