Abstract
In this paper we report about application requirements, design principles and methodologies used in the development of an integrated intelligent support system, intended to be used by the operator of a Nuclear Power Plant. The system, for its own nature, is an example of a class of applications normally referred to as critical applications. Dependability is a key requirement for the system.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
J. Lark, L. Erman, S. Forrest, K. Gostelow, F. Hayes-Roth, and D. Smith, “Concepts, methods, and languages for building timely intelligent systems, ” The Journal of Real-Time Systems, vol. 2, May 1990.
B. Hayes-Roth, “Architectural foundations for real-time performance in intelligent agents,” The Journal of Real-Time Systems, vol. 2, May 1990.
T. Laffey, P. Cox, J. Schmidt, S. Kao, and J. Read, “Real-time knowledge-based systems,” AI Magazine, Spring 1988.
K. Arzen, “An architecture for expert system based feedback control,” Automatica, vol. 25, no. 6, 1989.
S. Bologna, E. Ness, and T. Sivertsen, “Dependable knowledge-based systems development and verification: What we can learn from software engineering and what we need,” in IEEE International Conference on Tools for Artificial Intelligence 90, November 1990.
K. Haugset et al., “ISACS-1, the prototype of an advanced control room,” in IAEA International Symposium on Balancing Automation and Human Action in Nuclear Power Plants, July 1990.
K. Haugset et al., “ISACS-1 motivation, general description,” Tech. Rep. HWR-265, OECD Halden Reactor Project, 1990.
J. Kvalem et al., “ISACS-1 hardware/software tools and environment,” Tech. Rep. HWR-266, OECD Halden Reactor Project, 1990.
R. Grini et al., “Intelligent coordinator for ISACS-1, description and implementation, ” tech. rep., OECD Halden Reactor Project, 1991. To be published.
Gensym Corporation, USA, G2 Users’ Manuals, 1989.
Sybase Users’ Manuals.
Picasso-2 User Guide, 1990.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer-Verlag/Wien
About this paper
Cite this paper
Bologna, S., Berg, Ø., Haugset, K., Kvalem, J. (1992). Architectural Foundations, Concepts and Methods Behind ISACS — A Real-Time Intelligent System for Critical Applications. In: Meyer, J.F., Schlichting, R.D. (eds) Dependable Computing for Critical Applications 2. Dependable Computing and Fault-Tolerant Systems, vol 6. Springer, Vienna. https://doi.org/10.1007/978-3-7091-9198-9_1
Download citation
DOI: https://doi.org/10.1007/978-3-7091-9198-9_1
Publisher Name: Springer, Vienna
Print ISBN: 978-3-7091-9200-9
Online ISBN: 978-3-7091-9198-9
eBook Packages: Springer Book Archive