Qualitative models of equipment units and their use in automatic HAZOP analysis

The use of qualitative models in a support system for HAZOP analyses, in connection with an algorithm for finding the causes and the consequences of variable deviations, is described. The models use several representation structures among which mini-trees constitute the most important from the logical-functional point of view. The models are conceived both for continuous and batch plants. For the latter procedures, regulating the use of equipment units are also modelled using similar structures while equipment units are considered in various phases of their functioning. A brief description of the prototype support system, in which the models are implemented, is also given.