MURAL - Maynooth University Research Archive Library



    An Overview of Verification and Validation Challenges for Inspection Robots


    Fisher, Michael, Cardoso, Rafael C., Collins, Emily C., Dadswell, Christopher, Dennis, Louise A., Dixon, Clare, Farrell, Marie, Ferrando, Angelo, Huang, Xiaowei, Jump, Mike, Kourtis, Georgios, Lisitsa, Alexei, Luckcuck, Matt, Luo, Shan, Page, Vincent, Papacchini, Fabio and Webster, Matt (2021) An Overview of Verification and Validation Challenges for Inspection Robots. Robotics, 10 (2). p. 67. ISSN 2218-6581

    [thumbnail of MattLuckcuckRobots2021.pdf]
    Preview
    Text
    MattLuckcuckRobots2021.pdf

    Download (828kB) | Preview

    Abstract

    The advent of sophisticated robotics and AI technology makes sending humans into hazardous and distant environments to carry out inspections increasingly avoidable. Being able to send a robot, rather than a human, into a nuclear facility or deep space is very appealing. However, building these robotic systems is just the start and we still need to carry out a range of verification and validation tasks to ensure that the systems to be deployed are as safe and reliable as possible. Based on our experience across three research and innovation hubs within the UK’s “Robots for a Safer World” programme, we present an overview of the relevant techniques and challenges in this area. As the hubs are active across nuclear, offshore, and space environments, this gives a breadth of issues common to many inspection robots.
    Item Type: Article
    Additional Information: Cite as: Fisher, M., Cardoso, R.C., Collins, E.C., Dadswell, C., Dennis, L.A., Dixon, C., Farrell, M., Ferrando, A., Huang, X., Jump, M., Kourtis, G., Lisitsa, A., Luckcuck, M., Luo, S., Page, V., Papacchini, F. & Webster, M. 2021, "An Overview of Verification and Validation Challenges for Inspection Robots", Robotics (Basel), vol. 10, no. 2, pp. 67.
    Keywords: robotic inspection; software architectures; formal verification; testing;
    Academic Unit: Faculty of Science and Engineering > Computer Science
    Item ID: 17467
    Identification Number: 10.3390/robotics10020067
    Depositing User: Marie Farrell
    Date Deposited: 24 Aug 2023 14:48
    Journal or Publication Title: Robotics
    Publisher: MDPI AG
    Refereed: Yes
    Related URLs:
    URI: https://mural.maynoothuniversity.ie/id/eprint/17467
    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)

    Item control page
    Item control page

    Downloads

    Downloads per month over past year

    Origin of downloads