Safety &amp; Security Analysis of a Manufacturing System using Formal Verification and Attack-Simulation

Laboratory safety in colleges and universities has received wider attention as a critical annual inspection by the Ministry of Education. The laboratory environment is complex and diverse, with many hazard factors. To effectively prevent the occurrence of laboratory emergencies in universities, the STAMP/STPA model is used to analyze the safety of energy laboratory safety management in a resource-based university. Between 2021 and 2022, we carried out laboratory safety inspection and field observation for a mining resource university in China, and identified 16 unsafe control actions in the field of energy laboratory safety management in the university, and identified ten critical causal factors leading to unsafe control actions. Combining the actual situation of the mining resource university, the short-term countermeasures and long-term countermeasures to improve laboratory safety management are proposed to guarantee the university’s laboratory safety management. Moreover, the research results have suggestions for the construction and development of laboratory safety management at similar universities.

show abstract

Safety & Security Analysis of a Manufacturing System using Formal Verification and Attack-Simulation

Cited by 2 publications

References 19 publications

ASSA-CPS: Automated Formal Safety and Security Assessments in Cyber-Physical Systems

ASSA-CPS: Automated Formal Safety and Security Assessments in Cyber-Physical Systems

Analysis of Energy Laboratory Safety Management in China Based on the System-Theoretic Accident Model and Processes/System Theoretic Process Analysis STAMP/STPA Model

Contact Info

Product

Resources

About