Elemental patterns of verification strategies

Alejandro Salado and Hanumanthrao Kannan

Systems Engineering, 2019, vol. 22, issue 5, 370-388

Abstract: 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.

Date: 2019
References: View references in EconPapers View complete reference list from CitEc
Citations:

Downloads: (external link)
https://doi.org/10.1002/sys.21481

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:wly:syseng:v:22:y:2019:i:5:p:370-388

Access Statistics for this article

More articles in Systems Engineering from John Wiley & Sons
Bibliographic data for series maintained by Wiley Content Delivery ().