| EPSRC Reference: |
GR/L20542/01 |
| Title: |
AQUAVIT: ADVANCING QUALITATIVE ANALYSIS FOR VERIFICATION, INTERACTION ANALYSIS AND TESTING |
| Principal Investigator: |
Wilson, Dr MS |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
Aberystwyth University |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 April 1996 |
Ends: |
31 March 1999 |
Value (£): |
233,321
|
| EPSRC Research Topic Classifications: |
| Design & Testing Technology |
|
|
| EPSRC Industrial Sector Classifications: |
| Aerospace, Defence and Marine |
Electronics |
| Information Technologies |
Transport Systems and Vehicles |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The aim of the project is to improve the applicability of qualitative reasoning to the automation of electrical design analysis tasks. The project will investigate the automated use of modelling information across the lifecycle of an electrical product, and provide guidelines for what information would be provided and how it should be used. It will enable automated reasoning about larger systems than has previously been possible. In order to identify the information needed for automating design analysis, the project will produce practical tools providing automated assistance for electrical engineers in performing several design verification techniques. A major issue in design analysis is that important information is lost when reasoning about subsystems in isolation. For this reason, the project will also develop further the modelling techniques on which such automated assistance is based, in order to enable reasoning about the interactions between multiple systems.Key Words: Artificial intelligence, Automotive design, Modelling, Information Technology, FMEA, Quality Improvements, Diagnosis.
|
|
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.aber.ac.uk |