Verification for space robotics
Rafael Cauê Cardoso, Marie Farrell, Georgios Kourtis, Matt Webster, Louise A. Dennis, Clare Dixon, Michael Fisher, Alexei Lisitsa · 2021
Verification techniques such as formal verification, simulation and testing are useful when ensuring systems are safe, trustworthy and meet their stated requirements. They are needed for space robotics as failures in space may be much more critical, costly and harder to resolve. We have discussed several tools and techniques for verification of space robotics with reference to some simple space scenarios. Recommendations include designing systems for verification using a modular approach separating concerns, embedding verification and validation into engineering process, and using a range of tools and techniques to improve confidence in space systems. Future trends include the greater need for and use of autonomy in space robotics, e.g., to support planetary missions with robots working closely with astronauts, where safety and functional correctness is crucial. Additionally, verification and validation is needed for the New Space sector to conform regulation and standards for applications such as satellite communication, imaging, navigation, space tourism and mining.