This paper proposes a set of seven elemental patterns of verification strategies. These patterns can be useful in modeling verification strategies in a wide range of engineered systems. They form the building blocks under which any verification strategy can be modeled. The patterns lead to a fundamental understanding of the interplay between system parameters and verification activities, as well as an understanding of the mechanisms by which verification evidence builds up. For each pattern, we provide a description and a few examples of its application. A few important theoretical properties of the corresponding set of patterns are discussed, such as belief update, inferential properties, and graph disconnection, as well as some practical guidance to be taken into account when applying them to authentic verification problems. These patterns are intended to be a useful tool for researchers, practitioners, and educators, by formalizing the application of Bayesian networks to verification problems, hence facilitating instruction and communication among verification engineers and with researchers from other domains, particularly statisticians and Bayesian analysts.

The realization of large-scale complex engineered systems is contingent upon satisfaction of the preferences of the stakeholder. With numerous decisions being involved in all the aspects of the system lifecycle, from conception to disposal, it is critical to have an explicit and rigorous representation of stakeholder preferences to be communicated to key personnel in the organizational hierarchy. Past work on stakeholder preference representation and communication in systems engineering has been primarily requirement-driven. More recent value-based approaches still do not offer a rigorous framework on how to represent stakeholder preferences but assume that an overarching value function that can precisely capture stakeholder preferences exists. This article provides a formalism based on modal preference logic to aid in rigorous representation and communication of stakeholder preferences. Formal definitions for the different types of stakeholder preferences encountered in a systems engineering context are provided in addition to multiple theorems that improve the understanding of the relationship between stakeholder preferences and the solution space.