Incremental Lifecycle Assurance of Critical Systems (2015)
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