skip to main content
10.1145/1276958.1277182acmconferencesArticle/Chapter ViewAbstractPublication PagesgeccoConference Proceedingsconference-collections
Article

Optimizing the V&V process for critical systems

Published: 07 July 2007 Publication History

Abstract

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.

References

[1]
Cornford, S.L., Dunphy, J. and Feather, M.S. "Optimizing the Design of end-to-end Spacecraft Systems using risk as a currency," IEEE Aerospace Conference, Big Sky, MT, March 2002.
[2]
Feather, M.S., Cornford, S.L., Hicks, K.A., and Johnson, K.R. "Applications of tool support for risk--informed requirements reasoning", Computer Systems Science and Engineering, 20(1): 5--17, January 2005.
[3]
Richardson, J. D. C., Port, D. and Feather, M.S. "Exploring the Robustness of Risk Reduction Strategies," IEEE Aerospace Conference, Big Sky, MT, March 2007.

Cited By

View all

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
GECCO '07: Proceedings of the 9th annual conference on Genetic and evolutionary computation
July 2007
2313 pages
ISBN:9781595936974
DOI:10.1145/1276958

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 07 July 2007

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. clustering
  2. genetic algorithms
  3. simulated annealing

Qualifiers

  • Article

Conference

GECCO07
Sponsor:

Acceptance Rates

GECCO '07 Paper Acceptance Rate 266 of 577 submissions, 46%;
Overall Acceptance Rate 1,669 of 4,410 submissions, 38%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)4
  • Downloads (Last 6 weeks)0
Reflects downloads up to 16 Feb 2025

Other Metrics

Citations

Cited By

View all

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media