MBSE with Genesys 093022

Introducing the Kill Branch In a concurrency construct, any number of branches may be set as “kill branches”

When a kill branch completes processing, it terminates the concurrency construct and passes control to the next function or construct after the concurrency When our system process completes, we have successfully completed and want to terminate 1. Select the “System” branch 2. Right ‐ click and select Toggle Kill Status from the context menu (note the “kill” label beneath the branch to denote the status) 3. Reset and Run the simulator

453

Confirming the Corrected System Behavior

454

MBSE with GENESYS