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
Watch
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