Hazard analysis and support tool for computer controlled processes

被引:19
作者
Yang, SH [1 ]
Chung, PWH [1 ]
机构
[1] Loughborough Univ Technol, Dept Chem Engn, Loughborough LE11 3TU, Leics, England
基金
英国工程与自然科学研究理事会;
关键词
hazard analysis; control logic verification; functional model; computer support tool;
D O I
10.1016/S0950-4230(98)00012-6
中图分类号
TQ [化学工业];
学科分类号
0817 ;
摘要
Computer based control systems have been widely used in chemical processes with significant productivity improvements. However, the use of a computer introduces hazards as well as benefits. A hazard analysis framework for computer controlled processes is presented in this paper. The framework involves representation of the process, verification of the control logic, identification of safety critical events, and application of questions derived from industrial incident records. A computer tool is developed to support the hazard analysis framework. A novel modelling representation termed a Process Control Event Diagram (PCED) is described and used to express the control logic and its effect on the process. The control logic is verified by qualitative simulation based on the PCED. The whole procedure of applying the framework using the computer tool is illustrated by a case study. (C) 1998 Elsevier Science Ltd. All rights reserved.
引用
收藏
页码:333 / 345
页数:13
相关论文
共 27 条
[1]  
Andow P, 1991, GUIDANCE HAZOP PROCE
[2]  
[Anonymous], 1996, HAZARD IDENTIFICATIO
[3]   Safety assessment and the software requirements specification [J].
Broomfield, EJ ;
Chung, PWH .
RELIABILITY ENGINEERING & SYSTEM SAFETY, 1997, 55 (03) :295-309
[4]  
CHUNG PWH, 1997, 5 INT WORKSH ADV FUN
[5]  
CHUNG PWH, 1998, IN PRESS J LOSS PREV
[6]  
CHUNG PWH, 1995, COMPUTER CONTROL HUM, pCH2
[7]   AUTOMATIC VERIFICATION OF FINITE-STATE CONCURRENT SYSTEMS USING TEMPORAL LOGIC SPECIFICATIONS [J].
CLARKE, EM ;
EMERSON, EA ;
SISTLA, AP .
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1986, 8 (02) :244-263
[8]  
CROLL PR, 1997, P 16 INT C COMP SAF, P321
[9]  
Drake E.M., 1993, PROCESS SAF PROG, V12, P92
[10]  
*HLTH SAF EX, 1995, OUT OF CONTR WHY CON