Details
| Originalsprache | Englisch |
|---|---|
| Seiten (von - bis) | 58-65 |
| Seitenumfang | 8 |
| Fachzeitschrift | Proceedings of SPIE - The International Society for Optical Engineering |
| Jahrgang | 657 |
| Publikationsstatus | Veröffentlicht - 9 Apr. 1987 |
| Extern publiziert | Ja |
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 Sachgebiete
- Werkstoffwissenschaften (insg.)
- Elektronische, optische und magnetische Materialien
- Physik und Astronomie (insg.)
- Physik der kondensierten Materie
- Informatik (insg.)
- Angewandte Informatik
- Mathematik (insg.)
- Angewandte Mathematik
- Ingenieurwesen (insg.)
- Elektrotechnik und Elektronik
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
in: Proceedings of SPIE - The International Society for Optical Engineering, Jahrgang 657, 09.04.1987, S. 58-65.
Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › 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 -