The figure below shows a STIMULUS screenshot where a test campaign has been run. The upper-right window gives a quick overview of passed and failed tests, while the bottom window give precise metrics about failed tests and enables the user to rerun failed tests in the standard simulation environment.
Once the code has been developed, STIMULUS can check its compliance with system requirements automatically. Using block diagrams, you can build a test environment where requirements are turned into test observers, and the System Under Test is imported as a DLL using the standard FMI protocol. You can then generate and run numerous test vectors and STIMULUS will check that the behaviour of the System Under Test complies with its specification automatically. During a test campaign, STIMULUS also computes and reports comprehensive metrics about the functional coverage of requirements.