SOFTWARE PRODUCIBILITY INITIATIVE
Abstract
The Software Producibility Initiative seeks to improve the DoD’s ability to design, build, test, and sustain software-intensive systems which meet mission critical requirements, exhibit predictable behavior, and enable evolution and interoperability. Technology thrust areas include specification of complex requirements; “correct-by-construction” software development; scalable composition; high-confidence software and middleware; system architectures for network-centric environments; technologies for system visualization, testing, verification, and validation; model-driven development approaches; timing techniques for real-time embedded-systems; static and run-time analysis of software; design tools and development environments; and secure and efficient coding practices. Major performers include the Space and Naval Warfare Center (SPAWAR), Naval Research Laboratory (NRL), and the Air Force Research Laboratory (AFRL), as well as academia and industry.
Document Details
- Document Type
- Accomplishment
- Publication Date
- Oct 01, 2014
- Source ID
- cc3ae1a29e3547cd44bd37b4dc4748c3