wizzard

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"

https://www.fbo.gov/index?s=opportunity&mode=form&id=61f6223b1e9a85a0fc35d338d54621b6&tab=core&_cview=0