| EPSRC Reference: |
GR/J38369/01 |
| Title: |
RESEARCH INTO COMPUTER AIDED KNOWLEDGE ENGINEERING (CAKE) FOR THE PROCESS AND MANUFACTURING IND. IED4/1/8011 |
| Principal Investigator: |
Rodd, Dr M |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Electrical & Electronic Engineering |
| Organisation: |
Swansea University |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 January 1994 |
Ends: |
31 December 1996 |
Value (£): |
105,199
|
| EPSRC Research Topic Classifications: |
| Artificial Intelligence |
Software Engineering |
|
| EPSRC Industrial Sector Classifications: |
| Manufacturing |
Information Technologies |
| R&D |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The aim of the project is to evaluate the knowledge engineering process and determine methods for improvement to establish a consistent approach to generate high-integrity real-time automation applications. Progress:The work started with an extensive literature survey into related research which included compiling surveys of end-user requirements and existing methods. Work is progressing with the development of an initial CAKE toolkit. Tools are seen as being divided into two main categories: CAKE tools for use by the end user, and tool-builder tools for the construction and configuration of CAKE tools. The industrial collaborators are currently undertaking a detailed specification of the first test site - this will be the first formal evaluation of the initial CAKE toolset. The work undertaken by the academic partner has been looking at the capture of timing characteristics of processes to allow the verification that a design will meet timing constraints placed upon the control and interaction of the system. The Quirk model has been chosen as the basis for system analysis since its extensive capabilities for the analysis of real-time systems provide a sound foundation for this work. An initial prototype system is being developed to confirm initial studies which suggest that it is possible to derive enough information from a user to create a Quirk model of the system, and hence perform temporal verification of the system.
|
|
Key Findings |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Potential use in non-academic contexts |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Impacts |
|
| Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
| Summary |
|
| Date Materialised |
|
|
|
|
Sectors submitted by the Researcher |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
| Project URL: |
|
| Further Information: |
|
| Organisation Website: |
http://www.swan.ac.uk |