Building Resource Adaptive Software from Specifications (BRASS)
Abstract
The Building Resource-Adaptive Software from Specifications (BRASS) program seeks to build an automated framework that permits software systems to seamlessly adapt to changing resource conditions in an evolving operational environment. Effective adaptation is realized through rigorously defined specifications that capture application resource assumptions and resource guarantees made by the environment. Currently, the processes by which applications adapt to environment change via corrective patches is time-consuming, error-prone, and expensive. Predicting the myriad of possible environment changes that an application may encounter in its lifetime is problematic, and existing reactive approaches are brittle and often incorrect. The use of specification-based adaptation will allow BRASS applications to be correctly restructured in real time whenever stated assumptions or guarantees break. This restructuring is optimized to trade off execution fidelity and functionality for continued operation. BRASS will create tools to automatically discover and monitor resource changes, build new analyses to infer deep resource-based specifications, and implement compiler and runtime transformations that can efficiently adapt to resource changes. BRASS will expand on research encountered in the Mining and Understanding Software Enclaves program.
Document Details
- Document Type
- Accomplishment
- Publication Date
- Oct 01, 2016
- Source ID
- e0af3a1c693eb49da68d4274b5c0d66c