An evaluation of the optimality of frequent verification for vertically integrated systems
An evaluation of the optimality of frequent verification for vertically integrated systems
复制标题
垂直集成系统频繁验证的最优性评估
DOI：
10.1002/sys.21564
复制
发表时间：
2020
影响因子：
2
通讯作者：
Wernz, Christian
中科院分区：
文献类型：
--
作者：
Kulkarni, Aditya U.;Salado, Alejandro;Xu, Peng;Wernz, Christian
验证活动，如检查、测试、分析和演示，提高了一个人在开发过程中对满足系统要求的系统的信心。频繁验证通常被认为是一种将整个设计过程中的返工成本降至最低的策略，其中频繁验证涉及在设计中的任何更改后进行验证。然而，这一策略还有待验证。在这篇文章中，我们发展了一个基于信念的系统设计验证模型，以确定在什么条件下频繁验证是垂直集成组织的最优策略。我们的模型使用信念分布来捕捉组织在系统设计中的动态信心，以满足开发过程中感兴趣的需求。它还根据过去的验证活动和当前的系统成熟度，捕获组织对其开发活动(或设计过程)正确性的动态信心。对我们模型的分析表明，只有当组织高度信任其设计活动的正确性，并且在整个开发过程中返工错误设计的预期成本大于建立验证活动的成本时，对于满足需求的任何水平的信念来说，频繁验证是一种成本最小化策略。否则，不频繁验证的策略会更好。我们的工作有助于增加关于系统工程和工程设计的理论基础的文献，并试图为实践者提供一种确定最佳核查策略的手段。
Verification activities, such as inspection, testing, analysis, and demonstration, improve one's confidence in the system meeting the system requirements during the development process. Frequent verification is often advocated as a strategy that minimizes costs of rework over the entire design process, where frequent verification involves verifying after any change in the design. However, this strategy is yet to be validated. In this paper, we develop a belief‐based model of verification in systems design to determine the conditions under which frequent verification is an optimal strategy for a vertically integrated organization. Our model uses belief distributions to capture the organization's dynamic confidence in the system design meeting a requirement of interest during the development process. It also captures the organization's dynamic confidence in the correctness of its development activities (or design process) as a function of past verification activities and current system maturity. The analysis of our model shows that frequent verification is a cost‐minimizing strategy for any level of belief in satisfying the requirement only when the organization has high confidence in the correctness of its design activities and the expected cost to rework a faulty design is greater than the costs to set up the verification activities throughout the development process. Otherwise, strategies with infrequent verification are superior. Our work contributes to the growing body of literature on the theoretical foundations of systems engineering and engineering design and seeks to provide practitioners with a means to determine optimal verification strategies.
登录
查看更多内容
DOI：
10.1109/syseng.2018.8544446
发表时间：
2018
期刊：
2018 IEEE International Systems Engineering Symposium (ISSE)
影响因子：
--
作者：
A. Salado;Hanumanthrao Kannan
通讯作者：
Hanumanthrao Kannan
影响因子：
2
作者：
S. Nagano
通讯作者：
S. Nagano
DOI：
10.1002/j.2334-5837.2019.00608.x
发表时间：
2019
期刊：
INCOSE International Symposium
影响因子：
--
作者：
Peng Xu;A. Salado
通讯作者：
A. Salado
DOI：
10.1002/j.2334-5837.1999.tb00284.x
发表时间：
1999
期刊：
INCOSE International Symposium
影响因子：
--
作者：
J. Lake
通讯作者：
J. Lake
基于可靠性的设计优化中的认知不确定性
DOI：
10.1109/rams.2012.6175496
发表时间：
2012
期刊：
2012 Proceedings Annual Reliability and Maintainability Symposium
影响因子：
--
作者：
Xiaotian Zhuang;R. Pan
通讯作者：
R. Pan