Innovate UK V&V of Cyber Physical Systems

By July 17, 2020Projects

Innovate UK: V&V of Cyber Physical Systems

In March 2016 we announced that Tessolve 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 Tessolve 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.

Mike Bartley Founder
& CEO, T&VS

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.

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

Project Background

The Tessolve 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 (Tessolve Founder and CEO) at: mike@testandverification.com

Leave a Reply