Activity 10: Check the specified interfaces by monitoring

  • Extend the project file VendingMachine.prj with an import of IUser.interface. Add a monitoring task for the IUser interface.

  • Use the GUI to generate .event files using commands from all interfaces.

  • Apply monitoring to check all .event files. Inspect the coverage, the monitoring results and improve models when needed.