Client: Thales Optronics Limited
Contract: BGTI Safety Case
Provided evidence to support the software safety case for the BGTI Navigation, Guidance, and Targeting software. This involved scrutinising the design, and generating test cases that proved that the software provided the mitigation identified by a fault tree analysis.