Exploring A Verification Complexity Framework

Sukhwan Jung; Alejandro Salado

doi:10.65351/hsi24.013

Abstract

While system complexity is considered an integral piece of information throughout the system development life cycle, the complexity of the verification is given comparatively lower focus in the field of systems engineering. There is no domain-wide consensus on the definition of verification complexity, resulting in disputed complexity measures or lack thereof. Verification is a pervasive task throughout the system development; its insufficient measurement is detrimental to both the system engineers and users. We propose the Verification Complexity Framework as a formal definition of verification complexity. A cube-shaped framework is proposed to cover both static and dynamic complexity through the time axis and the hierarchical complexity layers, covering from external effects to the verification structures. Its modular design allows the framework to be nested to mimic information flow between verification at multiple integration levels. This framework provides a common vocabulary for verification complexity, where both its definition and measurements can be discussed.

View the INCOSE record

Download the paper

Citation

BibTeX citation:

@inproceedings{jung2024,
  author = {Jung, Sukhwan and Salado, Alejandro},
  editor = {Masson, Dimitri},
  publisher = {INCOSE},
  title = {Exploring {A} {Verification} {Complexity} {Framework}},
  booktitle = {Proceedings International Conference on Human Systems
    Integration},
  volume = {3},
  date = {2024-08-29},
  url = {https://hsi-wg.github.io/conferences/HSI2024/proceedings/exploring-a-verification-complexity-framework.html},
  doi = {10.65351/hsi24.013},
  langid = {en},
  abstract = {While system complexity is considered an integral piece of
    information throughout the system development life cycle, the
    complexity of the verification is given comparatively lower focus in
    the field of systems engineering. There is no domain-wide consensus
    on the definition of verification complexity, resulting in disputed
    complexity measures or lack thereof. Verification is a pervasive
    task throughout the system development; its insufficient measurement
    is detrimental to both the system engineers and users. We propose
    the Verification Complexity Framework as a formal definition of
    verification complexity. A cube-shaped framework is proposed to
    cover both static and dynamic complexity through the time axis and
    the hierarchical complexity layers, covering from external effects
    to the verification structures. Its modular design allows the
    framework to be nested to mimic information flow between
    verification at multiple integration levels. This framework provides
    a common vocabulary for verification complexity, where both its
    definition and measurements can be discussed.}
}

For attribution, please cite this work as:

Jung, Sukhwan, and Alejandro Salado. 2024. “Exploring A Verification Complexity Framework.” In Proceedings International Conference on Human Systems Integration, edited by Dimitri Masson. Vol. 3. INCOSE. https://doi.org/10.65351/hsi24.013.