Autonomy is an increasingly important technology for robotic scientific and commercial spacecraft. An important motivation for developing onboard autonomy is to enable quick response to dynamic environment and situations, including fault conditions that a spacecraft may encounter. The reliability of such autonomous capabilities depends on the quality of their knowledge of a spacecraft's health state. Model-based approaches to fault management, i.e. model-based fault diagnosis (MBFD), is one approach to continuously verify correct behavior in addition to diagnosing symptoms to estimate the spacecraft's health state. The proper functioning of MBFD is dependent on 1) the quality of the model that is analyzed and compared to the outputs of onboard sensors to estimate the system's health state, and 2) the correct functioning of the diagnosis engine that interrogates the model and compares its analysis to observed system behavior. We are currently developing Verification and Validation (V&V) approaches to provide the necessary confidence that MBFD systems are correctly estimating the health of on-board spacecraft components and systems. Our work is intended to narrow the gap between the rapidly maturing field of Model-Based System Engineering (including MBFD) and the less-well understood area of identifying and applying appropriate V&V techniques to MBFD. Our effort is investigating three areas: 1) developing V&V techniques for the diagnostic model, 2) developing V&V techniques for the diagnostic engine in isolation, and 3) developing V&V techniques for the diagnostic engine and model in combination. This paper describes the work we have completed in the first area. We describe our approach to selecting a system to be represented by a model, the approach to modeling the system, the verification approach we developed for the model, and the results of the verification activity. We conclude with a description of the work remaining in the last two areas, which will be addressed over the next two years.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Assurance of model-based fault diagnosis


    Beteiligte:
    Nikora, Allen (Autor:in) / Srivastava, Priyanka (Autor:in) / Fesq, Lorraine (Autor:in) / Chung, Seung (Autor:in) / Kolcio, Ksenia (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    2018-03-01


    Format / Umfang :

    3792330 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Assurance of model based fault diagnosis

    Chung, Seung / Fesq, Lorraine / Kolcio, Ksenia et al. | NTRS | 2018


    Demonstrating Assurance of Model-Based Fault Diagnosis Systems on an Operational Mission

    Litke, Matthew / Prather, Maurice / Kolcio, Ksenia et al. | NTRS | 2020


    Demonstrating Assurance of Model-Based Fault Diagnosis Systems on an Operational Mission

    Nikora, Allen / Aleem, Mishaal / Mackey, Ryan et al. | IEEE | 2020


    Model Based Mission Assurance: NASA's Assurance Future

    Evans, John / Cornford, Steven / Feather, Martin S. | NTRS | 2016