Modeling correction activities in the context of verification strategies
Name:
CorrectionActivity.pdf
Size:
1.317Mb
Format:
PDF
Description:
Final Accepted Manuscript
Affiliation
Department of Systems and Industrial Engineering, The University of ArizonaIssue Date
2021-11-19Keywords
Bayesian networkcausal interaction
redesign
repair
rework
system verification
uncertain evidence
verification planning
Metadata
Show full item recordPublisher
WileyCitation
Xu, P., & Salado, A. (2021). Modeling correction activities in the context of verification strategies. Systems Engineering.Journal
Systems EngineeringRights
© 2021 Wiley Periodicals LLC.Collection Information
This 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 repository@u.library.arizona.edu.Abstract
Correction 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.Note
12 month embargo; published online: 19 November 2021ISSN
1098-1241EISSN
1520-6858Version
Final accepted manuscriptSponsors
National Science Foundationae974a485f413a2113503eed53cd6c53
10.1002/sys.21609