کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10373490 878299 2005 8 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Automatic safety analysis of control systems
موضوعات مرتبط
مهندسی و علوم پایه مهندسی شیمی بهداشت و امنیت شیمی
پیش نمایش صفحه اول مقاله
Automatic safety analysis of control systems
چکیده انگلیسی
This paper describes and demonstrates the development of a computer support tool for safety analysis of computer control systems, dedicated to carry out safety analysis automatically in a consistent way. This support tool is made up of seven connected parts: process description, control logic specification, process control event diagram (PCED) generation, control logic verification, hazard analysis, safety related questions, and report generation. The distinction of the support tool is its automatic conversion from a process block diagram to a diagrammatic representation of control logic, i.e. PCED, and semi-automatic generation of SMV (Symbolic Model Verifier) model for control logic verification. This tool provides the support to all the stages in the safety analysis.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Loss Prevention in the Process Industries - Volume 18, Issue 3, May 2005, Pages 178-185
نویسندگان
, ,