TY - GEN
T1 - Is verifying frequently an optimal strategy? A belief-based model of verification
AU - Kulkarni, Aditya U.
AU - Salado, Alejandro
AU - Wernz, Christian
AU - Xu, Peng
N1 - Funding Information:
This material is based upon work supported by the National Science Foundation under Grant No. CMMI-1762883 and CMMI-1762336.
Publisher Copyright:
Copyright © 2020 ASME
PY - 2020
Y1 - 2020
N2 - Verification activities increase an engineering team’s confidence in its system design meeting system requirements, which in turn are derived from stakeholder needs. Conventional wisdom suggests that the system design should be verified frequently to minimize the cost of rework as the system design matures. However, this strategy is based more on experience of engineers than on a theoretical foundation. In this paper, we develop a belief-based model of verification of system design, using a single system requirement as an abstraction, to determine the conditions under which it is cost effective for an organization to verify frequently. We study the model for a broad set of growth rates in verification setup and rework costs. Our results show that verifying a system design frequently is not always an optimal verification strategy. Instead, it is only an optimal strategy when the costs of reworking a faulty design increase at a certain rate as the design matures.
AB - Verification activities increase an engineering team’s confidence in its system design meeting system requirements, which in turn are derived from stakeholder needs. Conventional wisdom suggests that the system design should be verified frequently to minimize the cost of rework as the system design matures. However, this strategy is based more on experience of engineers than on a theoretical foundation. In this paper, we develop a belief-based model of verification of system design, using a single system requirement as an abstraction, to determine the conditions under which it is cost effective for an organization to verify frequently. We study the model for a broad set of growth rates in verification setup and rework costs. Our results show that verifying a system design frequently is not always an optimal verification strategy. Instead, it is only an optimal strategy when the costs of reworking a faulty design increase at a certain rate as the design matures.
KW - Belief-based modeling
KW - System verification
UR - http://www.scopus.com/inward/record.url?scp=85095983074&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85095983074&partnerID=8YFLogxK
U2 - 10.1115/DETC2020-22582
DO - 10.1115/DETC2020-22582
M3 - Conference contribution
AN - SCOPUS:85095983074
T3 - Proceedings of the ASME Design Engineering Technical Conference
BT - 40th Computers and Information in Engineering Conference (CIE)
PB - American Society of Mechanical Engineers (ASME)
T2 - ASME 2020 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, IDETC-CIE 2020
Y2 - 17 August 2020 through 19 August 2020
ER -