Activity 15: Define additional component constraints

  • Define a functional constraint for the vending machine component which expresses that each Reset on the service port is followed by a ResetCoinChecker on the coin check port.

  • Define a time constraint (after heading timing constraints) which expresses that a CoinCheckerProblem notification on the coin check port is followed by an OutOfOrder notification on the service port within 2 ms.

  • Run monitoring and inspect the results.