Community Research and Development Information Service - CORDIS

Abstract

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.

Additional information

Authors: NORDVIK J-P, JRC Ispra (IT);MITCHISON N, JRC Ispra (IT);WILIKENS M, JRC Ispra (IT)
Bibliographic Reference: Article: Reliability Engineering and System Safety, Vol. 44 (1994) pp. 345-360
Record Number: 199411557 / Last updated on: 1995-01-10
Category: PUBLICATION
Original language: en
Available languages: en