Modeling correction activities in the context of verification strategies
AffiliationDepartment of Systems and Industrial Engineering, The University of Arizona
MetadataShow full item record
CitationXu, P., & Salado, A. (2021). Modeling correction activities in the context of verification strategies. Systems Engineering.
Rights© 2021 Wiley Periodicals LLC.
Collection InformationThis item from the UA Faculty Publications collection is made available by the University of Arizona with support from the University of Arizona Libraries. If you have questions, please contact us at firstname.lastname@example.org.
AbstractCorrection activities (CAs), which can take the form of redesign, rework, or repair, are essential to system development. Whereas verification activities (VAs) provide information about the state of the system, CAs modify the state of the system to facilitate its correct operation. However, existing approaches to modeling and optimizing verification strategies take a simplistic approach to CAs. Specifically, CAs are modeled as an expected cost to achieve a desired confidence level after a VA has failed and are inherent to such VAs. In this paper, we present a modeling paradigm based on Bayesian networks (BNs) that captures the effects of different types of CAs. This modeling paradigm allows for the integration of verification and correction decisions (CDs) under a common framework. The modeling paradigm is illustrated in the notional case of a communication system.
Note12 month embargo; published online: 19 November 2021
VersionFinal accepted manuscript
SponsorsNational Science Foundation