Log in
Modern processor architectures (networked multi/many-core nodes), together with society's expectation of evermore-complex applications, require fluent mastery of concurrency. To enable this mastery, in the last two decades our group has taught, researched and developed fundamental notions of concurrency, new programming languages (occam-pi, and the KRoC toolset), libraries (JCSP, CCSP, C++CSP, CHP), runtime systems (the KRoC/CCSP multicore scheduler) and tools based on formal process algebra (Hoare's CSP, and Milner's pi-calculus).
Our work has had impact in providing new mechanisms for software development in a number of sectors such as chip design, large-scale real-time systems, formal interfaces and testing and the space industry. Testimonials supporting this are available from a variety of industrial and commercial sources (NXP Semiconductors, Big Bee Consultants, Philips Healthcare, 4Links Ltd. and Microsoft Research Cambridge). The breadth of impact of the work is evidenced by download statistics, as well as by third-party contributions to libraries and documentation.
RTT (Real Time Tomography) scanning systems for airport baggage are becoming increasingly important due to growing air traffic and greater security concerns. Prior to our research, Rapiscan, a leading producer of baggage scanners, had been unable to make full use of the hardware in their latest generation of scanner prototypes. Our novel theory and image reconstruction algorithms are now a core part of a commercially successful 3D scanner that is significantly faster and more accurate than previous generations. The two models, RTT80 and large RTT110, have been approved by regulatory authorities and have already been field trialled at Manchester Airport and deployed at Seattle airport, with further US$20m orders placed.
The research and impact described herein was flagged in the citation for the UoM's 2013 Queen's Anniversary Prize for Higher and Further Education for its work in imaging techniques to support advanced materials and manufacturing.
The field of conceptual chemical process design as practiced industrially has been influenced significantly by the outputs from the Centre for Process Integration (CPI) at Manchester. Process Integration Ltd (PIL) was spun-out from Manchester and currently employs over 50 staff globally, who have conducted projects that have resulted in annual cost savings of hundreds of millions of US dollars. The application of CPI technology has led to significant reductions in both energy costs and emissions of greenhouse gases. Since 2008 ca. US$350m of savings have been realized through the exploitation of CPI technology with US$1.4m generated from software sales.
Spatial decomposition methods have been extended to apply to spatial, scale, and temporal domains as a result of work at the Numerical and Applied Mathematics Research Unit (NAMU) at the University of Greenwich. This work has led to a numerical framework for tackling many nonlinear problems which have been key bottlenecks in software design and scientific computing. The work has benefitted the welding industry in the UK because these concepts are now embedded, with parallel computing, in the industry's modern welding design process software.
Research at Manchester has led to the development of a new class of high performance magnesium alloys based on the addition of rare-earth alloying elements. The new alloys combine low density and the highest strength of any magnesium alloy. Used to substitute for aluminium in aerospace and automotive they produce weight savings of 35% improving performance and reducing fuel consumption. Commercialisation of these alloys by Magnesium Elektron (ME), the international leader in magnesium alloy development, contributes over $20m per annum to company revenue. This includes development of the first commercial product available for bioresorbable magnesium implants, SynermagTM, launched in 2012.
Led by Professor Andrews, a computational method for real time mission planning, based on Binary Decision Diagrams (BDD), was developed in the Mathematical Sciences Department at Loughborough University (LU) from 1993-2003. This is fast and accurate and can be used to support decision-making on system utilisation in real-time operation, which has led to the ability to diagnose in flight faults for unmanned aerial vehicle (UAV) applications.
The research has changed the understanding and awareness of the advantages of BDD, resulting in integration into major industrial trials and proprietary software products, including at BAE Systems, one of the world's largest companies in an area of vital importance to UK security and economic development. The methodology has attracted significant research funding in collaborative programmes with industry.
Research (1993-2008) on novel silicon architectures and design methodologies for digital signal and video processing led to the creation of world leading semiconductor IP cores (chip designs) for implementing the main video and image compression standards including H.264, MPEG4, MPEG2, and JPEG2000. These have been licensed to semiconductor manufacturers worldwide including Panasonic, Sony, Toshiba and Sharp. Since 2008, such encoders/decoders have been incorporated into all DTV/HDTV SoCs produced by Conexant, NXP, Trident Microsystems and Entropic. They have also been used as the hardware acceleration engines in Intel's C2110 Media Processor. At least 150 million chips worldwide having been manufactured incorporating this technology.
Collaborations funded through EPSRC Interact and RCUK UK-China Science Bridge resulted in QUB's advanced control research having important economic and environmental impact in China, Pakistan, Vietnam. This includes the creation of new core modules for the Shanghai Automation Instrumentation Co (SAIC) SUPMAX Distributed Control System series of products now in use for whole plant monitoring and control to maximise energy efficiency and reduce pollutant emissions. These products have since 2008 increased SAIC's revenue by over $50M p.a. Related networked monitoring technologies have been successfully deployed in Baosteel's hot-rolling production lines and in the Nantong Water Treatment Company that treats 20,000 tonnes of industrial waste water daily.
This Keele University research into advanced signal processing and classification methods has led to novel algorithms capable of isolating subtle patterns in complex data. This has been applied in two highly significant application areas: first to the problem of image source identification and second to the problem of unobtrusive but highly secure authentication methods. In the first case this has enabled images captured by mobile phone cameras to be reliably and evidentially linked to source devices. This has huge applicability to those fighting terrorism, paedophile rings and civil unrest by extending detection capabilities to mobile phones in an era in which they are rapidly replacing dedicated cameras. It helps to prove, for example, that a photograph entered as evidence was captured by a specific mobile phone. As most phones can be tied to their user or owner this is extremely important to the successful detection and prosecution of offenders.
In the second case it has enabled criminal record checks to be carried out securely online where previous paper-based systems were both too slow for purpose (taking weeks or months) and inherently insecure, leaving key posts unfilled in the health care industries and education sector; so benefitting the public by solving a problem that was having a negative impact on the running of these public services.
This case study describes the impact of the EnCore microprocessor, and the associated ArcSim simulation software, created in 2009 by the Processor Automated Synthesis by iTerative Analysis (PASTA) research group under Professor Nigel Topham at the University of Edinburgh. Licensing to Synopsys Inc. in 2012 brought the EnCore and ArcSim technologies to the market. Synopsys Inc. is a world-leading Silicon Valley company. It is the largest Electronic Design Automation (EDA) company in the world, and the second largest supplier of semiconductor IP. EnCore is achieving a global impact through this worldwide channel. The commercial derivatives of the EnCore technology provide manufacturers of consumer electronics devices with an innovative low-power, high-performance microprocessor that they can customize to their specific application requirements, enabling the next generation of electronic devices.