Validation test for the block Buildings.Controls.OBC.CDL.Logical.Proof. The following tests are implemented:
pro tests the case in which
both boolean inputs change simultaneously, and hence both outputs will be
false.
pro2 and pro3 use a different value
for feedbackDelay. They test the case in which
both the inputs change from true to false. However,
after the input u_m changes, the input u_s remains
true for a time that is longer than
feedbackDelay. The output yLocFal will be true.
pro1 and pro4 use a different value
for feedbackDelay. They test the case in which
both the inputs change from true to false. However,
after the input u_s changes, the input u_m remains
true for a time that is longer than
feedbackDelay. The output yLocTru will be true.
pro5 tests the case in which
the measured input u_m does not stabilize during the debounce time,
and hence both outputs will be true.