MBSE with GENESYS Oct 2023

Fixing the Non-certified Customer Behavior 1. In the _Perform Geospatial Library Function activity diagram, select the “Workstation” branch

2. Right ‐ click and select Toggle Kill Status from the context menu (note the “kill” label beneath the branch to denote the status)

519

All Behavior is Preserved!

520

MBSE with GENESYS