TY - GEN
T1 - Properties of the utility of verification
AU - Salado, Alejandro
AU - Kannan, Hanumanthrao
N1 - Publisher Copyright:
© 2018 IEEE.
PY - 2018/11/26
Y1 - 2018/11/26
N2 - Verification is an essential aspect of systems engineering. Verification activities provide evidence that the system under development does what it was anticipated to do. In acquisition programs, verification activities provide evidence of contractual fulfilment. In fact, a major financial portion of system development is spent towards designing and executing a verification strategy. However, the design of verification strategies in current practice is often prescribed by standards and driven by good practices and gut feeling. Quantitative approaches to design verification strategies could yield significant improvement to their effectiveness and coverage. Understanding how verification contributes to a system's expected utility is necessary to enable such transformation. This paper presents four key properties of the utility of verification: The meaning of verification from an epistemological standpoint; the representation of verification within a mathematical framework of system development; the coupled nature of the value of verification activities; and the impossibility of objectively valuing verification.
AB - Verification is an essential aspect of systems engineering. Verification activities provide evidence that the system under development does what it was anticipated to do. In acquisition programs, verification activities provide evidence of contractual fulfilment. In fact, a major financial portion of system development is spent towards designing and executing a verification strategy. However, the design of verification strategies in current practice is often prescribed by standards and driven by good practices and gut feeling. Quantitative approaches to design verification strategies could yield significant improvement to their effectiveness and coverage. Understanding how verification contributes to a system's expected utility is necessary to enable such transformation. This paper presents four key properties of the utility of verification: The meaning of verification from an epistemological standpoint; the representation of verification within a mathematical framework of system development; the coupled nature of the value of verification activities; and the impossibility of objectively valuing verification.
KW - Value-based design
KW - Value-driven design
KW - Verification
UR - http://www.scopus.com/inward/record.url?scp=85059977024&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85059977024&partnerID=8YFLogxK
U2 - 10.1109/SysEng.2018.8544446
DO - 10.1109/SysEng.2018.8544446
M3 - Conference contribution
AN - SCOPUS:85059977024
T3 - 4th IEEE International Symposium on Systems Engineering, ISSE 2018 - Proceedings
BT - 4th IEEE International Symposium on Systems Engineering, ISSE 2018 - Proceedings
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 4th IEEE International Symposium on Systems Engineering, ISSE 2018
Y2 - 1 October 2018 through 3 October 2018
ER -