I am very interested in:
- creating an HMI for my SysML model inside Rhapsody in order to simulate/verify my model
- auto generation of test-cases (sequence diagrams) from SysML model by Rhapsody
- auto verification of my test-cases (sequence diagrams) by Rhapsody, taking into account my SysML model
Is something of these, possible to be done with Rapsody?
Thanks in advance for your time!