DocumentCode :
2155852
Title :
A tool for real-time requirements capture
Author :
Goodwin, J. ; Rodd, M.G. ; Jobling, C.P.
Author_Institution :
Real-Time Syst. Res. Group, Wales Univ., Swansea, UK
Volume :
1
fYear :
1996
fDate :
2-5 Sept. 1996
Firstpage :
359
Abstract :
The Computer Aided Knowledge Engineering (CAKE) project is creating a set of computer-based tools that aid in the construction of real-time expert systems-the primary application domain being the process and manufacturing industries. A principal aim of the project is to alleviate the often-cited "knowledge-acquisition bottle-neck" by moving the knowledge engineering task away from a specialist knowledge engineer towards the domain expert. The tool introduced in this paper, T-CAKE, aids in the specification and construction of a temporal model of a plant and its associated expert system. The temporal model, expressed in the form of a Quirk model, provides the basis of the temporal verification which is subsequently carried out on the system and used to prove that a system will meet the timing constraints imposed upon it.
Keywords :
expert system shells; knowledge acquisition; process control; systems analysis; CAKE project; Computer Aided Knowledge Engineering project; Quirk model; T-CAKE; domain expert; knowledge engineering task; manufacturing industries; process industries; real-time expert systems; real-time requirements capture; temporal model; temporal verification;
fLanguage :
English
Publisher :
iet
Conference_Titel :
Control '96, UKACC International Conference on (Conf. Publ. No. 427)
ISSN :
0537-9989
Print_ISBN :
0-85296-668-7
Type :
conf
DOI :
10.1049/cp:19960579
Filename :
651406
Link To Document :
بازگشت