Incremental Lifecycle Assurance of Critical Systems (2015)
• Presentation
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 costs through virtual integration and verification automation.
Part of a Collection
SEI 2015 Research Review Artifacts