EPSRC logo

Details of Grant 

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:
Motorola
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:
Communications
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