Bristol, UK, 29th June 2016 –T&VS, a leader in the software test and hardware verification domains, will work with the University of Bristol to develop new engineering methods to test software that controls cyber physical systems (CPS) thanks to funding from Innovate UK.
Developers of CPS have recognised that the current Software Verification and Validation techniques will not cope as CPS become increasingly complex. Hardware verification faced a similar issue 20 years ago and developed new verification techniques to overcome this. Those techniques are now widely adopted and hardware developers are able to verify increasingly complex designs so that they reach the market in a timely fashion and are able to function sufficiently for the target market.
T&VS, who are leading the project, will work with the University of Bristol and end user CPS developers – Thales, Dyson and SCISYS – to better understand how to apply those hardware techniques to the verification of software for CPS.
Dr Mike Bartley, CEO and Founder of T&VS, said:“Cyber physical systems will start to touch every part of our life. From robotic vacuum cleaners and online orders delivered by drone, to autonomous cars. Ensuring such systems are fully tested and safe to use can be both expensive and time consuming and consequently potential barrier to market entry. The project will investigate if techniques successfully adopted in hardware design verification can be adapted to work with complex software.”
The involvement of end users Thales, Dyson and SCISYS is a key to the potential success of the project. All three are developing CPS and have identified testing as a major technical challenge. They will be defining requirements for tooling to enable them to deploy the hardware verification concepts to their respective CPS. T&VS will be developing the tools that the end users will trial to test their CPS.
The University of Bristol has recently developed novel model-based test generation techniques to target specific use cases or requirements far more effectively than conventional methods can.How to apply these techniques to complex real-world CPS will be investigated as part of this collaborative project.
Dr Kerstin Eder, Reader in Design Automation and Verification in the Department of Computer Science at the University of Bristol and leader of the verification and validation for safety in robots research theme at the Bristol Robotics Laboratory, added: “Model Based Test Generation techniques can significantly improve verification productivity. Achieving coverage closure faster and in an automated fashion saves engineering effort in practice. This project will enrich the University’s research in various ways: it brings new understanding of practical requirements into the University to drive new research; it provides access to real-world usecases; it helps us foster strong and lasting links to industrial partners that work at the leading edge of autonomous systems engineering and verification tool development. The knowledge and technology transfer in this collaboration is an excellent route to impact for our research.”
Notes to editors:
T&VS (Test and Verification Solutions Ltd) provides services and products to organisations developing complex products in the microelectronics and embedded systems industries. Such organisations use T&VS to verify their hardware and software products, employ industry best practice and manage peaks in development and testing programmes. T&VS’ embedded software testing services includes onsite/offshore testing support including assistance with safety certification and security testing. T&VS hardware verification services include onsite/offshore verification support and training in advanced verification methodologies. T&VS also offers Verification IPs and its own Verification (EDA) signoff tool.
About the University of Bristol
The University of Bristol is one of the most popular and successful universities in the UK. It was ranked within the top 40 universities in the world in the QS World University rankings 2015 and 9th in the country. The University of Bristol is ranked among the top five institutions in the UK for its research, according to new analysis of the Research Excellence Framework (REF) 2014.
Bristol is a member of the Russell Group of UK research-intensive universities, and a member of the Worldwide Universities Network, a grouping of research-led institutions of international standing.
The University was founded in 1876 and was granted its Royal Charter in 1909. It was the first university in England to admit women on the same basis as men.
The University is a major force in the economic, social and cultural life of Bristol and the region, but is also a significant player on the world stage. It has over 16,000 undergraduates and nearly 6,000 postgraduate students from more than 100 countries, and its research links span the globe.
Twelve Bristol graduates and members of staff have been awarded Nobel Prizes, including Sir Winston Churchill who was Chancellor of the University of Bristol from 1929 until 1965.
About Bristol Robotics Laboratory (BRL)
Bristol Robotics Laboratory is the leading and largest academic centre for multi-disciplinary robotics research in the UK. It is a collaborative partnership between the University of Bristol and the University of the West of England (UWE Bristol), and home to a vibrant community of over 100 academics and industry practitioners, which lead current thinking in service robotics, intelligent autonomous systems, bio-engineering and verification & validation of autonomous systems.
About Innovate UK
Innovate UK is the new name for the Technology Strategy Board – the UK’s innovation agency. Taking a new idea to market is a challenge. Innovate UK funds, supports and connects innovative businesses through a unique mix of people and programmes to accelerate sustainable economic growth.
T&VS Company Contact
Dr. Mike Bartley – T&VS
+44 7796 307958
Dejanira Araiza-Illan, David Western, Anthony Pipe and Kerstin Eder. Coverage-Driven Verification —An Approach to Verify Code for Robots that Directly Interact with Humans. In Hardware and Software: Verification and Testing, pp. 69-84. Lecture Notes in Computer Science 9434. Springer, November 2015. (DOI 10.1007/978-3-319-26287-1_5)
Dejanira Araiza-Illan, David Western, Anthony Pipe and Kerstin Eder. Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions.17th Annual Conference Towards Autonomous Robotic Systems (TAROS 2016), pp. 20-32. Lecture Notes in Artificial Intelligence 9716. Springer, June 2016. (DOI 10.1007/978-3-319-40379-3_3)