Constrained Random Verification of Cyber Physical Software

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