Tag: GENESYS

The Importance of Early Verification Planning

We often think about verification as something that is done toward the end of the development phase of a program, which must be concluded just prior to entering the operational phase. While that is true in terms of execution and reporting of the final, formal verification activities, in reality, the …

Modeling SysML Interactions in GENESYS

In last month’s blog, Modeling SysML Activities in GENESYS, I discussed how to model behavior using activity diagrams. What, though, are interactions? Interactions are a UML concept brought over into SysML that can be used as an alternative approach for modeling behavior in SysML. Interactions are distinct from activities and …

Modeling SysML Activities in GENESYS

Modeling behavior in SysML can be painstaking and difficult to communicate to a broad range of stakeholders. Fortunately, GENESYS makes it easy to use SysML constructs in a way that facilitates a comprehensive and consistent behavioral model and makes it easier to discuss with a broad range of stakeholders. What …