| EPSRC Reference: |
GR/J09352/01 |
| Title: |
DEVELOPMENT OF STRUCTURED METHODS FOR THE SYNTHESIS OF SYNCHRO. LOGIC FOR INDEPENDENT DRIVE MACHINERY |
| Principal Investigator: |
Holding, Dr DJ |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Electronic Engineering |
| Organisation: |
Aston University |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 April 1993 |
Ends: |
30 September 1996 |
Value (£): |
230,479
|
| EPSRC Research Topic Classifications: |
| Electric Motor & Drive Systems |
|
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The aim is to develop a structured design method for the synthesis of synchronisation logic for the intermittent coordination for independently driven machinery. The method will allow a formal or semi-formal specification to evolve into a design through a process of elaboration and refinement. Although integrated techniques have been developed for analysing synchronisation logic, synthesis is not a simple reversal of analysis. Research on structured synthesis methods will use a rule-based approach compromising specification capture and formalisation, the generation of synchronisation rules, and the synthesis of synchronisation logic from the synchronisation rules. To ensure consistency of the transformation from requirement to design, verification procedures will be built into the method using analysis techniques developed at Aston. Research on the development of systematic, property-preserving, implementation techniques will concentrate on model-based approaches in which abstract models of the axial motions and a prototype synchronisation schema are embedded as part of the design. Such an approach should ensure the preservation of properties proven during the design stage and will provide an architecture that is consistent with fault tolerant design techniques.
|
|
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.aston.ac.uk |