MODELING SYSTEM REQUIREMENTS
STIMULUS provides textual language templates that support common industry practices for writing real-time system requirements. You can easily produce standardized requirements and share a clear understanding of specifications.
STIMULUS expresses requirements using sentence templates, such as When or During,
or even user-defined templates that fit domain-specific needs
DEBUG AND TEST REQUIREMENTS
With STIMULUS, you can simulate system requirements against test scenarios and find specifications errors before the design phase, adopting an effective requirement- and test-driven development process.
During simulation, STIMULUS generates many execution traces that satisfy system requirements and provides powerful debugging features to analyze simulation results: automatic detection of conflicting, missing or incomplete requirements, highlight of active requirements, signal monitoring, etc.
STIMULUS can generate many simulation traces that correspond to different possible executions of the specified system.
When a conflict is detected by STIMULUS, simulation stops and conflicting requirements are automatically highlighted.
Once the code has been developed, STIMULUS can check its compliance to the textual requirements. Using block diagrams, you can build a test environment where requirements are turned into test observers, or oracles.
You can then generate and run numerous test vectors automatically and measure functional coverage of your test campaign. Both test vectors and test observers can be exported to your favorite SIL environment.
STIMULUS can import any kind of external code as a black-box system-under-test.
This code can then be simulated and validated against textual requirements.
You can also export generated test vectors and requirements observers in your favorite simulation or test environment :
- STIMULUS test scenarios are used to generate numerous tests cases, exported as .csv files, and used as inputs for your system under test.
- STIMULUS requirements are translated into C code, and are used as observers to check that the system under test complies with its specification.
If it is based on SCADE®, the system design can be easily validated against the STIMULUS requirements by generating SCADE TEST scenarios as .sss files and C observers to be embedded inside SCADE imported blocks.
- ARGOSIM exhibits at MATLAB EXPO in Paris April 24, 2017
- Argosim and CORYS co-exhibit at SimTech 2017 March 10, 2017
- ARGOSIM has partnered with SOGETI High Tech February 6, 2017
- ARGOSIM is releasing STIMULUS 2017 January 31, 2017
- ARGOSIM exhibits at ANSYS Dimensions Conference in Paris November 1, 2016
- ARGOSIM exhibits at London Space Week October 10, 2016