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 …

A Review of a Mathematical Definition of a System

There have been a number of attempts at generating a mathematical definition of a system, dating back to at least Ludwig von Bertalanffy’s now classic book, General System Theory, published in 1968. The systems engineering community would benefit greatly from such a definition, which would define a system precisely in …