Incremental Lifecycle Assurance of Critical Systems (2015)
October 2015 • Presentation
This 2015 Research Review presentation explores the author's research into ways to improve critical system assurance.
Software Engineering Institute
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