The software fault-tree analysis technique is explained. It is then extended to allow its use on a more complex language involving such features as concurrency and exception handling. Ada is used as the example language because many safety-critical projects are using or planning to use Ada. It also contains complex, real-time programming facilities found in other languages used in these types of projects. Software fault-tree analysis uses failure-mode templates to generate the fault tree. The templates provided can be used to define the procedures for applying the technique to programs written in most other declarative languages. To explain the use of the templates an example Ada program, for a traffic-light-control system, is analyzed. The cost and practicality of the method and its implications for software reuse are assessed. The application of the safety analysis procedures to requirements modeling and specification languages is considered.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Safety verification of Ada programs using software fault trees


    Weitere Titelangaben:

    Verifikation der Sicherheit von Ada-Programmen unter Verwendung von Software-Fehlerbäumen


    Beteiligte:
    Leveson, N.G. (Autor:in) / Cha, S.S. (Autor:in) / Shimeall, T.J. (Autor:in)

    Erschienen in:

    IEEE Software ; 8 , 4 ; 48-59


    Erscheinungsdatum :

    1991


    Format / Umfang :

    12 Seiten, 9 Quellen




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch




    Using fault trees to find design errors in real time software

    LEVESON, N. / STOLZY, J. / BURTON, B. | AIAA | 1983



    Formal Verification Method for Safety Diagnosis Software

    Narisawa, Fumio / Matsubara, Masahiro / Nishi, Masataka et al. | SAE Technical Papers | 2015


    Formal verification method for safety diagnosis software

    Narisawa,F. / Matsubara,M. / Nishi,M. et al. | Kraftfahrwesen | 2015


    Validation and verification of METEOR safety software

    Boulanger, J. L. / Gallardo, M. / Wessex Institute of Technology | British Library Conference Proceedings | 2000