| EPSRC Reference: |
GR/N24872/01 |
| Title: |
WIDE-AREA PROGRAMMING: LANGUAGE, SEMANTICS AND INFRASTRUCTURE DESIGN |
| Principal Investigator: |
Sewell, Professor PM |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science and Technology |
| Organisation: |
University of Cambridge |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 October 2000 |
Ends: |
30 September 2003 |
Value (£): |
190,814
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
| Communications |
Electronics |
| Information Technologies |
No relevance to Underpinning Sectors |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
This Proposal draws together two major lines of research: the study of distributed system design and the semantic theory of concurrent processes and programming languages. Wide area distributed systems are becoming ubiquitous and critical. Systems designers require a clear understanding of their behaviour in the presence of partial failure, malicious attack, and, increasingly, mobility of hardware and software components. We propose to aid such understanding by designing levels of abstraction for distributed programming with clear, rigorous semantics. Low levels, eg TCP and UDP communication, have relatively simple behaviour under failure and attack. They will be expressed as programming language primitives with rigorous semantics, validated against an implementation. Examples of higher level failure-aware and secure distributed infrastructure will be expressed as modules above this language, enabling reasoning about their more complex behaviour using the low-level semantics. We will study type-theoretic foundations for module versioning in wide-area systems. We will go on to enrich support for mobility and for interworking - integrating state-capture of running computation and secure encapsulation, and access to CORBAs IIOP. This will allow study of more serious secure infrasturcture and applications, and provide a solid conceptual basis for the design of industrial languages and systems for wide area computation.
|
|
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.cam.ac.uk |