Log in
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".
Bath research on the design of multi-agent software systems governed by norms and institutions has directly influenced the development of the essential business systems of an internet-based trading company, and been instrumental in their success.
The Book Depository (BD) was founded in 2004. In 2005, their Chief Technical Officer, Emad Eldeen Elakehal, sought the expertise of Julian Padget in the Department of Computer Science at Bath, and began a part-time PhD, working on the application of normative frameworks to the design and implementation of business systems. Elakehal has applied these principles in the design and construction of two key subsystems of BD's software infrastructure: the catalogue maintenance system (live since 2006) and the price checker and setter system (since 2008). Their effectiveness has underpinned the growth and success of the company by providing robust software implementation of business processes that adapt to changing market conditions. The company's turnover grew from £24M to £120M from 2008 - 2011, and continues to grow. The software systems enabled this growth to take place with no increase in the operations team's manpower, and now handle a catalogue of over 8 million titles, from 120 suppliers, all available within 48 hours to customers on the Book Depository's own web site or via Amazon's marketplace: all Amazon book customers have seen offers of books generated by this software. The software underpins BD's award-winning business, a unique offering in the book retail sector which attracted takeover by Amazon in 2011. BD's Managing Director states that "without the agent/norm based technical systems not one of the business' USPs could have been effectively realised."
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 study concerns the design and methodology adopted in the construction of high reliability (safety-critical and real-time) embedded systems, particularly as applied in the automotive and avionics industry. The key impact has been for the automotive and avionics industry to adopt a change in the way these systems are designed, leading to more reliable systems, faster time to market, lower production and verification costs, and lower maintenance costs.
The subject matter concerns the fundamental architecture of high reliability embedded systems. Specifically it is a paradigm shift in the theoretical design of the software and hardware from established event-driven architectures to novel time-triggered architectures developed at the University of Leicester (UoL). The novel paradigm is supported by a range of development tools, processor designs, and diagnostic/maintenance tools developed by a spin-out company, TTE Systems Ltd. Research was exploited commercially by TTE Systems Ltd to provide economic impact via software tools sales, consultancy services, bespoke product development, and training courses.
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.
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.
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 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.
The volume and diversity of data that companies need to handle are increasing exponentially. In order to compete effectively and ensure companies' commercial sustainability, it is becoming crucial to achieve robust traceability in both their data and the evolving designs of their systems. The CRISTAL software addresses this. It was originally developed at CERN, with substantial contributions from UWE Bristol, for one of the Large Hadron Collider (LHC) experiments, and has been transferred into the commercial world. Companies have been able to demonstrate increased agility, generate additional revenue, and improve the efficiency and cost-effectiveness with which they develop and implement systems in various areas, including business process management (BPM), healthcare and accounting applications. CRISTAL's ability to manage data and their provenance at the terabyte scale, with full traceability over extended timescales, based on its description-driven approach, has provided the adaptability required to future proof dynamically evolving software for these businesses.
This case study embodies a non-linear relationship between underpinning research, software development and deployment. It involves computer science research at UWE in conjunction with its applied development for the world's largest particle physics laboratory and onward deployment commercially into private sector industry.
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.