υ This paper presented a workflow to perform STPA analysis using rules. υ We used the workflow for a train door controller system to verify its feasibility and efficiency. υ In our experiment, rules provided good coverage of the Context Table. υ We are currently investigating the usage of rules to aid in the Step 2 of STPA and we intend to employ the results in our tool. υ We envision that with larger systems, other types of rules could be used such as OR-composition of pairs variable/state. We also conjecture that other types of logic can be exploited, for instance, temporal logic may be employed


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    A rule-based approach for safety analysis using STAMP/STPA




    Erscheinungsdatum :

    01.09.2015


    Format / Umfang :

    29774625 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    A rule-based approach for safety analysis using STAMP/STPA

    Gurgel, Danilo Lopes / Hirata, Celso Massaki / Bezerra, Juliana de M. | IEEE | 2015



    Safety Guided Design of Crew Return Vehicle in Concept Design Phase Using STAMP/STPA

    Nakao, H. / Katahira, M. / Miyamoto, Y. et al. | British Library Conference Proceedings | 2012


    Safety Guided Design Based on Stamp/STPA for Manned Vehicle in Concept Design Phase

    Ujiie, R. / Katahira, M. / Miyamoto, Y. et al. | British Library Conference Proceedings | 2013


    STPA AUTONOMOUS VEHICLE SAFETY SIMULATION SYSTEM AND METHOD BASED ON STPA

    KYOUNG HWAN JANG / JIN WOO YOO | Europäisches Patentamt | 2024

    Freier Zugriff