Optimizing the V&V process for critical systems
暂无分享,去创建一个
In the design of critical systems and software, validation and verification (V&V) that requirements are met is a crucial activity. Since budgets are limited, it is not possible to perform all of the possible V&V activities; a subset must be chosen that maximizes the chances of mission success by reducing risk while meeting budget constraints. By explicitly modeling the contributions that various V&V activities make to reducing risks, and the costs of these activities, we are able to convert this to a classical optimization problem. We then use search, clustering and visualization algorithms to examine the large space of options.
[1] Martin S. Feather,et al. Applicatiuons of tool support for risk-informed requirements reasoning , 2005, Comput. Syst. Sci. Eng..
[2] Martin S. Feather,et al. Optimizing the design of end-to-end spacecraft systems using risk as a currency , 2002, Proceedings, IEEE Aerospace Conference.
[3] Julian D. C. Richardson. Exploring the Robustness of Risk Reduction Strategies , 2006 .