Popis: |
The Computer Aided Knowledge Engineering (CAKE) project is creating a set of computer-based tools with the aim of moving the task of creating expert systems away from specialist knowledge engineers towards domain experts. The tool outlined in this paper, T-CAKE, aids in the construction of a temporal model of a plant and its associated real-time expert system. The temporal model, expressed in the form of a Quirk model, provides the basis of the temporal verification that is subsequently carried out on the system and can be used to prove that a system will meet the timing constraints imposed upon it. The model can then be used to assist in the creation of the associated real-time expert system’s rule base. |