Community Research and Development Information Service - CORDIS

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.

Additional information

Authors: WILIKENS M, JRC Ispra (IT);NORDVIK J P, JRC Ispra (IT);POUCET A, JRC Ispra (IT)
Bibliographic Reference: Article: Control Engineering Practice, Vol. 1 (1993) No. 2, pp. 323-328
Record Number: 199310930 / Last updated on: 1994-11-29
Category: PUBLICATION
Original language: en
Available languages: en