Dynamic Safety Evaluation Method of Complex System Based on STAMP
Abstract
References
Index Terms
- Dynamic Safety Evaluation Method of Complex System Based on STAMP
Recommendations
Components Interaction Safety Analysis Method Based on STAMP and Formal Verification
WSSE '20: Proceedings of the 2nd World Symposium on Software EngineeringThe 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 ...
Safety Integrity Evaluation of Safety Function
2018 International Conference on Applied Electronics (AE)For a possibility of using the safety relevant system in practice, it is necessary to prove, that safety requirements, which are defined based on results of risk analysis, are fulfilled. Part of proving the safety of safety relevant system is also ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Qualifiers
- Research-article
- Research
- Refereed limited
Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 9Total Downloads
- Downloads (Last 12 months)9
- Downloads (Last 6 weeks)2
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign inFull Access
View options
View or Download as a PDF file.
PDFeReader
View online with eReader.
eReaderHTML Format
View this article in HTML Format.
HTML Format