Log in
Optimisation tools developed in the UoA have significantly advanced the ability to find the best designs for complex systems in cases where these were previously unobtainable. These optimisation tools have been implemented in several companies to shorten design times, reduce costs and reduce CO2 emissions. This has brought about new multi-million pound revenues, long-term contracts, increased employment and contribution to sustainability targets.
The research work undertaken at Middlesex University on model checking for multi-agent systems has made a significant contribution both to theory and to applications for the verification of complex and critical systems, such as autonomous rovers and avionic scenarios. These scenarios require the verification of properties that go beyond traditional temporal requirements and include epistemic and strategic modalities. Our work has contributed to the development of efficient model checking algorithms and tools that implement state-of-the art features; both the algorithms and the tools have been applied to a number of real-life instances, including scenarios from NASA applications.
Automotive design analysis software based on qualitative reasoning research in the Advanced Reasoning Group at Aberystwyth is deployed at more than 200 automotive and aeronautic OEMs and Tier 1 suppliers world-wide. The software necessitates companies changing their process for performing design analysis, and companies are willing to do this because of the attendant benefits.
The major benefits of use of the software are early feedback on potential problems with the design of automotive systems, and improved safety of automotive designs. Related benefits are improved product time to market, and cost savings. A representative example of production savings of $2.5 million has been given for use of the software on a single product design, as well as Ford Motor Company's estimate of $20M per year saved in just their company.
Work undertaken at the Applied DSP and VLSI Research Group since the early/mid nineties, has led to a number of significant contributions underpinning the development and commercial exploitation by industry of power efficient and complexity reduced integrated Digital Signal Processing (DSP) systems and products. These developments have paved the way for a new paradigm in the design of complexity reduced electronic systems aiding the emergence of numerous new commercial application areas and products in a diversity of fields. Indeed, these developments continue their currency and applicability in today's electronic products sector and thus shall be at the core of this case study.
Newcastle University's fundamental research into the automated synthesis of asynchronous systems and metastability analysis has resulted in new technologies that have been adopted worldwide by the microprocessor industry and educational sectors. In particular, Newcastle's asynchronous design methods and tools based on Petri nets have been used by the industry leading vendor Intel Corporation for their switch silicon technology, on which most transactions on the NYSE and NASDAQ (with combined daily volume of trade exceeding £80 billion) now rely. Oracle Corporation used the results of Newcastle's metastability analysis research for building their SPARC series of servers, marketed as having "world's fastest microprocessor".
Newcastle University's fundamental research into the theory of concurrency and the automated construction and analysis of asynchronous systems has resulted in novel technologies that have been adopted and applied worldwide by industry. This case study describes impact over the last five years on the industrial development of asynchronous microprocessor chips, in particular, deployed by Intel for handling financial transactions on NYSE and NASDAQ (with combined daily volume of trade exceeding £80 billion), and the improvements in business process analysis through the world-leading open-source ProM tools (downloaded over 65,000 times since 2008, and used by a number of major organisations, e.g. ING Bank and Deloitte).
Research conducted at the School of Mathematics at Cardiff University has engineered lifesaving, improvements to UK healthcare systems. New mathematical models, accounting for the complexity and diversity of the health system, have been created and applied in a variety of contexts to markedly enhance the efficiency and effectiveness of a wide range of healthcare services — at policy, commissioning and operational levels. The extensive benefits include:
This work has been disseminated nationally and internationally, in the media and at a range of events designed to engage the public with Mathematics. Therefore the impacts claimed in this case study are health, economic benefits and public engagement.
From 1995 Professor Munjiza's research at QMUL has led to the development of a series of algorithms which can predict the movement and relationship between objects. These algorithms have been commercialised by a range of international engineering and software companies including Orica, the world's leading blasting systems provider (via their MBM software package), and the software modelling company, Dassault Systems (via their Abaqus software). Through these commercialisation routes Munjiza's work has generated significant economic impact which is global in nature. For example, his predictive algorithms have enabled safer, more productive blast mining for Orica's clients — in one mine alone, software based on Munjiza's modelling approach has meant a 10% increase in productivity, a 7% reduction in costs and an annual saving of $2.8 million. It has also been used in Dassault Systems' Abaqus modelling software, which is the world's leading generic simulation software used to solve a wide variety of industrial problems across the defence, automobile, construction, aerospace and chemicals sectors with associated economic impact.
Fluid modelling approaches devised by the Materials and Engineering Research Institute's (MERI's) materials and fluid flow modelling group have impacted on industrial partners, research professionals and outreach recipients. This case study focuses on economic impacts arising from improved understanding which this modelling work has given of commercial products and processes. These include: metal particulate decontamination methods developed by the UK small company Fluid Maintenance Solutions; liquid crystal devices (LCDs) manufactured by the UK SME ZBD Displays; and an ink-droplet dispenser module originally invented at the multinational Kodak. Additionally, the modelling group's computer simulation algorithms have been adopted by industrial research professionals and made available via STFC Daresbury's internationally distributed software package DL_MESO. Finally, the group has developed, presented and disseminated simulation-based materials and visualisations at major public understanding of science (PUS) events.
Research in the Centre for Software Reliability (CSR) at City University London has made significant advances in ways to assess the safety and reliability of safety-critical, fault-tolerant software-based systems. This work supports quantitative safety cases and has influenced practice and regulation in UK and international industries. [text removed for publication] The work has had significant benefit for regulators and licensees of UK nuclear plant, has been recognised in the US nuclear industry and is additionally of benefit to the general public, in ensuring not only that reasoning about the safety of nuclear plant is rigorous and valid, but also that it is seen to be so in order that safety claims are widely and justifiably believed.