AI software is often used as a means for providing greater autonomy to automated systems, capable of coping with harsh and unpredictable environments. Due in part to the enormous space of possible situations that they aim to addrs, autonomous systems pose a serious challenge to traditional test-based verification approaches. Efficient verification approaches need to be perfected before these systems can reliably control critical applications. This publication describes Livingstone PathFinder (LPF), a verification tool for autonomous control software. LPF applies state space exploration algorithms to an instrumented testbed, consisting of the controller embedded in a simulated operating environment. Although LPF has focused on NASA s Livingstone model-based diagnosis system applications, the architecture is modular and adaptable to other systems. This article presents different facets of LPF and experimental results from applying the software to a Livingstone model of the main propulsion feed subsystem for a prototype space vehicle.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder


    Contributors:

    Conference:

    Tools and Algorithms for the Construction and Analysis of Systems


    Publication date :

    2004-01-01


    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English




    Mars Pathfinder Surface Operations Verification

    Harris, Jennifer A. | NTRS | 1997



    Thermal Test Verification of the Performance of LISA Pathfinder

    Barraclough, Simon / Smith, Katy / Fishwick, Nick et al. | AIAA | 2011


    Pathfinder: Overview

    Hudson, Wayne R. / Mankins, John / Anderson, John L. | NTRS | 1988


    Mars pathfinder

    Kubota, T. | British Library Online Contents | 1997