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
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;
Conference_Titel :
Control '96, UKACC International Conference on (Conf. Publ. No. 427)
Print_ISBN :
0-85296-668-7
DOI :
10.1049/cp:19960579