This paper describes the application of the Test Automation Framework (TAF) on the Mars Polar Lander (MPL) software. The premature shutdown of the descent engine on the MPL spacecraft is believed to be the most likely cause for the mission failure. It is believed that the engine shutdown occurred when the three landing legs were extended into their deployed position. This event created an unanticipated transient touchdown indication from the legs, causing the software to inadvertently shutdown the descent engines prior to reaching the surface of Mars. This spurious indication should have been ignored by the touchdown monitor (TDM) software, but due to a design flaw, was actually "latched," thus causing the premature engine shutdown. The TAF approach was used to model the TDM software requirements. The associated TAF tools generated tests that identified a potential TDM fault.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Mars Polar Lander fault identification using model-based testing


    Beteiligte:
    Blackburn, M. (Autor:in) / Busser, R. (Autor:in) / Nauman, A. (Autor:in) / Knickerbocker, R. (Autor:in) / Kasuda, R. (Autor:in)


    Erscheinungsdatum :

    2002


    Format / Umfang :

    8 Seiten, 10 Quellen




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Mars Polar Lander thruster cold start validation testing

    Frei, Tom / Fischer, Tim / Weiss, Jeffrey | AIAA | 2001


    Mars polar lander thruster cold start validation testing

    Fischer, T. L. / Frei, T. E. / Weiss, J. M. | NTRS | 2001


    Mars Polar Lander mission distributed operations

    Backes, P.G. / Tso, K.S. / Norris, J.S. et al. | IEEE | 2000


    Mars Polar Lander Mission Distributed Operations

    Backes, P. G. / Tso, K. S. / Norris, J. S. et al. | British Library Conference Proceedings | 2000