Properties of the utility of verification

Alejandro Salado, Hanumanthrao Kannan

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

8 Scopus citations

Abstract

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.

Original languageEnglish (US)
Title of host publication4th IEEE International Symposium on Systems Engineering, ISSE 2018 - Proceedings
PublisherInstitute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)9781538644461
DOIs
StatePublished - Nov 26 2018
Externally publishedYes
Event4th IEEE International Symposium on Systems Engineering, ISSE 2018 - Roma, Italy
Duration: Oct 1 2018Oct 3 2018

Publication series

Name4th IEEE International Symposium on Systems Engineering, ISSE 2018 - Proceedings

Conference

Conference4th IEEE International Symposium on Systems Engineering, ISSE 2018
Country/TerritoryItaly
CityRoma
Period10/1/1810/3/18

Keywords

  • Value-based design
  • Value-driven design
  • Verification

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Hardware and Architecture
  • Control and Systems Engineering
  • Safety, Risk, Reliability and Quality

Fingerprint

Dive into the research topics of 'Properties of the utility of verification'. Together they form a unique fingerprint.

Cite this