کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
586810 878231 2009 6 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Automatic verification of control logics in safety instrumented system design for chemical process industry
موضوعات مرتبط
مهندسی و علوم پایه مهندسی شیمی بهداشت و امنیت شیمی
پیش نمایش صفحه اول مقاله
Automatic verification of control logics in safety instrumented system design for chemical process industry
چکیده انگلیسی

Automatic model checking is used to determine the error-free design of the SIS (Safety Instrumented System) and to find the logical errors in the chemical processes. It proposes an automatic technique to provide and to modify the P&ID design of SIS control logics. This method can be applied to verify its correctness of SIS and to find the logical errors by synthesizing a feasible sequence automatically. This study focuses on automatic verifying and synthesizing for the design, operability and reachability of SIS control logics in chemical processes.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Loss Prevention in the Process Industries - Volume 22, Issue 6, November 2009, Pages 975–980
نویسندگان
, ,