SEI Applied Research in the Area of Software Engineering, Systems Verification and Validation, and Mission Assurance (formerly Mission Assurance)
Abstract
This thrust seeks to develop verification techniques for requirements identification, systems of systems architectures, and virtual integration of components. Additionally, research in this area will enable requirements verification for software assurance, analysis and control of unverified code, and automated repair of damaged code. Software production and code analysis methods developed through this program will also improve the accuracy of behavior prediction of complex software system in untested environments. Increasingly numerous lines of code will require a commensurate increase in sophistication of verification and validation mechanisms.
Document Details
- Document Type
- Accomplishment
- Publication Date
- Oct 01, 2019
- Source ID
- f01229335a7cb03422d2dcafb6838fec