Details
| Original language | English |
|---|---|
| Pages (from-to) | 58-65 |
| Number of pages | 8 |
| Journal | Proceedings of SPIE - The International Society for Optical Engineering |
| Volume | 657 |
| Publication status | Published - 9 Apr 1987 |
| Externally published | Yes |
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 OPS8 3 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.
ASJC Scopus subject areas
- Materials Science(all)
- Electronic, Optical and Magnetic Materials
- Physics and Astronomy(all)
- Condensed Matter Physics
- Computer Science(all)
- Computer Science Applications
- Mathematics(all)
- Applied Mathematics
- Engineering(all)
- Electrical and Electronic Engineering
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
In: Proceedings of SPIE - The International Society for Optical Engineering, Vol. 657, 09.04.1987, p. 58-65.
Research output: Contribution to journal › Article › Research › peer review
}
TY - JOUR
T1 - Using artificial intelligence technology in failsafe realtime systems
AU - Nejdl, Wolfgang
AU - Neuhold, Erich J.
AU - Theuretzbacher, Norbert
PY - 1987/4/9
Y1 - 1987/4/9
N2 - 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 OPS8 3 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.
AB - 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 OPS8 3 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.
UR - http://www.scopus.com/inward/record.url?scp=0022883190&partnerID=8YFLogxK
U2 - 10.1117/12.938493
DO - 10.1117/12.938493
M3 - Article
AN - SCOPUS:0022883190
VL - 657
SP - 58
EP - 65
JO - Proceedings of SPIE - The International Society for Optical Engineering
JF - Proceedings of SPIE - The International Society for Optical Engineering
SN - 0277-786X
ER -