Many energy and production facilities are operating without clear formal safety requirements, which are con- sidered the base for good process safety management practices. Safety requirements are typically specified during process design based on identified hazard scenarios. This paper proposes a practical framework and methods to systematically synthesize safety requirements based on qualitative and quantitative fault and hazard scenarios. Our aim will be to design a proper safety verification framework which would provide some guidelines regarding the sequence of steps to be taken in the plant for the verification of the safety of that plant. The objective of this paper is to show how the safety verification techniques meet the safety requirements of any production plant. We will clarify Safety Life Cycle and the detailed steps for safety design and verification and also analyze current practices and challenges of safety verification in instrumented/non-in- strumented systems. We will also develop possible activity model for safety verification process and will propose safety requirements representation that will facilitate safety verification. Case study of experimental setup is used to demonstrate the proposed framework, which will support safety design and verification.
KeywordsSafety DesignIEC-61508 StandardsProcess Safety Management (PSM) Safety Life CycleSafety Verification FrameworkAutomated Hazard and Fault Propagation Analysis
R. Ali, “Safety Life Cycle—Implementation Benefits and Im-pact on Field Devices,” ISA-Expo 2005, Chicago, 25-27 Octo-ber 2005.
G. Holger and S. T. Henner, “Process Hazard Identification during Plant Design by Qualitative Modelling, Simulation and Analysis,” European Symposium on Computer Aided Process Engineering, Vol. 23, Supplement 1, 1999, pp. S59-S62.
H. A. Gabbar, “Integrated Framework for Safety Control Design of Nuclear Power Plants,” Nuclear Engineering and Design, Vol. 240, No. 10, 2010, pp. 3550-3558. doi:10.1016/j.nucengdes.2010.07.024
IEC 61511, Func-tional Safety: Safety-Instrumented Systems for the Process Industry Sector, Draft version 1999.
ANSI/ISA S84.01, Research Triangle Park, 1996.
B. Knegtering, “The Impact of IEC 61508 and IEC 61511 on Dutch Industry Epigram,” Official Journal of Core Interest User, Group of Programmable Electronic Systems, London, Autumn 2000, unpublished.
B. Knegtering, “Safety Lifecycle Management,” Automation in Petro Chemicals Industry Conference, Univer-sity of Ontario Institute of Technology, 2000 Simcoe St. N, Oshawa, Canada.
F. P. Lees, “Loss prevention in the process industries,” 2nd, Edition, Butterworth-Heinemann, Oxford, 1996.
B. Knegtering, “Application of Micro Markov Models for Quantitative Safety Assessment to Deter-mine Safety Integrity Levels,” ISA-Expo, Houston, 19-23 Oc-tober 1998.
B. Knegtering and A. C. Brombacher, “A Method to Prevent Excessive Numbers of Markov States in Markov Models for Quantitative Safety and Reliability,” ISA-Transactions, Vol. 39, No. 3, 2000, pp. 363-369. doi:10.1016/S0019-0578(99)00041-5
Health and Safety Executive, “Explosions in gas-fired plant,” Clause 6.2 of Contract Research Report 139/1997, UK, 1997.
Bradley, “The Reliability Challenge,” Presentation handouts Conference, London, 1999.
Health and Safety Executive, “Out of Control HSE Books,” United Kingdom 1995.
B. Felton, “Safety study IDs Leading Causes of Accidents,” InTech, Morn Hill, 2001, p. 77.
J. Belke, “Chemical Accident Risks in US Industry―A Preliminary Analysis of Accident Risk Data,” US Hazardous Chemical Facilities EPA, September 2000.
M. H. C. Everdij, H. A. P. Blom, J. J. Scholte, J. W. Nollet and B. Kraan, “Developing a Framework for Safety Validation of Multi-Stakeholder Changes in Air Transport Op-erations,” Safety Science, Vol. 47, No. 3, 2009, pp. 405-420.
A. Fukumoto, T. Hayashi, H. Nishikawa, H. Sa-kamoto, T. Tomizawa and T. Yokomura, “A Verification and Validation Method and Its Application to Digital Safety Systems in ABWR Nuclear Power Plants,” Nuclear Engineering and Design, Vol. 183, No. 1-2, 1998, pp. 117-132.
S. H. Yang, L. S. Tan and C. H. He, “Automatic Verification of Safety In-terlock Systems for Industrial Processes,” Journal of Loss Pre-vention in the Process Industries, Vol. 14, No. 5, 2001, pp. 379-386. doi:10.1016/S0950-4230(01)00014-6
S. Brown, “Over-view of IEC 61508: Functional Safety of Electri-cal/Electronic/Programmable Electronic Safety-Re- lated Sys-tems,” Computing and Control Engineering Jour- nal, Vol. 11, 2000, p. 11.
P. Stavrianidis and K. Bhimavarapu, “Per-formance-Based Standards: Safety Instrumented Functions and Safety Integrity Levels,” Journal of Hazardous Materials, Vol. 71, No. 1-3, 2000, pp. 449-465.
IEC 61508, Functional Safety of Electrical/Electro- nic/Programmable Electronic Safety-Related Systems, International Electro Technical Commission, Reference: IEC 61508-3 ed 2.0.
F. Redmill, “An Introduction to the Safety Standard IEC 61508,” Journal of the System Safety Society, Vol. 35, No. 1, 1999, pp. 21-25.
C. S. Adjiman, “Safety Verification in Chemical Plants: A New Quantitative Approach,” Computers & Chemical Engineering, Vo. 23, Supplement 1, 1999, pp. S581-S584. doi:10.1016/S0098-1354(99)80143-4
H. A. Gabbar and P. Sauer, “Knowledgebase and Acquisition System for Failure and Accident Analysis of Gas Processing Facilities,” International Workshop on Real Time Measurement, Instrumentation & Control, Oshawa, 25-26 June, 2010.
H. A. Gabbar and R. Bedard, “Hazard Analysis and Accident Prediction for LNG Plants,” International Workshop on Real Time Measurement, Instrumentation & Control, Oshawa, 25-26 June, 2010.
Y. Shimada and T. Kitajima, “Framework for Safety- Management Activity to Realize OSHA/PSM,” International Workshop on Real Time Measurement, Instrumentation & Control, Oshawa, 25-26 June, 2010.
H. A. Gabbar, H. E. Sayed, A. S. Osunleke and H. Masanobu, “Analytical Process and System Design of Integrated Fault Diagnostic System,” International Journal of Process Systems Engineering, Vol. 1, No. 1, 2009, pp. 66-81.
E. Nasimi and H. A. Gabbar, “Development of Support Tool for Control Design of Nuclear Power Plant Using Hierarchical Control Chart (HCC),” Journal of Process Systems Engineering, Vol. 1, No. 2, 2010, pp. 150-168.
H. A. Gabbar, H. E. Sayed, A. S. Osunleke and H. Masanobu, “De-sign of Fault Simulator,” Journal of Reliability Engineering and System Safety, Vol. 94, No. 8, 2009, pp. 1289-1298. doi:10.1016/j.ress.2009.01.006
A. Blanchard, “Savannah River Site Generic Data Base Development,” Westinghouse Savannah River Company, Aiken, NTIS Order No. 29808.