DARPA is soliciting innovative research proposals in the areas of formal methods, program analysis, compiler design, and runtime and virtual machine implementation to realize tools for the construction of long-lived, survivable, and scalable adaptive software systems.
The goal of the BRASS program
is to realize foundational advances in the design and implementation of survivable, long-lived complex software systems that are robust to changes in the resources (logical or physical) provided by their operational environment.
For further details see attached PDF, "DARPA-BAA-15-36 BRASS"