Case Study

Software Testing of Cyber Physical Systems

About the 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.

Additional Project Resources

Get in Touch

Find Out More

Contact one of our consultants today to discuss your requirements.
No hard sales, just pertinent questions to understand your needs and to discuss how we may be able to help.

Alternatively contact one of our Local Sales Offices.

Get in Touch