Log in
The Airbus company has used OntoREM, a semi-automated methodology developed at UWE Bristol, for developing systems' requirements specifications and improving the quality of such specifications. This has saved Airbus [text removed for publication] cost and time to develop aircraft operability requirements for wing design and industrialisation in two different aircraft programmes — with a significant increase in requirements reusability. It has enabled improved assessment of risk in advance of a project's start through prior estimation of the cost and time of developing requirements. This has allowed reliable forecasts and scheduling, and better management of the expectations of a project's key stakeholders.
This case study demonstrates how research into Object Orientated programming has resulted in a feature-rich e-commerce platform that has transformed the management and operations of a traditional sheet music company (Faber Music) and its expanding business partner network.
Impact includes:
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."
Expertise in mobile and location-aware web applications has underpinned the development of a revolutionary new security alarm system. Collaboration with an SME created, for the first time, a system to alert customers in real-time, via sensor-triggered cameras and phones. The impact of this collaboration has been to transform a UK company from a distributor of hardware to a leading innovator in security. More than £1 million of the company's £1.9 million turnover for 2012 was directly attributed to sales of the new system, now operating at more than 800 sites, providing improved security and cost savings — for example through preventing metal theft — for commercial, transport, ecclesiastical and construction sites across the UK.
The impact of this work stems from the provision of better quality information models, and is manifest via: (a) reduced cost through improved reuse and less rework; (b) improved system interoperability; and (c) enhanced assurance and checking that information requirements are supported by the resultant systems. The approach has been applied in commercial environments, such as Shell (UK), where it has reduced development costs by up to 50% ($1m in one case). It has also been applied in the defence environment, forming a part of underpinning standards currently being implemented by the UK and Swedish Armed Forces.
The spin-out company CSM Ltd. was set up in 1991 to commercially develop Durham research on program transformation. Up until 1999, this company (which in the mid-90's became Durham Software Engineering Ltd. and subsequently Software Migrations Ltd.) and researchers at Durham University developed the FermaT Workbench: an industrial-strength assembler re-engineering workbench for program comprehension, migration and re-engineering. In 1999, Software Migrations Ltd. relocated to St. Albans and now has an extensive list of national and international clients. All its products (software and services) are built on the FermaT Workbench and has generated considerable revenue with this revenue strongly expected to rise steeply in the near future.
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.
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.
This case study demonstrates how the application of GRBOM has been used to deliver a national e-student system. Key impacts include:
Gateway technologies have enhanced the ability of end-users to engage with high-performance computing (HPC) programs on massively distributed computing infrastructures (DCIs) such as clusters, grids and clouds. The technologies are focussed on the needs of business, industry, organisations and communities; enabling them to extract added business and social benefit from custom high-value services running on a wide range of high-performance DCIs. Typically, such services are based on computational workflows tailored to specific business needs. DCIs may comprise resources already owned (eg. clusters) combined with resources rented on a pay-as-you- go basis (eg. clouds). Several companies and organisations worldwide are currently using the technologies.