From requirements to model and software validation
This video explains how STIMULUS can improve the validation process, from the simulation of requirements at the specification level to the automatic generation of test vectors and test observers, enabling to validate your system model and code against its reference textual specification.
STIMULUS In Action
How to find conflicting requirements ?
Discover how STIMULUS automatically detect conficts between requirements at simulation time and how to it helps the user to identify the cause of the conflict. This video also shows how simulation helps to detect and fix faulty requirements when no conflict occurs.
How to find missing requirements ? (STIMULUS 2017 new feature!)
Discover how STIMULUS helps you identify the situations where some requirements are missing. STIMULUS highlights the periods of time where some behaviours are not specified, so you can complete your specification until you are satisfied with the specified system behaviour.
How to test your system against requirements ?
Discover how STIMULUS enables to test the actual design against its requirements. It shows how scenarios are used to generate numerous test vectors and how requirements are directly used as test objectives to check that your system meets its specification.
How to measure requirements coverage (STIMULUS 2017 new feature)
Discover how STIMULUS enables you to measure the functional coverage of your test campaigns with respect to your system requirements! Using colours and coverage rates, STIMULUS will now indicate which requirements have been activated by some test scenario.
How to compare two versions of the same requirements specification?
How can you assess the impact of a change in a set of requirements? In other words, how do you compare two versions of the same specification? How do you check that no undesired behavior has been introduced? STIMULUS makes such a comparison easy, verifying that the system behaviour, as specified in one version, is equivalent – or not – to the behaviour specified in another version.
Railway example: connection to some external HMI
This video demonstrates the use of STIMULUS to specify the ground signaling system and the board emergency brake system. It also illustrates a connection to some external HMI that supports the generation of many different graphical tracks to be explored during a test campaign.
Avionics example : connection to SCADE
This video demonstrates how STIMULUS can be connected to SCADE in order to automatize test campaigns. STIMULUS is used to generate SCADE test vectors in SSS format as well as SCADE requirement observers in C code in order to validate a SCADE design together with its SCADE Display.