Extend MBSE with Requirements-In-the-Loop Simulation
STIMULUS is an end-to-end Requirement-based Validation Solution
During the specification phase, STIMULUS enables system architects to simulate requirements and detect ambiguous, incorrect, missing, or conflicting requirements before the design begins. This creates a high-quality specifications needed for the validation of safety-critical embedded systems. As a result, development teams spend less time redefining requirements and de-bugging code, reducing development iterations needed to achieve quality results.
For the validation phase, STIMULUS enables test engineers to generate test vectors and test objectives Automatically, and to check that your results comply directly against its specification. Testing teams no longer write nor maintain test cases derived manually from the requirements. Instead, they reuse work done by system architects to build highly flexible test campaigns.
