Confirming correct data coupling and control coupling is important because it can uncover issues in the software. It is called out in functional safety standards including DO-178C and ISO 26262. This video demonstrates the principles, using MathWorks Simulink and the LDRA tool suite to do so.