An official website of the European Union How do you know?      
European Commission logo
JRC Publications Repository Menu

FORMENTOR, a Real-Time Expert System for Risk Prevention in Complex Hazardous Environments - A Case Study

cover
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.
1995-03-15
PERGAMON-ELSEVIER SCIENCE LTD
JRC9627
0967-0661,   
http://www.elsevier.com/wps/find/homepage.cws_home,    https://publications.jrc.ec.europa.eu/repository/handle/JRC9627,   
10.1016/0967-066191623-5,   
Language Citation
NameCountryCityType
Datasets
IDTitlePublic URL
Dataset collections
IDAcronymTitlePublic URL
Scripts / source codes
DescriptionPublic URL
Additional supporting files
File nameDescriptionFile type 
Show metadata record  Copy citation url to clipboard  Download BibTeX
Items published in the JRC Publications Repository are protected by copyright, with all rights reserved, unless otherwise indicated. Additional information: https://ec.europa.eu/info/legal-notice_en#copyright-notice