Log in
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.
Led by Professor Andrews, a computational method for real time mission planning, based on Binary Decision Diagrams (BDD), was developed in the Mathematical Sciences Department at Loughborough University (LU) from 1993-2003. This is fast and accurate and can be used to support decision-making on system utilisation in real-time operation, which has led to the ability to diagnose in flight faults for unmanned aerial vehicle (UAV) applications.
The research has changed the understanding and awareness of the advantages of BDD, resulting in integration into major industrial trials and proprietary software products, including at BAE Systems, one of the world's largest companies in an area of vital importance to UK security and economic development. The methodology has attracted significant research funding in collaborative programmes with industry.
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).
Building on excellent computer science research, carried out in a number of applied research centres, the University has taken a leading role in the establishment and development of the software sector in the North East. This has resulted in a regional strategic approach, which has delivered significant social and economic benefits, with impacts including the creation of jobs, SME growth, cluster establishment and inward investment. Sunderland's applied computing research has also resulted in an increase in innovation and research in software SMEs and has impacted on the perception of Sunderland as the heart of a regional software cluster.
Research at the University of Portsmouth (UoP) has created new user-friendly control, navigation and communication systems for powered-wheelchairs that have made a significant and positive impact on the lives of users. These have given many disabled children and adults an opportunity for independent mobility, some for the first time.
The systems have been used in six special schools and institutions (including RNIB and NHS) and many private homes. Economic impact in reducing the need for carers alone has been estimated at more than £250,000 p.a and the devices have also changed some professional services.
A team led by a Manchester Metropolitan University researcher developed the PROBE (Project Review, Objective Evaluation) methodology for evaluating healthcare information technology systems. This became a core part of the National Health Service (NHS) information strategy; in 1996, PROBE was accepted by the NHS Executive and HM Treasury as a central method for project review. PROBE has therefore brought significant benefits to clinical users, patients and NHS decision makers. Impacts described here relate to the use of PROBE to evaluate an electronic blood transfusion system. Specifically, through enabling the effective evaluation of the system, decisions by a health authority have been informed by research, clinical practices have improved, and levels of patient safety and confidentiality have risen.
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.
Low-cost wireless solutions beyond the technologies available previously and developed at Loughborough University since 2005 are used by IDC, and Sure, who integrate these technologies in several products and services so generating impacts in terms of:
The technologies have been deployed in a logistics distribution centre (ToysRUs), an automotive manufacturing process (Toyota), and a safety and security system (Sure).
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 undertaken between 2002 and 2012 at Birkbeck has helped establish a participatory approach to cyber-physical computing as the predominant methodology for the construction of mobile and pervasive computing systems. Cyber-physical systems intimately interlink material entities and their information representations as existing on the Internet. Our specific research contributions in systems architecture, privacy protection and human dynamics have demonstrated how the user's activity can be exploited as the core ingredient in building such systems. Our research has resulted in the implementation of applications that are used to monitor biodiversity across the globe, to assess and support Parkinson's disease patients in the UK, to improve the well-being of office workers in London, to engage the public in a debate about the costs and benefits of pervasive computing, and to inform legislatures in the UK and the US.