υ 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
A rule-based approach for safety analysis using STAMP/STPA
2015-09-01
29774625 byte
Conference paper
Electronic Resource
English
Safety analysis of Civil aviation Flight and UAV Operation based on STAMP/STPA
DOAJ | 2024
|Safety Guided Design of Crew Return Vehicle in Concept Design Phase Using STAMP/STPA
British Library Conference Proceedings | 2012
|Safety Guided Design Based on Stamp/STPA for Manned Vehicle in Concept Design Phase
British Library Conference Proceedings | 2013
|STPA AUTONOMOUS VEHICLE SAFETY SIMULATION SYSTEM AND METHOD BASED ON STPA
European Patent Office | 2024
|