Category: Software and Solutions

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 States in GENESYS

In the past few months I’ve been writing about how to model basic SysML concepts of behavior using GENESYS. SysML has three largely separate approaches for modeling behavior: activities, interactions, and states. I’ve covered the modeling of behavior using activities and interactions in August (Modeling SysML Activities in GENESYS) and …

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 …