Show simple item record

dc.contributor.authorXu, Peng
dc.contributor.authorSalado, Alejandro
dc.date.accessioned2021-12-08T21:59:08Z
dc.date.available2021-12-08T21:59:08Z
dc.date.issued2021-11-19
dc.identifier.citationXu, P., & Salado, A. (2021). Modeling correction activities in the context of verification strategies. Systems Engineering.en_US
dc.identifier.issn1098-1241
dc.identifier.doi10.1002/sys.21609
dc.identifier.urihttp://hdl.handle.net/10150/662470
dc.description.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.en_US
dc.description.sponsorshipNational Science Foundationen_US
dc.language.isoenen_US
dc.publisherWileyen_US
dc.rights© 2021 Wiley Periodicals LLC.en_US
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/en_US
dc.subjectBayesian networken_US
dc.subjectcausal interactionen_US
dc.subjectredesignen_US
dc.subjectrepairen_US
dc.subjectreworken_US
dc.subjectsystem verificationen_US
dc.subjectuncertain evidenceen_US
dc.subjectverification planningen_US
dc.titleModeling correction activities in the context of verification strategiesen_US
dc.typeArticleen_US
dc.identifier.eissn1520-6858
dc.contributor.departmentDepartment of Systems and Industrial Engineering, The University of Arizonaen_US
dc.identifier.journalSystems Engineeringen_US
dc.description.note12 month embargo; published online: 19 November 2021en_US
dc.description.collectioninformationThis 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.en_US
dc.eprint.versionFinal accepted manuscripten_US
dc.identifier.pii10.1002/sys.21609
dc.source.journaltitleSystems Engineering


Files in this item

Thumbnail
Name:
CorrectionActivity.pdf
Size:
1.317Mb
Format:
PDF
Description:
Final Accepted Manuscript

This item appears in the following Collection(s)

Show simple item record