modelProof

Information

Validation test for the block Buildings.Controls.OBC.CDL.Logical.Proof. The following tests are implemented:

• The instance pro tests the case in which both boolean inputs change simultaneously, and hence both outputs will be false.
• The instances 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.
• The instances 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.
• The instance 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.

Components

Revisions

• March 27, 2023, by Jianjun Hu:
  First implementation.