EPSRC Reference: |
GR/K64310/01 |
Title: |
DEPENDABILITY MANAGEMENT IN REAL-TIME DISTRIBUTED CONTROL SYSTEMS |
Principal Investigator: |
Fleming, Professor PJ |
Other Investigators: |
|
Researcher Co-Investigators: |
|
Project Partners: |
|
Department: |
Automatic Control and Systems Eng |
Organisation: |
University of Sheffield |
Scheme: |
ROPA |
Starts: |
01 August 1995 |
Ends: |
30 April 1999 |
Value (£): |
140,542
|
EPSRC Research Topic Classifications: |
|
EPSRC Industrial Sector Classifications: |
|
Related Grants: |
|
Panel History: |
|
Summary on Grant Application Form |
This research addresses automatic dependability constraint satisfaction in hard real-time distributed control systems. Stimulation and modelling techniques are proposed as a means of resolving conflicting constraints and obtaining a graphical specification of requirements. Automated integration of functional and non-functional requirements will enable implementation of representative real-time distributed control applications. Key requirement parameters will be defined and assessed to enable the formulation of rules for the automatic inclusion of dependability management strategies.
|
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.shef.ac.uk |