Is verifying frequently an optimal strategy? A belief-based model of verification

Aditya U. Kulkarni, Alejandro Salado, Christian Wernz, Peng Xu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Scopus citations

Abstract

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.

Original languageEnglish (US)
Title of host publication40th Computers and Information in Engineering Conference (CIE)
PublisherAmerican Society of Mechanical Engineers (ASME)
ISBN (Electronic)9780791883983
DOIs
StatePublished - 2020
Externally publishedYes
EventASME 2020 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, IDETC-CIE 2020 - Virtual, Online
Duration: Aug 17 2020Aug 19 2020

Publication series

NameProceedings of the ASME Design Engineering Technical Conference
Volume9

Conference

ConferenceASME 2020 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, IDETC-CIE 2020
CityVirtual, Online
Period8/17/208/19/20

Keywords

  • Belief-based modeling
  • System verification

ASJC Scopus subject areas

  • Mechanical Engineering
  • Computer Graphics and Computer-Aided Design
  • Computer Science Applications
  • Modeling and Simulation

Fingerprint

Dive into the research topics of 'Is verifying frequently an optimal strategy? A belief-based model of verification'. Together they form a unique fingerprint.

Cite this