Software Producibility
Abstract
This initiative will conduct integrated program of research from basic through dem-val that advances the state-of-the art in produceability of software for DoD systems, particularly those systems characterized by high complexity, need for robustness, information assurance, real-time performance, and physical distribution. Research and transition efforts will pursue technical goals to (1) meet and ensure mission- critical requirements; (2) control complexities; (3) enable system evolution; (4) ensure seamless interoperability; and (5) model behavior and performance. Invest in promising software technologies involving (1) specification of complex requirements; (2) correct-by-construction software development; (3) composable and customizable frameworks; (4) high- confidence system software and middleware; (5) system architectures for network-centric environments; (6) technologies for testing, verification, and validation, and (7) modeling and metrics. Additionally, software and systems development researchers would serve as experts to advise ongoing acquisition programs.
Document Details
- Document Type
- Accomplishment
- Publication Date
- Oct 01, 2011
- Source ID
- 71b465b554d67c67e19a568b6482e0f5