MBSE with GENESYS 12 31 2023

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

457

Confirming the Corrected System Behavior

458

MBSE with GENESYS