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.
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.
Research into new process modelling tools and numerical simulation and optimisation algorithms at Imperial's Centre for Process Systems Engineering (CPSE) has resulted in a powerful new modelling technology. In 1997, a team from (CPSE) established a spin-out company, Process Systems Enterprise Ltd (PSE, www.psenterprise.com), to commercialise this process and energy systems modelling platform — gPROMSTM and to provide associated leading-edge model based services such as the design of new processes and the optimisation of existing processes.
Based on turnover (£400k at launch to £10m today), PSE is now recognised as a leading provider of process modelling technology and modelling platforms, with over 100 employees in high-end jobs. Its customers include most of the world's leading chemical, energy and automotive companies (e.g. Dow Chemical, BASF, BP, Shell, ExxonMobil, Toyota, Honda, Ford, Mitsubishi Chemicals) and it has a strong international presence with offices in the UK, US, Germany, Japan and Korea and agencies in China, India, Saudi Arabia and Thailand. The overall benefit to industry over the REF period is estimated to be £400m. The software allows customers to model, understand and optimise their processes in an unprecedented manner, leading to improved designs and more efficient operations. The gPROMSTM software is used in over 200 universities for both teaching and research (primarily the latter), where it enables research into new chemical and energy processes to take place.
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.
This case study concerns economic impact accruing in the aerospace engineering industry in Europe from software developed to perform stress analysis. Durham research has led to a spinout company, Concept Analyst, Ltd., and the software resulting from the research (Concept Analyst) is currently licensed by the following companies: BAE Systems (Brough, Samlesbury, Warton, Prestwick sites), Agusta Westland, Assystem, Jesmond Engineering, Spirit Aerospace. Trials are currently in place at Airbus UK and Bombardier, Canada. An agreement has been signed with the fatigue consultancy Jesmond Engineering, Ltd. to market the software within the aerospace sector. Economic impact arises from time savings for designers using Concept Analyst as compared to conventional commercial tools.
BRITEST is a global leader in the development of innovative process solutions for the chemical processing sector with > £500m of value being realized since 2008. Research in Manchester (1997-2000) generated a set of novel tools and methodologies which analyse chemical processes to identify where and how process improvements could be made. BRITEST was established in 2001 as a not-for-profit company to manage the technology transfer and effective deployment of these tools and methodologies into industry. Manchester holds the IP arising from the underpinning research and has granted an exclusive license to BRITEST for use and exploitation of the toolkit.
The development of the chemistry of Selectfluor® (F-TEDA-BF4) has resulted in this Manchester-discovered reagent becoming the world's most widely used commercial electrophilic fluorinating agent to introduce fluorine into a range of pharmaceuticals and agrochemicals. Annual worldwide production is ca. 25 tonnes and sales estimated to be US$7.5m. Selectfluor is used in the synthesis of fluticasone, a fluorinated corticosteroid which is the active ingredient in GSK's Advair ($3.6bn sales in 2010) used in the treatment of asthma and chronic obstructive pulmonary disease symptoms; top 25 selling drugs Flixonase, Flixotide, Flonase, Flovent HFA and Advair Diskus which had total sales of over $17bn between 2009-2012.
Novel statistical methods were developed in order to address the needs of Federal-Mogul Corporation (FM), an innovative and diversified $6.9bn global component supplier to vehicle manufacturers, with a broad range of customers in the industrial sector. During 2012, the research underpinned the production of new disc brake pad products for Audi, BMW, Ford, GM, Mercedes Benz and VW. The research has already resulted in significant benefits for the company by improving the manufacturing process, allowing it to be optimised to a mean specification, and by reducing the production cycle time by 30%.
Manchester research on differential protection, synchronised using the global positioning system (GPS), has opened up a radically new approach to protection and integrity of electrical transmission networks. The research has led to updating of international technical guides and international standards. In the UK, National Grid has implemented policies based on the research, which will save about £0.5m per annum in substation upgrade costs. The market for GPS synchronised differential protection products is £400m pa globally. This figure represents the "insurance premium" against the avoided cost of a power system failure, estimated in a report on the North-East USA blackout to be $6bn in economic cost and 11 directly attributable deaths.
Analysis of partial discharges for management of high-voltage assets has become commercialised in the last 20 years. Work at the University since 1993 has improved asset management techniques used by companies world-wide. This was achieved in two ways: first, improving power network reliability, enabled through two start-up companies employing 59 people and turning over £5m/annum; and second, by providing techniques for testing and verifying safety of new electrical power components for aerospace applications (e.g. A380). In four illustrative case studies, over £3m savings are identified for end-users through improved reliability of power networks. Further impact has been delivered by ensuring the reliability of power networks in aircraft.