Tags:Knowledge Graphs, Modelling, Verification and Verification Complexity
Abstract:
While verification is an integral process of systems engineering, there is no consensus on measures for a full-scale verification complexity and what it represents. Verification engineers can rely on their implicit expertise to determine relative complexity differences, but this is resource intensive and scales badly with large systems. This research aims to define the verification complexity in an explicit and mathematical manner, suggest relevant measures, and propose indicators for verification complexity. Data gathering and experiment design have been finished with varying sizes and interconnections. Background research is being conducted on the verification complexity definition and relevant measures. Once finished, machine learning models will be trained on the measures with the proposed definition as a dependent variable. The trained model will then be analyzed to deter-mine accurate, explicit indicators of verification complexity. These are expected to aid more accurate information propagation between system stakeholders, especially engineers, reducing system development costs.
Verification Complexity: Definitions, Measurements, and Indicators