| EPSRC Reference: |
GR/L76143/01 |
| Title: |
CASE STUDY IN PROCESS CONTROL USING FORMAL METHODS |
| Principal Investigator: |
Maibaum, Professor T |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computing |
| Organisation: |
Imperial College London |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
23 June 1997 |
Ends: |
22 June 1998 |
Value (£): |
3,590
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The case study will be developed to the stage that an executable prototype can be produced and all the relevant information for future tests and studies is properly compiled and reported. The visiting fellow will work on the review and refinement of the specification and in the verification and validation of the formal specifications against temporal logic and informal specifications. He will also work on the comparison of the executable prototype produced using the B Toolkit with the gPROMS simulation of the case study produced by Process Systems Engineering. He will assist in the writing and review of the chapter on the case study to be included in 'Industrial Strength Formal Methods'.
|
|
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.imperial.ac.uk |