Over the years, the complexity of space missions has dramatically increased with more of the critical aspects of a spacecraft's design being implemented in software. With the added functionality and performance required by the software to meet system requirements, the robustness of the software must be upheld. Traditional software validation methods of simulation and testing are being stretched to adequately cover the needs of software development in this growing environment. It is becoming increasingly difficult to establish traditional software validation practices that confidently confirm the robustness of the design in balance with cost and schedule needs of the project. As a result, model checking is emerging as a powerful validation technique for mission critical software. Model checking conducts an exhaustive exploration of all possible behaviors of a software system design and as such can be used to detect defects in designs that are typically difficult to discover with conventional testing approaches.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Validation of mission critical software design and implementation using model checking [spacecraft]


    Beteiligte:
    Pingree, P.J. (Autor:in) / Mikk, E. (Autor:in) / Holzmann, G.J. (Autor:in) / Smith, M.H. (Autor:in) / Dams, D. (Autor:in)


    Erscheinungsdatum :

    01.01.2002


    Format / Umfang :

    974439 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Validation of mission critical software design and implementation using model checking (spacecraft)

    Pingree, P.J. / Mikk, E. / Holzmann, G.J. et al. | Tema Archiv | 2002



    Validation of mission critical software design and implementation using model checking

    Pingree, P. J. / Mikk, E. / Holzmann, G. et al. | NTRS | 2002


    Self-checking software: improving the quality of mission-critical systems

    Reinhart, T. / Boettcher, C. / Tomashefsky, S. | IEEE | 1999


    Self-checking software: improving the quality of mission-critical systems

    Reinhart, T. / Boettcher, C. / Tomashefsky, S. | Tema Archiv | 1999