υ 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


    Access

    Download


    Export, share and cite



    Title :

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




    Publication date :

    2015-09-01


    Size :

    29774625 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    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 | European Patent Office | 2024

    Free access