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 Thales, Dyson 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 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.
- 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.