At specification phase, STIMULUS enables system architects to simulate requirements and to detect ambiguous, incorrect, missing, or conflicting requirements before the design begins, thus creating the high-quality specifications needed for the validation of safety-critical embedded systems.
Development teams spend less time redefining requirements, rewriting, and re-debugging code, resulting in fewer development iterations needed to achieve quality results.
At validation phase, STIMULUS also enables test engineers to generate test vectors and test objectives automatically and to check that your embedded code complies with its specification.
Testing teams no longer write nor maintain test cases that are manually derived from the requirements. Instead, they reuse work done by system architects to build highly flexible test campaigns, allowing to adopt effective agile methods.
Key Benefits
- Achieve early requirements validation
- Share clear and observable requirements among engineers
- Maximise functional coverage of test campaigns
- Reduce costly iterations of the development process
Key Features
- Express textual requirements in a readable formal language
- Model state machines and system architectures
- Observe possible executions of the specified system
- Generate numerous test cases automatically
This video explains how STIMULUS drastically improves Model-Based Systems Engineering with Requirements-In-the-Loop simulation, from the early validation of functional requirements during the specification phase to the automatic generation of test vectors and test observers for automating the system functional tests.
