Log in
The programming languages and systems group at the University of Kent has built the first comprehensive tools for refactoring functional programs: HaRe for Haskell, Wrangler for Erlang. These tools not only provide a large set of refactorings, they also have facilities for managing code clones and module structure, as well as facilities for users to easily build their own refactorings.
Programmers in both open source and commercial projects use the tools to improve their programming and testing practice, and to restructure existing systems. This improves the quality of software, reducing bugs/problems for end users and cost for companies; it thus puts companies at a competitive advantage and improves best practice in industry. Evidence of take up comes from system downloads, contributions to open source repositories and company testimonials.
Work by Carmona et al has supported the national drive for better design in the built environment, helping to mainstream ideas about the importance of urban design and develop tools for design governance. A major strand of this research has focused on the use and potential of design codes in England, and has been a major contributor to their widespread adoption. As a result, by 2012, some 45% of local authorities and 66% of urban design consultants had used design codes.
As a result of collaborative commissioned research, the lead developers of a major atmospheric research and operational weather forecasting model have changed their approach to quality assuring model source code. Drawing directly on the research findings, the lead developer has taken the decision to adopt a new approach to the correction of inconsistencies and inefficiencies in source code and to alter the software build procedure to be followed by a large model development community. An additional impact, in the form of improved business competiveness, is felt by a British software and consultancy company, which has been able to enhance a key tool used in their quality assurance and platform migration work with a global client base.
Research was undertaken into practical methodologies for integrating disparate engineering design software packages, including techniques for managing data in different formats and package functionality available through varying programming models. There was an emphasis on usability for end users allowing a complex solution to be built without advanced programming experience or technical understanding of the underlying packages. The results were made available through a commercial software package marketed by an SME, successfully contributing to a significant increase in company profile, modified internal working procedures and an expanded portfolio of services available to customers. The final product has only recently appeared on the market, but to good review, promising early sales and projections of significant sales and increased turnover.
Impact: The underpinning research resulted in an innovative Worst-Case Execution time (WCET) analysis technology now called RapiTime, which was transferred to industry via a spin-out company, Rapita Systems Ltd. The technology enables companies in the aerospace and automotive industries to reduce the time and cost required to obtain confidence in the timing correctness of the systems they develop. The RapiTime technology has global reach having been deployed on major aerospace and automotive projects in the UK, Europe, Brazil, India, China, and the USA. Key customers include leading aerospace companies such as: [text removed for publication]; as well as major automotive suppliers: [text removed for publication]. Since 2008, Rapita has won export orders to China worth over [text removed for publication]. From 2008/9 to 2011/12, the company's annual revenues have more than doubled from [text removed for publication] to over [text removed for publication]. As of August 2013, Rapita employs [text removed for publication] people at its offices in York and Cambridge.
The i~design research programme, which has been running in the University of Cambridge Department of Engineering (DoEng) since 2000, sought to understand population diversity in order to better inform design decisions for mainstream everyday products and services. Impact from this programme, since 2008, includes: skills embedded in companies through direct training of over 280 designers and design managers from industry; direct involvement in the improved design of more than 10 new products and services that have gone into production; educational resources for teaching Design and Technology trialled in nine secondary schools; over 800 wearable impairment simulators sold; and extensive web-based guidance, methods and tools for inclusive design accessed in over 170 countries.
In late 2010 Professor Sanderson decided to form the Flux ceramics spin-out company at Staffordshire University in order to exploit a significant market gap he had discovered via his KTP research project for Aynsley China Ltd., Stoke-on-Trent. Flux has been able to exploit the market gap discovered in a way that Aynsley China was unwilling to pursue. Flux has produced cutting edge ceramic tableware design that has been successful in terms of both sales and recognition as a valuable contribution to contemporary tableware design. Flux won the Home and Gardens Design Award in 2012.
The impact relates to improved productivity, operational efficiency, working practice and knowledge management within the European maritime industry through the use of a Virtual Integration Platform (VIP). The platform is a software package developed within the University of Strathclyde that has been used by eleven European ship design, engineering and project management consultancies, which specialise in the application of advanced computational design, analysis and physical modelling techniques within projects on an international scale. Specific company benefits of using the VIP include: 67% reduction in process time; guaranteed data consistency; additional productivity of 15 hours/day from automated over-night operation; capturing and reuse of expertise; cost effectiveness (lack of data consistency typically costs €100k per project); and ease of operation within complex design processes.
"We've currently made a 40 per cent reduction on last year's infection figures ... the commode is definitely part of that", said an Infection Prevention and Control Clinical Nurse Specialist for Scarborough and North East Yorkshire NHS Trust. The commode referred is the result of a joint effort between Brunel University, Kirton Healthcare and PearsonLloyd, in responding to the Design Council's `Design Bugs Out' competition. Designed for thorough cleaning, easy maintenance, and patient dignity, the commode has been widely exhibited in the UK and Europe, and was shortlisted for the BRIT Best Design of the Year (2009) award. Now over 2,000 have been sold to more than 60 hospitals in the UK.
This case study describes the development, application and commercialisation of an open source tool, BSMBench that enables supercomputer vendors and computing centres to benchmark their system's performance. It comprehensively informs the design and testing of new computing architectures well beyond other benchmarking tools on the market, such as Linpack.
The significance of our code is that, unlike other benchmarking tools, it interpolates from a communication- to a computation-dominated regime simply by varying the (physics) parameters in the code, thus providing a perfect benchmark suite to test the response of modern multi-CPU systems along this axis. The impact of this work has great reach: a start-up company, BSMbench Ltd, has been founded to develop and commercialise the software; adopters have included IBM - one of the giants of the supercomputer world (where it uncovered errors in their compilers); it has been deployed by Fujitsu to validate its systems, by HPC Wales, a multi-site, commercially focussed national computer centre and by Transtec, an HPC company employing over 150 staff; and tutorial articles about BSMBench have appeared in magazines such as Linux Format.
This software tool spawned from our research into "Beyond the Standard Model" (BSM) physics which aims to understand the Higgs mechanism in particle physics at a fundamental level. This involved simulating quantum field theories using bespoke code on some of the fastest supercomputers on the planet.