MURAL - Maynooth University Research Archive Library



    Modular Verification of Autonomous Space Robotics


    Farrell, Marie and Cardoso, Rafael C. and Dennis, Louise A. and Dixon, Clare (2021) Modular Verification of Autonomous Space Robotics. arXiv.org. ISSN 2331-8422

    [img]
    Preview
    Download (79kB) | Preview


    Share your research

    Twitter Facebook LinkedIn GooglePlus Email more...



    Add this article to your Mendeley library


    Abstract

    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 potentially endanger nearby astronauts and costly equipment. To minimise mission failure caused by software errors, we can utilise a variety of tools and techniques to verify that the software behaves as intended. In particular, distinct nodes in a robotic system often require different verification techniques to ensure that they behave as expected. This paper introduces a method for integrating the various verification techniques that are applied to robotic software, via a First-Order Logic (FOL) specification that captures each node's assumptions.

    Item Type: Article
    Keywords: formal methods; heterogeneous verification; autonomous space robotic;
    Academic Unit: Faculty of Science and Engineering > Computer Science
    Item ID: 18576
    Depositing User: Marie Farrell
    Date Deposited: 23 May 2024 13:22
    Journal or Publication Title: arXiv.org
    Publisher: Cornell University Library, arXiv.org
    Refereed: Yes
    URI:
    Use Licence: This item is available under a Creative Commons Attribution Non Commercial Share Alike Licence (CC BY-NC-SA). Details of this licence are available here

    Repository Staff Only(login required)

    View Item Item control page

    Downloads

    Downloads per month over past year

    Origin of downloads