Case Study

Constrained Random Verification of Cyber Physical Software

About the Customer

Under an InnovateUK grant, T&VS has partnered with Thales Group UK to research into application of Constrained Random Verification of a simulation of their maritime Cyber Physical Software.

Thales UK are global leaders in Aerospace, Defence, Security and Transportation technology services and solutions. They are known for research, development and manufacturing in different segments.

Scope of Work

To integrate Advanced Hardware Verification techniques (constrained random, functional coverage and automated checks using assertions) with a MOOS based maritime software simulation of the Thales maritime Cyber Physical Software.

T&VS Solution

T&VS integrated our libraries for Advanced Hardware Verification Techniques (see here for details) with the MOOS simulator to generate different constrained random scenarios (such as speed, direction, kind of vehicles, navigational pattern, drag, collision, etc)for other maritime objects co-existing in the MOOS simulation with the Thales software under test.

T&VS used Functional Coverage and assertions (again using T&VS libraries) to understand what scenarios were actually tested and to check the software under test was behaving as expected.

Customer Benefits

Automated extensible test framework that can execute multiple constrained random tests in parallel without any human interaction that is able to test the increased test input space for Cyber Physical Software.

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