Using Artificial Intelligence Technology in Failsafe Realtime Systems

Wolfgang Nejdl; Erich J Neuhold; Norbert Theuretzbacher

doi:10.1117/12.938493

6 April 1987 Using Artificial Intelligence Technology in Failsafe Realtime Systems

Wolfgang Nejdl, Erich J Neuhold, Norbert Theuretzbacher

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.

Citation Download Citation

Wolfgang Nejdl, Erich J Neuhold, and Norbert Theuretzbacher "Using Artificial Intelligence Technology in Failsafe Realtime Systems", Proc. SPIE 0657, Applications of Artificial Intelligence IV, (6 April 1987); https://doi.org/10.1117/12.938493

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available