Software Producibility Initiative
Abstract
The Software Producibility Initiative seeks to improve the Department of Defense’s (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 collaborators and performers include the U.S. Army Aviation and Missile Research Development and Engineering Center (AMRDEC) and the Air Force Research Laboratory (AFRL), as well as academia and industry.
Document Details
- Document Type
- Accomplishment
- Publication Date
- Oct 01, 2016
- Source ID
- 79c4e2edf56f37ffe12444a3383263b6