Large-scale distributed systems, such as the Internet, broadband wireless at home and mobile phone networks, raise many challenges for the design and engineering of the underlying infrastructure. Such systems crucially depend on robust and efficient communication and coordination protocols that ensure that the overall system is self-organising, timely and energy-efficient, possibly in the presence of unreliable network services and malicious or uncooperative agents. New protocols for distributed coordination are being introduced to manage the limited resources. They increasingly often rely on randomisation, which plays an important role in achieving de-centralisation, and resource awareness, for example adapting to the power level. The combination of randomness and nondeterminism that arises from the scheduling of distributed components introduces complex behaviours that may be difficult to reason about. Assuring correctness, dependability and quality of service of such distributed systems is thus a non-trivial task that necessitates a rigorous approach, and methods for quantitative evaluation of such systems against properties such as ``the probability of battery level dropping below minimum within 5 seconds is guaranteed to be below 0.01 in all critical situations'', are needed. Theoretical foundations of such quantitative analysis have been proposed, with some implemented in software tools and evaluated through case studies. However, no tools and techniques can directly address real programming languages endowed with features such as random choice and timing delays.This proposal is to further develop the foundations for reasoning about probabilistic systems to enable quantitative analysis of real programming languages. The research will involve extending the successful quantitative probabilistic model checker PRISM (www.cs.bham.ac.uk/~dxp/prism/) via predicate abstraction, and develop additional enhancements to the PRISM toolkit in collaboration with the extensive user community. The resulting techniques will also be relevant for other domains in which probabilistic model checking has proved successful, e.g. performance analysis, planning and systems biology.

Mark Weiser's vision of ubiquitous computing, in which computers become transparently and seamlessly woven into the many activities of our daily lives, is slowly becoming a reality. Researchers have created prototype ubiquitous computing environments such as 'smart homes' that can automatically sense the presence of a resident in a particular room and change some aspect of the environment of the room such as turning on the lights, or 'smart museums' that can play recorded information about the museum artefact a visitor is standing in front of. There seem to be limitless possibilities for the kinds of environments and applications that can be developed for ubiquitous computing, yet the very nature of ubiquitous computing creates new and significant challenges for engineers who would like to build these environments and applications. Anybody who has ever used a computer has experienced the extreme frustration of using a software package that doesn't work the way it's supposed to, or that unceremoniously crashes in the middle of its operation, or that runs extremely slowly, or that transmits sensitive information such as credit card numbers over untrusted networks. For ubiquitous computing to achieve true transparent and seamless integration with its surroundings, it is important to prevent such mishaps, crashes, inefficiencies and insecurities from happening to the greatest extent possible. This project will define and implement a suite of sound, systematic methods that engineers can use to create correctly functioning, efficient and secure ubiquitous computing environments and applications. The research will be conducted and evaluated using the smart urban spaces and applications being developed in another ubiquitous computing project called Cityware.

Silicon Photonics is a field that has seen rapid growth and dramatic changes in the past 5 years. According to the MIT Communications Technology Roadmap, which aims to establish a common architecture platform across market sectors with a potential $20B in annual revenue, silicon photonics is among the top ten emerging technologies. This has in part been a consequence of the recent involvement of large semiconductor companies in the USA such as Intel and IBM, who have realised the enormous potential of the technology, as well as large investment in the field by DARPA in the USA under the Electronic and Photonic Integrated Circuit (EPIC) initiative. Significant investment in the technology has also followed in Japan, Korea, and to a lesser extent in the European Union (IMEC and LETI). The technology offers an opportunity to revolutionise a range of application areas by providing excellent performance at moderate cost due primarily to the fact that silicon is a thoroughly studied material, and unsurpassed in quality of fabrication with very high yield due to decades of investment from the microelectronics industry. The proposed work is a collaboration between 5 UK Universities (Surrey, St. Andrews, Leeds, Warwick and Southampton) with input from the industrial sector both in the UK and the USA. We will target primarily the interconnect applications, as they are receiving the most attention worldwide and have the largest potential for wealth creation, based on the scalability of silicon-based processes. However, we will ensure that our approach is more broadly applicable to other applications. This can be achieved by targeting device functions that are generic, and introducing specificity only when a particular application is targeted. The generic device functions we envisage are as follows: Optical modulation; coupling from fibre to sub-micron silicon waveguides; interfacing of optical signals within sub micron waveguides; optical filtering; optical/electronic integration; optical detection; optical amplification. In each of these areas we propose to design, fabricate, and test devices that will improve the current state of the art. Subsequently we will integrate these optical devices with electronics to further improve the state of the art in optical/electronic integration in silicon.We have included in our list of objectives, benchmark targets for each of our proposed devices to give a clear and unequivocal statement of ambition and intent.We believe we have assembled an excellent consortium to deliver the proposed work, and to enable the UK to compete on an international level. The combination of skills and expertise is unique in the UK and entirely complementary within the consortium. Further, each member of the consortium is recognised as a leading international researcher in their field.The results of this work have the potential to have very significant impact to wealth creation opportunities within the UK and around the world. For example emerging applications such as optical interconnect, both intra-chip, and inter-chip, as well as board to board and rack to rack, and Fibre To The Home for internet and other large bandwidth applications, will require highly cost effective and mass production solutions. Silicon Photonics is a seen as a leading candidate technology in these application areas if suitable performance can be achieved.

Silicon Photonics is a field that has seen rapid growth and dramatic changes in the past 5 years. According to the MIT Communications Technology Roadmap, which aims to establish a common architecture platform across market sectors with a potential $20B in annual revenue, silicon photonics is among the top ten emerging technologies. This has in part been a consequence of the recent involvement of large semiconductor companies in the USA such as Intel and IBM, who have realised the enormous potential of the technology, as well as large investment in the field by DARPA in the USA under the Electronic and Photonic Integrated Circuit (EPIC) initiative. Significant investment in the technology has also followed in Japan, Korea, and to a lesser extent in the European Union (IMEC and LETI). The technology offers an opportunity to revolutionise a range of application areas by providing excellent performance at moderate cost due primarily to the fact that silicon is a thoroughly studied material, and unsurpassed in quality of fabrication with very high yield due to decades of investment from the microelectronics industry. The proposed work is a collaboration between 5 UK Universities (Surrey, St. Andrews, Leeds, Warwick and Southampton) with input from the industrial sector both in the UK and the USA. We will target primarily the interconnect applications, as they are receiving the most attention worldwide and have the largest potential for wealth creation, based on the scalability of silicon-based processes. However, we will ensure that our approach is more broadly applicable to other applications. This can be achieved by targeting device functions that are generic, and introducing specificity only when a particular application is targeted. The generic device functions we envisage are as follows: Optical modulation; coupling from fibre to sub-micron silicon waveguides; interfacing of optical signals within sub micron waveguides; optical filtering; optical/electronic integration; optical detection; optical amplification. In each of these areas we propose to design, fabricate, and test devices that will improve the current state of the art. Subsequently we will integrate these optical devices with electronics to further improve the state of the art in optical/electronic integration in silicon.We have included in our list of objectives, benchmark targets for each of our proposed devices to give a clear and unequivocal statement of ambition and intent.We believe we have assembled an excellent consortium to deliver the proposed work, and to enable the UK to compete on an international level. The combination of skills and expertise is unique in the UK and entirely complementary within the consortium. Further, each member of the consortium is recognised as a leading international researcher in their field.The results of this work have the potential to have very significant impact to wealth creation opportunities within the UK and around the world. For example emerging applications such as optical interconnect, both intra-chip, and inter-chip, as well as board to board and rack to rack, and Fibre To The Home for internet and other large bandwidth applications, will require highly cost effective and mass production solutions. Silicon Photonics is a seen as a leading candidate technology in these application areas if suitable performance can be achieved

Silicon Photonics is a field that has seen rapid growth and dramatic changes in the past 5 years. According to the MIT Communications Technology Roadmap, which aims to establish a common architecture platform across market sectors with a potential $20B in annual revenue, silicon photonics is among the top ten emerging technologies. This has in part been a consequence of the recent involvement of large semiconductor companies in the USA such as Intel and IBM, who have realised the enormous potential of the technology, as well as large investment in the field by DARPA in the USA under the Electronic and Photonic Integrated Circuit (EPIC) initiative. Significant investment in the technology has also followed in Japan, Korea, and to a lesser extent in the European Union (IMEC and LETI). The technology offers an opportunity to revolutionise a range of application areas by providing excellent performance at moderate cost due primarily to the fact that silicon is a thoroughly studied material, and unsurpassed in quality of fabrication with very high yield due to decades of investment from the microelectronics industry. The proposed work is a collaboration between 5 UK Universities (Surrey, St. Andrews, Leeds, Warwick and Southampton) with input from the industrial sector both in the UK and the USA. We will target primarily the interconnect applications, as they are receiving the most attention worldwide and have the largest potential for wealth creation, based on the scalability of silicon-based processes. However, we will ensure that our approach is more broadly applicable to other applications. This can be achieved by targeting device functions that are generic, and introducing specificity only when a particular application is targeted. The generic device functions we envisage are as follows: Optical modulation; coupling from fibre to sub-micron silicon waveguides; interfacing of optical signals within sub micron waveguides; optical filtering; optical/electronic integration; optical detection; optical amplification. In each of these areas we propose to design, fabricate, and test devices that will improve the current state of the art. Subsequently we will integrate these optical devices with electronics to further improve the state of the art in optical/electronic integration in silicon.We have included in our list of objectives, benchmark targets for each of our proposed devices to give a clear and unequivocal statement of ambition and intent.We believe we have assembled an excellent consortium to deliver the proposed work, and to enable the UK to compete on an international level. The combination of skills and expertise is unique in the UK and entirely complementary within the consortium. Further, each member of the consortium is recognised as a leading international researcher in their field.The results of this work have the potential to have very significant impact to wealth creation opportunities within the UK and around the world. For example emerging applications such as optical interconnect, both intra-chip, and inter-chip, as well as board to board and rack to rack, and Fibre To The Home for internet and other large bandwidth applications, will require highly cost effective and mass production solutions. Silicon Photonics is a seen as a leading candidate technology in these application areas if suitable performance can be achieved.