This report proposes the use of a safety technique known as HAZOP (Hazard and Operability Studies) to rigorously generate mutation operators for Java. A set of Java mutation operators is proposed by applying HAZOP to the Java syntax definition and is compared to the operator sets of current mutation systems. Hypothesised flaws, which are also obtained by HAZOP application to Java language const...

This paper presents a functional approach to HAZOP studies in which the plant is divided along strictly functional lines starting from the purpose of the plant and continuing down to the function of a single node, e.g. a pipe section. The approach leads to nodes with simple functions such as liquid transport, gas transport, liquid storage, gas-liquid contacting etc. From the functions of the no...

The paper deals with risk analysis and management in the realisation of process plants by engineering and contracting companies. Specifically, a new analytical methodology is developed to manage the typical risks of plant commissioning. Following a detailed study of the commissioning process and its criticalities, Hazop is selected as the most suitable approach in forecasting particular risks o...

HAZOP (Hazard and Operability) is a preliminary and systematic approach for identifying hazards and suggesting hazard mitigation measures in a process facility. A knowledge-based expert system, ExpHAZOP, has been developed to automate the manual HAZOP analysis and accelerate the process. ExpHAZOP is comprised of a graphical user interface (GUI), a knowledge-base and an inference engine. One of ...

background and objective: prevention of accidents—a crucial requirement in oil industries—involves hazard recognition, risk assessment, and corrective actions. the purpose of this study was to compare the etba and hazop techniques for risk assessment in a gasoline refinery unit. methods: in this case study, data were collected using process flow diagram, walking–talking through method, piping a...

Background; Prevention of accidents—a crucial requirement in oil industries—involves hazard recognition, risk assessment, and corrective actions. The purpose of this study was to compare the ETBA and HAZOP techniques for risk assessment in a gasoline refinery unit. Methods; In this case study, data were collected using process flow diagram, walking–talking through method, piping and instrument...

this research was undertaken to evaluate and determine the risk of gas fluids and leakage of persian gulf star refinery on the environment in bandar abbas. through collection and compilation of research findings, we attempted to identify and work on factors leading to environmental risks. the risk factors were identified by hazop team and the risk score was calculated by multiplying the probabi...

The paper details the integration of a method for the analysis of interlock systems with a software support system for HAZOP analysis. The proposed software aims to enhance the potential of HAZOP in terms of depth and ef®ciency of the analysis. This enhancement is reached through the continuation of the hazard and operability analysis, limited to a group of events which may hold high risks for ...

This paper describes a technique for software safety analysis which has been developed with the specific aim of feeding into and guiding design development. The method draws on techniques from the chemical industries’ Hazard and Operability (HAZOP) analysis, combining this withwork on software failure classification to provide a structured approach to identifying the hazardous failure modes of ...

This paper reports on an experiment comparing three reading techniques: ad hoc, UML-HAZOP and scenario-based applied during inspection of UML models. UML-HAZOP is a reading technique adopted from the domain of safety analysis of critical systems. The technique and its variants applied in experiment are outlined in the paper. Design, a way of conducting and results processing of the experiment a...