Title: FORMENTOR, a Real-Time Expert System for Risk Prevention in Complex Hazardous Environments - A Case Study
Authors: WILIKENS MarcNORDVIK Jean-pierrePOUCET Andre
Citation: CONTROL ENGINEERING PRACTICE vol. 1 no. 2 p. 323-328
Publication Year: 1993
JRC N°: JRC9627
ISSN: 0967-0661
URI: http://www.elsevier.com/wps/find/homepage.cws_home
DOI: 10.1016/0967-066191623-5
Type: Articles in periodicals and books
Abstract: This paper presents an overview of the Formentor project and of a prototype being developed for a specific sub-system of a nuclear power plant. The various activities to be performed by such a system are presented, as well as the modular architecture that supports those activities. The concept of Safety Oriented Model is introduced by means of the Goal Tree-Success Tree (GTST) methodology. The basic components and mechanisms of GTSTs are described in detail. It is argued that the GTST methodology provides an efficient way to describe the safety related aspects of a plant with states that evolve dynamically, and supports the major activities required for building a Formentor system.
JRC Directorate:Joint Research Centre Historical Collection

Files in This Item:
There are no files associated with this item.

Items in repository are protected by copyright, with all rights reserved, unless otherwise indicated.