What is End-to-End MBSE ?

Classic MBSE often focuses on the use of SysML where requirements are captured as plain text. Therefore they are not part of the verification nor of the simulation. As they are in plain text, nothing can be generated out of them so each and every test case must be created manually from each and every functional requirement.

STIMULUS brings a new paradigm as it extends the modeling capabilities to also include the functional requirements. 100% of the system behavior can be captured which also means that new test automation possibilities appear: test scenarios can be captured and the STIMULUS constraints solver will use them to generate as many combination of inputs as you like. These test vectors are used to stimulate the specification, but also to stimulate the code later on. STIMULUS will observe the code response and will compare with the behavior defined in the requirements, making the functional test completely automatic. At integration time, Stimulus will analyze the log file generated by the HIL test environment and will compare the integrated system behavior to the requirements enabling tester to detect automatically any violation of any requirement.

Functional Test Automation

The code is stimulated by test vectors that are automatically generated by STIMULUS, the outputs are observed by Stimulus which compares with the expected relationships between inputs and outputs as per the requirements. A huge number of tests can be generated and executed automatically whilst the requirements coverage is tracked by STIMULUS.

Automize your Requirements Simulation > Dassault Systèmes

Simulate and Validate your Requirements > Dassault Systèmes

Simulate and Validate your Functional Requirements

STIMULUS enables system architects to extend the use of SysML models to also include the functional requirements that can, for the first time, be simulated and validated. Many errors such as missing, conflicting and erroneous requirements can be detected and corrected early. Development teams work is made much more effective as they receive clear, complete and validated requirements.

Validation teams do not need to manually derive each functional test case from a functional requirement, With STIMULUS, testing the code or the system against its requirements is 100% automatic, bringing a huge ROI: much more tests are generated and performed with very little efforts.

Hardware-In-the-Loop Tests

STIMULUS supports the test of the integrated system by analyzing automatically the log file test environments produce. The file contains the I/Os that occurred during the tests, STIMULUS will compare with the requirements and will detect automatically any violation of any requirement.

STIMULUS & CATIA Magic

STIMULUS extends the use of models to the detailed behavior which is difficult to capture in SysML. The digital continuity between CATIA Magic and Stimulus is ensured as the SysML architecture (and related signals) can be imported into STIMULUS where the detailed behavior is captured, simulated and validated.