Software Testing of Cyber Physical Systems

About customer:

  • InnovateUK runs competitions around research topics that are important to UK industry.
  • T&VS won a project to research into better methods for testing software that controls Cyber Physical Systems
  • University of Bristol is a partner in the project to research the application of formal methods to the test generation for Cyber Physical Systems
  • End partners in the project are ThalesDyson and SCISYS– they are all developing Cyber Physical Systems for maritime, automotive and robotic applications.

Scope of work:

  • Application of Advanced Hardware Verification Techniques (constrained random, functional coverage and automated checks using assertions) to software testing.

T&VS Solution:

  • T&VS is using our libraries for applying Advanced Hardware Verification Techniques to SystemC designs (see here for details).
  • These are freely available to others wanting to apply Advanced Hardware Verification Techniques to software testing.

Customer Benefits:

  • Innovate UK has gained valuable insights into how tools and services can be brought to market for software testing of Cyber Physical Systems.
  • The end partners have found new techniques for the software testing of Cyber Physical Systems.

For more information: