Log in
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).
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.
Research at Newcastle University on formal methods for the design of computing systems has had a major impact on the delivery of new high-dependability products by industry. The methods (VDM and Event-B), to which we have made significant contributions, have been embodied in tools (VDMTools, Overture, Rodin) and applied in industry. The reach of the work extends to industries in Europe (e.g. in the rail sector by Siemens, 2011) and Japan (e.g. in firmware design by Sony, 2008). Significance is seen in reported improvements in defect detection rates of up to a factor of 5 over previous processes and the cost-effectiveness of design processes. The "Mobile FeliCa" chip developed using VDMTools is now incorporated into over 200 million mobile phones worldwide. Our approach to disseminating research has engendered lively international and online end-user communities further developing and using the tools today.
This case is based on economic impact. It shows how research by Professor Michael Wooldridge at the University of Liverpool on the Gaia Methodology for agent-oriented software engineering improved the performance of the Swiss company Whitestein Technologies AG and of international users of its key product. Specifically, the research enabled Whitestein to develop its business process management system (BPM) Living Systems Process Suite which delivers several million pounds per year of revenues, corresponding to 50% of their total business revenues. Users of Whitestein's Living Systems Process Suite since 2008 include Daimler AG, Transcor Astra Group, Vienna Insurance Group, and the US Department of Veterans Affairs. In 2010 Gartner, the world's leading IT advisory company, recognized the impact and innovation of the Living Systems Process Suite by naming Whitestein a Cool Vendor in BPM.
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.
In the last 20 years, reconfigurable technology has transformed High-Performance Computing and Embedded Systems Design. Research of the Custom Computing and Reconfigurable Systems teams at Imperial made pivotal contributions to this transformation, targeting particularly Field-Programmable Gate Array (FPGA) technology. Since 2008, the impact of this research has been to
I1) underpin design flow for partial run-time reconfigurable designs for Xilinx FPGA devices;
I2) contribute to the start-up company Maxeler, pioneering reconfigurable computing systems and cloud services for high-performance computing in the financial and other sectors;
I3) enable near real-time risk analysis for JP Morgan's global portfolio to analyse and manage risk much faster than previously possible;
I4) achieve about 250 times speedup for Chevron's seismic modelling for oil and gas exploration, compared to the alternative use of CPU-based machines;
I5) accelerate a financial market integrity platform for BlueBee and HL Steam in hardware.
Practical Waveform Engineering, developed at Cardiff, is having a major impact on how modern- day microwave power amplifiers are designed, delivering real competitive advantages for global communications companies such as Nokia-Siemens-Networks and M/A-COM.
Economic impact is through reduced time-to-market and lower design costs, leading to high- performance power amplifier products. Examples include $40M revenue and employment of additional staff for M/A-Com, and the successful spin-off company Mesuro Ltd., generating revenue in excess of £2.5M.
Impact on practice is through successful demonstration of new device technologies and amplifier architectures, the introduction of PWE-based CAD models, and most significantly, the introduction of the "Cardiff Model" into mainstream simulation tools.
Environmental Impact is by improving the efficiency of power amplifiers and significantly reducing the carbon contribution of mobile communications systems, translating into savings of approximately £2.5M/year and a 17 kiloton reduction in CO2 emission for a typical EU network.
In the last 20 years, reconfigurable technology has transformed High-Performance Computing and Embedded Systems Design. Research of the Custom Computing and Reconfigurable Systems groups at Imperial made pivotal contributions to this transformation, targeting particularly Field-Programmable Gate Array (FPGA) technology. Since 2008, the impact of this research has been to
The impact relates to improved productivity, operational efficiency, working practice and knowledge management within the European maritime industry through the use of a Virtual Integration Platform (VIP). The platform is a software package developed within the University of Strathclyde that has been used by eleven European ship design, engineering and project management consultancies, which specialise in the application of advanced computational design, analysis and physical modelling techniques within projects on an international scale. Specific company benefits of using the VIP include: 67% reduction in process time; guaranteed data consistency; additional productivity of 15 hours/day from automated over-night operation; capturing and reuse of expertise; cost effectiveness (lack of data consistency typically costs €100k per project); and ease of operation within complex design processes.
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.