کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
586810 | 878231 | 2009 | 6 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Automatic verification of control logics in safety instrumented system design for chemical process industry
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی شیمی
بهداشت و امنیت شیمی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
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
Journal: Journal of Loss Prevention in the Process Industries - Volume 22, Issue 6, November 2009, Pages 975–980
نویسندگان
Jinkyung Kim, Il Moon,