Premium
A Concept for Set‐based Design of Verification Strategies
Author(s) -
Xu Peng,
Salado Alejandro
Publication year - 2019
Publication title -
incose international symposium
Language(s) - English
Resource type - Journals
ISSN - 2334-5837
DOI - 10.1002/j.2334-5837.2019.00608.x
Subject(s) - computer science , functional verification , set (abstract data type) , signature (topology) , software engineering , intelligent verification , systems engineering , formal verification , process management , programming language , engineering , software development , software , software construction , geometry , mathematics
In current practice, a verification strategy is defined at the beginning of an acquisition program and is agreed upon by customer and contractor at contract signature. Hence, the resources necessary to execute verification activities at various stages of the system development are allocated and committed at the beginning, when a small amount of knowledge about the system is available. However, contractually committing to a fixed verification strategy at the beginning of an acquisition program fundamentally leads to suboptimal acquisition performance. Essentially, the uncertain nature of system development will make verification activities that were not previously planned necessary, and will make some of the planned ones unnecessary. In order to cope with these challenges, this paper presents an approach to apply set‐based design to the design of verification activities to enable the execution of dynamic contracts for verification strategies, ultimately resulting in more valuable verification strategies than current practice.