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