| EPSRC Reference: |
GR/L28890/01 |
| Title: |
A SPECIFICATION ARCHITECTURE FOR THE VALIDATION OF REAL-TIME AND STOCHASTIC QUALITY OF SERVICE |
| Principal Investigator: |
Derrick, Professor J |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Sch of Computing |
| Organisation: |
University of Kent |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 August 1997 |
Ends: |
31 July 2000 |
Value (£): |
115,515
|
| EPSRC Research Topic Classifications: |
| Networks & Distributed Systems |
|
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The aim of the proposed research is to develop a specification architecture for the specific domain of distributed systems targeted towards emerging standards for Open Distributed processing (ODP). The ODP standard provides sophisticated support for multimedia applications, it is important that specification architectures are developed that can exploit these facilities. To support multimedia, it is essential to be able to specify and verify real-time quality of service (QoS) properties such as desired throughput, latency and jitter. It is also necessary to consider probabilistic and stochastic concerns in this work, for example to reason about the distribution of timings on packet deliveries or the probabilities of packet loss. Whilst notations for specifying QoS have been investigated, relatively little work has been directed at validation of QoS. We will develop a specification architecture incorporating both the specification and validation of QoS. This architecture will be populated with specific notations and specific timed, probabilistic and stochastic validation 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.kent.ac.uk |