Testing of mission-critical systems to a high degree of reliability is a long time problem that continues to plague system integrators. As a result, system failures may occur in the field due to faults that result from unusual environmental conditions or unexpected sequences of events that are never encountered in the laboratory. While the problem is widespread, cost effective and practical solutions have not been forthcoming. This paper reports on a novel technique called self-checking systems that promises a significant step forward in providing a practical approach to improving productivity in the system test and integration process, while producing systems with fewer residual errors. The technique, originally based on theoretical University results, is transitioning to practice under the Air Force Self-Checking Embedded Information System Software (SCEISS) research and development program. A brief introduction will be given to the theoretical roots of self-checking, as well as results obtained from applying result checkers to several important applications. The preliminary results reported here include a description of the example applications and their checkers, the process used to select checkers, and initial data points on any additional costs that may accrue due to the development and test of checkers.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Reinhart, T. (Autor:in) / Boettcher, C. (Autor:in) / Tomashefsky, S. (Autor:in)


    Erscheinungsdatum :

    1999


    Format / Umfang :

    1 Seite, 8 Quellen


    Anmerkungen:

    pp.




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    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



    Self-checking software

    Cha, Sung D. / Leveson, Nancy G. / Shimeall, Timothy J. et al. | NTRS | 1986


    Software Development Standard for Mission Critical Systems

    R. J. Adams / S. Eslinger / K. L. Owens et al. | NTIS | 2014