The EU IPv6 Task Force met between April 2001 and January 2002 to develop recommendations for adoption of IPv6 in Europe, targetted at national governments, the European Commission and industry. ECS' role was as rapporteur and contributor to a number of the sub-working groups.
The GEANT TF-NGN group meets four times a year to discuss trials and studies of novel and leading edge network technologies for the GEANT pan-European academic research network. ECS has leadership of the IPv6 Working Group, which includes deployment of a mini-backbone comprising a Juniper M5 router in Paris, a Telebit router in Amsterdam and, soon, a Hitachi GR2000 router in Southampton. The group covers activities complementary to those of 6NET.
6WINIT is a wireless follow-up to the previous 6INIT project. The project includes three medical sites with partner universities, in addition to parallel application developers. In this tw-year project, ECS will develop IPv6 tools for the "meeting room scenario", with consideration for ad-hoc networking, and brokering and discovery of network services.
Euro6IX is a three-year pan-European IPv6 research and deployment project, featuring the major European telcos (BT Exact, France Telecom, Telefonica, DT, etc) and a small number of universities. The project will deploy a number of IPv6 Internet Exchange points in Europe, and will seek to investigate new business models appropriate for IPv6 deployment. ECS' main role is the development of an IPv6 Unified Messaging System (6UMS) that will demonstrate IPv6's advantages for peer-to-peer applications.
6NET was a three-year IPv6 deployment project that featured 11 European National Research and Education Networks (NRENs). Led by Cisco, who contributed at least 16 high-end GSR routers, and including IBM, 6NET had a total project budget of over 15M Euros and 1,100 man months of resources. The project was a key precursor to the full production IPv6 services in European academic networks including GEANT. ECS' main role in the project was leadership of the IPv6 transition and integration work package, which considered interworking between IPv4 and IPv6 systems. The project was extended due to its success, and scored maximum ratings in its final assessment.
Elevated Source/ Drain MOSFET Devices.
As MOS devices are scaled into the sub 70nm region, traditional source/drain engineering techniques can no longer suppress short channel effects while at the same time achieving low access resistances.
The elevated source/drain structure, created by growing selective epitaxial silicon in the source and drain regions, is a device concept that has been shown to lower access resistances while at the same time improving short channel performance.
The aim of this theme of the Euraccess project is to fabricate novel ESD MOSFETs with silicon germanium elevated source / drain structures both by growth of epitaxial silicon germanium and the synthesis of silicon germanium by Ge implantation into selective epitaxial silicon.
The UK Research Programme concerned with developing SiGe MOS technologies.
Funded pricipally by the EPSRC, 13 research teams from 9 UK universities work together on the programme along with industrial partners Avant!, Daimler- Chrysler, Infineon Technologies and Zarlink Semiconductor.
The project is concerned with the integration of strained silicon and silicon germanium layers in decananometre CMOS processes, with both conventional doped polysilicon gate and metal replacement gate processes. Work is also focused on limited area growth SiGe for virtual substrate strained silicon devices and the integration of a high-k gate dielectric into a SiGe MOS process.
Motivation: The past years have seen dramatic growth in the application of model checking techniques to the validation and verification of hardware systems. However, despite the success of model checking, most systems must be substantially simplified (i.e., abstracted) and considerable human ingenuity is still required. Furthermore, most software systems cannot be modelled directly by a finite state system: as soon as some kind of recursion, dynamic or unbounded data structures come into play, an infinite number of states must be verified.
Description The main objective of the project is to study the potential of automatically deriving abstractions for infinite model checking through a combination of existing technology for the automatic control of partial evaluation and abstract interpretation. First successful experiments of this idea have been conducted using the ECCE and LOGEN tools.
The project consists of a theoretical study coupled with the implementation of a combined partial evaluation and abstract interpretation system (based upon ECCE). The practicality of the approach will be gauged on realistic examples, some of them coming from the EPSRC funded ABCD projet for the validation of business-critical systems.
During powder handling powder particles collide with each other and with boundary walls and so charge. Particles are found to charge in a bipolar fashion, ie some particles are charged positively, some negatively and some hardly at all. We are investigating fundamental reasons for bipolar charging and are attempting to control it.