Log in
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.
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).
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.
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.
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 on software architectures and reengineering helped Portuguese IT company ATX develop automated migration tools. A report by IT research company Gartner in 2009 identified the collaboration as one of the company's key strengths. The partnership allowed ATX to sustain an innovative R&D programme and win business in a competitive market.
Impact occurred via:
The same research also helped local SME Hunter Systems to redesign their products for the Web.
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.
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.
The GRANIT system is a non-destructive technique for assessing the condition of rock bolts and ground anchors used to support structures such as tunnels. It applies a small impulse to the bolt and interprets the resulting vibration response to provide estimates of load and unbonded length. Initial development of the system was based on the findings of EPSRC projects in tunnels undertaken by the Universities of Aberdeen and Bradford from 1989-1997, resulting in an empirically based method. However, research undertaken at the University of Aberdeen since 1998 has provided the understanding of the process and developed the fundamental engineering science needed to underpin the development of a full commercial system. The GRANIT system is patented, and has been subject to worldwide licence to Halcrow who have undertaken testing and provided a method of ensuring the safety of mines, tunnels and similar structures. Halcrow received the NCE award for Technical Innovation Award for GRANIT in December 2010. The impact of the research has been in part economic, but largely on practitioners and professional services.