The role of the goal tree-success tree model in the real-time supervision of hazardous plants
This paper describes the basic issues involved in the development of a real-time model-based system for the supervision of complex, hazardous plant with the aim of total loss control, as carried out in the FORMENTOR project. In particular the definition of, and the constraints imposed by, the real-time requirements are presented, along with a discussion of risk prevention and its integration within a process-oriented context. The essential functionalities of the system are described and it is shown how a particular knowledge representation scheme, the goal tree-success tree (GTST) model, provides a basic kernel for supporting many of these functionalities. The GTST model and some of the functionalities it supports are illustrated on two different FORMENTOR case studies, in the nuclear and petrochemical domains.
Bibliographic Reference: Article: Reliability Engineering and System Safety, Vol. 44 (1994) pp. 345-360
Record Number: 199411557 / Last updated on: 1995-01-10
Original language: en
Available languages: en