Model-Based Verification Strategies Using SysML and Bayesian Networks

In this chapter, the authors outline an approach to formally model verification strategies using Systems Modeling Language (SysML) in a way that enables the automatic generation of the corresponding Bayesian network. The approach includes the development of a verification metamodel that can be represented as a SysML profile. A notional example is included, in which a CubeSat verification strategy is produced in accordance with the SysML profile and a representative Bayesian network is created. Results from the Bayesian update are presented, and the impact on the SysML model is discussed. Further work will focus on the continued development of this metamodel, the integration of the plug-in to automatically generate the corresponding Bayesian network, and more detailed case studies.