SysML - Stateflow Capabilities

SysML to Stateflow Generation

SysML State Machine -> Stateflow State Chart

1. Open Syndeia Stateflow Examples model. We will demonstrate the Syndeia Stateflow interface using the ThreeStates State Machine in the Three State Model package shown below.

1. Launch Syndeia Dashboard and expand to view the contents of the ThreeStates state machine in package Three State Model.
2. Drag State Machine from SysML to an empty folder in a Local File System repository (add one in the Repository Manager tab and select on RHS of Connection Manager tab if you have not yet done so) then select ‘Yes’ to generate a Simulink model containing a Stateflow State Chart.

1. Expand newly-created Simulink Model to view new Stateflow State Chart and its contents

1. Right-Click > Open to view the Simulink Model

1. Double-click the state chart in the model after it opens to view states and transitions

1. Arrange the states and transitions and add any state or transition actions from here. Later versions of Syndeia will begin to automate transfer of this additional information.

SysML-Stateflow Compare

SysML State Machine - Stateflow State Chart

1. Start with connected ThreeStates SysML & Stateflow models from previous tutorial
2. View the connection in the Connection Browser (right-click > Refresh, Expand)
3. Right-click > Compare SysML & Target and click ‘Yes’ to compare
4. Everything should be in sync and green as shown:

SysML to Stateflow Change, Compare, and Sync

SysML State Machine -> Stateflow State Chart

1. Begin with connected/in sync models (from previous tutorials) & modify SysML State Machine as shown below

1. Compare SysML & Target again, then sync SysML -> Target

1. Reopen Simulink/Stateflow model, note the changes that were made, & rearrange if desired
2. Compare to see models back in sync
3. Arrange and then modify connected Stateflow Chart in Simulink model

1. Save Simulink model and compare again.
2. Sync Target -> SysML is not supported for State machines in Rhapsody for Syndeia 3.1. To remove changes made in Stateflow and/or implement changes made to the state machine in SysML, Sync SysML -> Target.
3. View the changes made to revert Stateflow State Chart to its former state.
4. Compare to see models back in sync

Stateflow To SysML Generation

Stateflow State Chart -> SysML State Machine generation is not supported for Rhapsody in Syndeia 3.1