Activity 12: Define time constraints
A few constraints on time and data are added to interface IUser.
See the user guide on timing constraints. |
-
Write two time constraint for the following requirements:
-
the reply of a command to return money occurs between 1000.0 ms and 5000.0 ms
-
when an OrderProduct leads to a delivered product, the reply occurs within 3.0 ms
-
-
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.
-
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.