Constrained Random Verification of Cyber Physical Software
About the Customer
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 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.
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.