An end to end Validation Solution for Embedded Systems Requirements
Stimulus is the solution that Dofware proposes for the complete validation of embedded systems based on functional requirements.
Requirements-in-the-Loop simulation ranges from pre-validating functional requirements during the specification phase to automatically generating test vectors and test observers to automate system functional testing.
STIMULUS in the design phase:
Most of the defects are in the Requirements, and are detected very late, generating costly maintenance issues.
In the design phase, STIMULUS simulates functional requirements and immediately detects errors or conflicts before starting the design, to produce correct, complete and consistent specifications.
Development teams can spend less time redefining requirements and rewriting and re-debugging code, reducing the development iterations required to achieve high-quality results.
System specifications executable by the model
STIMULUS simulates the specifications of the entire system using a modeling language that allows system architects to combine formalized textual requirements, state machines and block diagrams in a fully integrated simulation environment.
STIMULUS generates numerous execution traces that meet system specifications and provides powerful debugging functions to analyze requirements simulation results: automatic detection and diagnosis of conflicting and missing requirements, requirements coverage, highlighting of active requirements, monitoring of signals , etc.
STIMULUS in the Validation phase:
Manual creation of test cases that cover every requirement involves a lot of effort with a high risk of failing to detect all bugs and inconsistencies.
STIMULUS allows test teams to automatically generate and run test campaigns and verify that the embedded code conforms to specifications, saving time and resources.
Test the system by verifying the requirements
Stimulus can easily import the tested software as an FMI component or by embedding the user’s C code. Upon integration, it is also possible to import a CSV log file to perform a post-analysis of the real system.
Once the use cases have been defined to test the system, STIMULUS will automatically generate numerous test vectors for each use case in order to optimize the functional coverage of the test campaign.
Early stage requirements validation
Sharing formal, clear and observable requirements
Unambiguous language with executable semantics
Automatic generation of test cases
Maximization of the functional coverage of test campaigns
Reduction of costly iterations in the development process