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).
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".
Research during the 1990's at Newcastle University resulted in the development of CANopen (Control Area Network open), a manufacturer independent communication protocol for connecting multiple devices used in industrial systems. It has resulted in opening up the market by providing the platform for a low-cost simplified method of connecting off-the-shelf devices to communicate effectively over a network, benefiting the global economy and inspiring innovation. The significance of the impact is evident by the wide incorporation of the technology in a diverse range of products ranging from health care, automotive, renewable energy, rail and aerospace industries. The reach of the impact is evident by its use in product development by national and international companies and is the de-facto European standard EN 50325-4 (CiA 301).
Research into the operational characteristics and applicability of biological reaction networks, carried out at the university in collaboration with groups at Caltech and Sony Systems, revealed the pressing need for a standard format that could be used for storage and exchange of mathematical models of such systems. Hertfordshire researchers played a crucial role in the initial design, dissemination and early exploitation of the Systems Biology Markup Language, SBML, now recognised as the de facto standard format for this purpose. Several major scientific publishers operating across academic boundaries require their authors to use SBML, and 254 software tools, including MATLAB and Mathematica, are now SBML-compliant. Online forums testify to a sizeable, international user-developer community that encompasses engineers, biologists, mathematicians and software developers.
Research at the University of Leeds has underpinned the company Lhasa Ltd. which has made widely available the toxicity prediction software currently known as Derek Nexus. The use of Derek Nexus by large pharmaceutical companies to support drug development is effectively universal. Toxicology prediction software has led to changes in guidelines issued by regulatory authorities and to industry-wide changes to the investigation of the toxicity of trace impurities. These changes have reduced the resources needed for experimental investigation of toxicity, and have increased revenues derived from launched drugs by extending their patent period of exclusivity. Lhasa Ltd. derives income in support of its charitable aims from Derek Nexus , and a related product Meteor Nexus (Meteor) also based on research undertaken in Leeds. The company reported revenues over £5.4M in 2012 and employs 71 highly qualified staff.
Research in information modelling at Newcastle University's School of Architecture, Planning and Landscape, supported by research grants and industry funding, led to the development of a software prototype and subsequently to a market software application (NBS Scheduler). This product is particularly targeted at SMEs in the construction industry with a design capability and for them it has become best-practice software. The product — developed and marketed by National Building Specification (NBS, an arm of the Royal Institute of British Architects) — has transformed the organisation, writing and formatting of non-drawn information for refurbishment and smaller new-build projects. It has made a significant contribution to developing accurate building project information with subsequent commercial and societal benefits through the lowering of transaction costs and prices. Scheduler has also underpinned the development of another product (NBS Create), which also leads its field through the creation of Building Information Modeling (BIM)-compliant building specifications.
The development, review and acceptance of an explicit 'safety case' forms a key component of the assurance and regulation of many safety critical systems, including those in the nuclear, defence, railway, automotive, medical device, and process industries. Industrial practice in safety case development prior to York's development of the Goal Structuring Notation (GSN) relied almost exclusively upon narrative text to communicate the safety argument within the safety case. This approach suffered from problems of lack of clarity, difficulty in comprehension, poor structure, and limited formalised development of 'case law' in safety argumentation. GSN was developed and matured by York to tackle these problems directly, and is now used internationally by safety critical industries in a large number of domains including defence, transport, nuclear and medical devices.
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.
BU's software engineering research has focused on the improvement of software development methods with a particular emphasis on the `upstream' or requirements phases. The benefits include improved development processes as well as considerable financial savings, as evidenced in this case study. The research has been used locally in projects with medium sized enterprises (SME's) and in collaboration with international partners including National ICT Australia (NICTA) to enhance business and IT alignment (Australia and Japan); the European Commission funded VIsualise all moDel drivEn programming (VIDE) project to impact commercial tools (France and Germany); and with Bosch Automotive (Germany) to enhance model driven development.
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.