Abstract
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.
Original language | English |
---|---|
Pages (from-to) | 975-980 |
Number of pages | 6 |
Journal | Journal of Loss Prevention in the Process Industries |
Volume | 22 |
Issue number | 6 |
DOIs | |
Publication status | Published - 2009 Nov |
All Science Journal Classification (ASJC) codes
- Control and Systems Engineering
- Food Science
- Chemical Engineering(all)
- Safety, Risk, Reliability and Quality
- Energy Engineering and Power Technology
- Management Science and Operations Research
- Industrial and Manufacturing Engineering