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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Safety verification of Ada programs using software fault trees


    Additional title:

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


    Contributors:
    Leveson, N.G. (author) / Cha, S.S. (author) / Shimeall, T.J. (author)

    Published in:

    IEEE Software ; 8 , 4 ; 48-59


    Publication date :

    1991


    Size :

    12 Seiten, 9 Quellen




    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English




    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. | Automotive engineering | 2015


    Validation and verification of METEOR safety software

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