SEI Applied Research in the Area of Software Engineering, Systems Verification and Validation, and Mission Assurance
Abstract
Increasingly complex and AI-enabled systems will require a commensurate increase in sophistication of verification and validation mechanisms. 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, including AI-enabled systems, in untested environments.
Document Details
- Document Type
- Accomplishment
- Publication Date
- Oct 01, 2025
- Source ID
- e1e6a082edf404227980e512480c35a4