| EPSRC Reference: |
GR/R88137/01 |
| Title: |
High-Level Techniques for Distributed Telecommunications Software |
| Principal Investigator: |
Trinder, Professor P |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
S of Mathematical and Computer Sciences |
| Organisation: |
Heriot-Watt University |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
31 October 2002 |
Ends: |
27 February 2006 |
Value (£): |
141,018
|
| EPSRC Research Topic Classifications: |
| Networks & Distributed Systems |
Software Engineering |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Distributed systems have become dramatically more significant with the advent of improved wired and wireless network technologies. There has been sustained academic interest in high-level techniques for constructing distributed systemsaiming to reduce development time and increase reliability. Collaborating with Motorola, we aim to evaluate high-level distributed programming techniques in a realistic telecommunications context. The language platforms for our investigation are two distributed functional languages: Erlang is a simple functional language with proven telecommunications track record, GdH is a sophisticated research language that can be adapted by the research team. The evaluation covers specific high-level distributed programming techniques: high level distributed coordination, sophisticated type systems, correctness, and non-strictness. Because these high-level techniques abrogate control of low level distribution issues we also investigate whether they can still deliver the required functionality, including issues such as real-time capabilities, fault tolerance, implementation scalability. Finally, the project initiates the transfer of high-level distributed language technology into the UK telecommunications sector.
|
|
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.hw.ac.uk |