Title :
Timing specification and rule-based systems
Author :
Zijderveld, P.D. ; Traore, I. ; Vingerhoeds, R.A. ; Sahraoui, A.E.K.
Author_Institution :
Fac. of Tech. Math. & Inf., Delft Univ. of Technol., Netherlands
Abstract :
The solution for the non-determinism of real-time expert systems is found in the state-based approach. Timing verification can be performed off-line before the expert system is taken in use. This approach has been verified on a digital (fly-by-wire) flight control system of a jet aircraft
Keywords :
aerospace expert systems; aircraft; expert systems; formal specification; formal verification; knowledge verification; real-time systems; timing; digital flight control system; jet aircraft; nondeterminism; real-time expert systems; rule-based systems; state-based approach; timing specification; timing verification; Aerospace control; Artificial intelligence; Artificial neural networks; Control systems; Expert systems; Informatics; Knowledge based systems; Mathematics; Real time systems; Timing;
Conference_Titel :
Real-Time Systems, 1997. Proceedings., Ninth Euromicro Workshop on
Conference_Location :
Toledo
Print_ISBN :
0-8186-8034-2
DOI :
10.1109/EMWRTS.1997.613779
