FORMENTOR : M15 workpackage : Final report : Functional modelling applied to real-time expert systemsFunded under: IC-EUREKA
The first part of this report presents an overview of the FORMENTOR project, as seen through the M15 workpackage, of a prototype for a specific subsystem of a nuclear power plant and the methodological results from this study. It details the system of knowledge representation (using GTST methodology and PKB), outlines the system architecture, and describes the program, the creation of models and user commands. The second part of the report provides a comprehensive user manual on how to build target system models following the proposed methodology.
Bibliographic Reference: EUR 15051 EN (1993) 32 pp., FS, free of charge
Availability: Available from Joint Research Centre, Publication Department, I-21020 Ispra (Va.) (IT)
Record Number: 199511389 / Last updated on: 1995-10-31
Original language: en
Available languages: en