In 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.
“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
- Slides: Training on “Advanced Verification Techniques” used in the first meeting
- Slides : “Functional Coverage” and assertions from the first meeting
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
For additional information on the project please contact Dr. Mike Bartley (T&VS Founder and CEO) at: [email protected]estandverification.com