What Makes a Good MBSE Model?

In the world of model-based systems engineering (MBSE), there is still a fair amount of confusion around what makes a good—or even acceptable—MBSE model. George E. P. Box, the English statistician, famously observed, “All models are wrong, but some are useful.” He further clarified that idea with this expansion, “Remember …

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 …