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

υ 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