MBSE with Genesys 093022

Analyzing the Behavior of the Geospatial Library Verifying the integrated system behavior

443

Static Representations, Dynamic Systems: The Problem

The systems that we develop are usually dynamic. The system specification should be dynamically consistent and executable at the system level. • Can it be achieved by confirming that the individual subsystems are executable? • No – systems integration experience shows that having a set of individually executable subsystems often fails to result in an executable system when integrated • Can we use simulation of the design? • Yes – but common dynamic verification simulators are not exact representations of the system being specified • If not executable, what happens? • Achievement of dynamic consistency is left to integration and test teams, or • The system fails to meet dynamic needs

444

MBSE with GENESYS