Abstract
The traditional safety analysis method is based on the event chain theory, which is not suitable for analyzing the accident caused by components interaction problems of complex system. However, the System Theoretic Accident Model and Process(STAMP) can overcome this difficulty. There are some shortcomings in the current research on STAMP, such as describing the model with natural language and relying on manual analysis. Therefore, this paper proposes a components interaction safety analysis method based on STAMP and formal verification. Taking the aero-engine control system as an example, the root cause of system hazard is obtained and the feasibility of the proposed method is verified.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
