This paper presents a methodology for subjective safety analysis of safety requirements specifications of software for safety-critical systems. The methodology incorporates fuzzy set modeling and evidential reasoning to assess the safety associated with safety requirements specifications. Three basic parameters-failure likelihood, consequence severity, and failure consequence probability are used to analyze a safety rule in terms of membership functions. The subjective safety description associated with the safety rule is then mapped back to the defined safety expressions which are also characterized in terms of membership functions. Such a mapping results in the production of the safety evaluation associated with the safety rule. The information produced for all safety rules can then be synthesised using an evidential reasoning approach to obtain the safety evaluation associated with the safety requirements specifications. The developed methodology is capable of dealing with multiple safety analysts who make judgements on each safety rule. A case study based on a train-set crossing is used to demonstrate the methodology.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    A subjective methodology for safety analysis of safety requirements specifications


    Beteiligte:
    Wang, J. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    1997


    Format / Umfang :

    13 Seiten, 9 Quellen




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch





    Deriving Safety-critical System Specifications through Requirements Engineering Process

    Tsuchiya, R. / Hirao, Y. / Fukuda, M. et al. | British Library Online Contents | 1998



    Engineering Safety Specifications

    Raheja, D. / System Safety Society (U.S.) | British Library Conference Proceedings | 2006