Using Artificial Intelligence Technology in Failsafe Realtime Systems
Wolfgang Nejdl, Erich J. Neuhold, Norbert Theuretzbacher · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · 1987
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.