Community Research and Development Information Service - CORDIS


This paper presents an overview of the Formentor project and of a prototype now 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 SOM (Safety Oriented Model), is introduced by means of the GTST (Goal Tree-Success Tree) 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.

Additional information

Authors: WILIKENS M, JRC Ispra (IT);NORDVIK J P, JRC Ispra (IT);POUCET A, JRC Ispra (IT)
Bibliographic Reference: Paper presented: Artificial Intelligence in Real-time Control, Delft (NL), June 16-18, 1992
Availability: Available from (1) as Paper EN 36788 ORA
Record Number: 199210725 / Last updated on: 1994-12-02
Original language: en
Available languages: en