Share Email Print
cover

Proceedings Paper

Using Artificial Intelligence Technology in Failsafe Realtime Systems
Author(s): Wolfgang Nejdl; Erich J Neuhold; Norbert Theuretzbacher
Format Member Price Non-Member Price
PDF $14.40 $18.00

Paper 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.

Paper Details

Date Published: 6 April 1987
PDF: 8 pages
Proc. SPIE 0657, Applications of Artificial Intelligence IV, (6 April 1987); doi: 10.1117/12.938493
Show Author Affiliations
Wolfgang Nejdl, University of Technology Vienne (Austria)
Erich J Neuhold, University of Technology Vienna (Austria)
Norbert Theuretzbacher, ITT-Austria (Austria)


Published in SPIE Proceedings Vol. 0657:
Applications of Artificial Intelligence IV
John F. Gilmore, Editor(s)

© SPIE. Terms of Use
Back to Top