T&VS and University of Bristol to investigate testing of complex Cyber Physical Systems 2016-06-29T12:37:22+00:00

Bristol, UK, 8th June 2016 –T&VS, a leader in the software test and hardware verification domains, willwork with the University of Bristol todevelop new engineering methods to test software that controls cyber physical systems (CPS) thanks to funding from Innovate UK.

UoB Logo_2

Developers of CPS have recognised that the current SoftwareVerification and Validation

techniques will not copeas 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.


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 consequentlya 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 Bristolhas 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. Thisproject 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.”


. . . ENDS


Notes to editors:


Further information about the project can be found here and developers of CPS can contact Mike Bartleyif they would like to get involved.


About TVS

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.


TVS Company Contact

Dr. Mike Bartley – T&VS

+44 7796 307958

[email protected]


Key publications

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)


The T&VS newsletters inform you about industry news, events and information from T&VS. No spam, we promise and it is always easy to unsubscribe.
We never share your information. Read our Privacy Statement
Interested in Formal Verification?
Then why not attend the TVS Formal
Verification Bootcamp training?
The 2-day Formal Verification Bootcamp is for design and verification engineers looking to enhance their knowledge of formal verification and to learn how to write effective assertions to find and fix bugs. The course is a mix of presentations and hands-on development exercises.
Bootcamp Enquiry Form
If you are interested in receiving additional information on the course then simply email Mike Bartley (TVS CEO and Course Leader) by entering your details below.
Interested in SystemC?
FREE SystemC UVM Library Now Available
The TVS SystemC UVM library closely mimics UVM but gives users a license free UVM-based verification environment.
Have your product requirements been successfully tested and implemented?
Find out how asureSIGN can help you implement a successful Requirements Driven Verification and Test Strategy by visiting asureSIGN or enter your details and we will be in touch.
Course Dates and Pricing
To receive additional information, including course dates and pricing, please contact our training team who will be happy to help.
Download Request
Please complete the following form then click 'submit' to access the download.
Presentation Request
Please complete the following form then click 'submit' to gain access to the presentations.
Please complete the following form and then click 'submit' to gain access to the download.
Did you get what you were looking?

Let the testing experts help. We will run a FREE QA assessment which will include our top 5 recommendations to help maximise your testing.