6 April 1987 Using Artificial Intelligence Technology in Failsafe Realtime Systems
Author Affiliations +
Proceedings Volume 0657, Applications of Artificial Intelligence IV; (1987) https://doi.org/10.1117/12.938493
Event: 1986 International Symposium/Innsbruck, 1986, Innsbruck, Austria
Abstract
This paper is concerned with the use of artificial intelligence technology to increase system safety in failsafe realtime systems. A safety module for a failsafe realtime system is specified which uses a production system to implement the necessary security checks. The task of this safety module is to guarantee the safety of the system. To implement the safety module production system the AI language OPS83 is used. A complete prototype for use in the Electronic Interlocking System "ELEKTRA" from ITT-Austria is being built comprising approximately 100 to 200 safety assertions in the form of production rules.
© (1987) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
Wolfgang Nejdl, Wolfgang Nejdl, Erich J Neuhold, Erich J Neuhold, Norbert Theuretzbacher, Norbert Theuretzbacher, } "Using Artificial Intelligence Technology in Failsafe Realtime Systems", Proc. SPIE 0657, Applications of Artificial Intelligence IV, (6 April 1987); doi: 10.1117/12.938493; https://doi.org/10.1117/12.938493
PROCEEDINGS
8 PAGES


SHARE
RELATED CONTENT


Back to Top