search menu icon-carat-right cmu-wordmark

Incremental Lifecycle Assurance of Critical Systems (2015)

October 2015 Presentation
Peter H. Feiler

This 2015 Research Review presentation explores the author's research into ways to improve critical system assurance.

Publisher:

Software Engineering Institute

Abstract

SEI researchers investigated ways to improve critical system assurance through

  • Improved requirement quality through coverage and managed uncertainty
  • Improved evidence quality through compositional analytical verification
  • Measurably reduced certification related rework cost through virtual integration and verification automation