Activity 12: Define time constraints

A few constraints on time and data are added to interface IUser.

See the user guide on timing constraints.

  1. Write two time constraint for the following requirements:

    1. the reply of a command to return money occurs between 1000.0 ms and 5000.0 ms

    2. when an OrderProduct leads to a delivered product, the reply occurs within 3.0 ms

  2. Use the GUI to create a .event file where a coin is inserted many times and money is returned frequently. Similarly, construct a .events file where products are delivered several times.

  3. Run the monitoring and inspect the results in file dashboard.html in folder comma-gen. Note that violations of time constraints lead to warnings and the dashboard also contains statistical information.