Building Resource Adaptive Software from Specifications (BRASS)
Abstract
The Building Resource Adaptive Software from Specifications (BRASS) program is developing an automated framework that permits software systems to seamlessly adapt to changing resource conditions in an evolving operational environment. The current manual adaptation paradigm is based on corrective patching, which 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. Effective adaptation is realized through rigorously defined specifications that capture application resource assumptions and resource guarantees made by the environment. The use of specification-based adaptation will allow BRASS applications to be correctly restructured in real time whenever stated assumptions or guarantees are broken. This restructuring is optimized to trade off execution fidelity and functionality for continuance of operation. BRASS creates 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.
Document Details
- Document Type
- Accomplishment
- Publication Date
- Oct 01, 2021
- Source ID
- 0a71671bd57b798e324e920517dbfebe