Innovate UK: V&V of Cyber Physical Systems

Cyber Physical SystemsIn March 2016 we announced that T&VS had won a grant from Innovate UK, the UK’s innovation agency , to develop advanced Verification and Validation (V&V) techniques that can cope with the increasing size and complexity of modern Cyber Physical Systems (CPS).  Read the press release.

Subsequently, in June 2016, it was confirmed that T&VS is the project lead and will be working with the University of Bristol and end user CPS developers, including Thales, Dyson and SCISYS, to better understand how to apply today’s proven hardware verification techniques to the verification of software, and specifically to investigate the tooling required for the successful testing of CPS control software.

What Can We Learn from Hardware Verification?

Developers of CPS have recognised that the current techniques for software V&V will not scale as CPS become increasingly complex.  The hardware verification industry faced a similar issue 20 years ago and so developed new verification techniques to overcome them.  These techniques are now widely adopted and developers are now able to verify that the increasingly complex hardware they create will meet its functional requirements quickly and efficiently so that it reaches its target market in a timely fashion.

Mike Bartley Founder & CEO, T&VS

“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 thus a potential barrier to market entry.  This Innovate UK project will investigate if verification techniques successfully adopted in hardware can be adapted to work with complex CPS software.”

Project Blog and Additional Resources

Project Background
The T&VS project is part of the Innovate UK and Defence Science and Technology Laboratory (DSTL) competition for funding that is investing up to £580,000 into ‘Software Verification & Validation for Complex Systems’. The funding is aimed at stimulating innovation throughout the software development lifecycle (SDLC) while focusing on the verification and validation (V&V) of two classes of complex systems: Cyber Physical Systems (CPS) and systems with emergent behaviours.

Innovate UK is the UK’s innovation agency. It works with people, companies and partner organisations to find and drive the science and technology innovations that will grow the UK economy. For further information, visit: www.innovateuk.gov.uk

Contact
For additional information on the project please contact Dr. Mike Bartley (T&VS Founder and CEO) at: [email protected]

2017-05-30T07:44:18+00:00 9th June, 2016|Projects|
T&VS NEWSLETTER SIGN-UP
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.
DOWNLOAD REQUEST
Please complete the following form and then click 'submit' to gain access to the download.
FREE QA ASSESSMENTS
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.