Ensuring the Consistency of Adaptation through Inter- and Intra-Component Dependency Analysis
Abstract
Dynamic adaptation should not leave a software system in an inconsistent state, as it could lead to failure. Prior research has used inter-component dependency models of a system to determine a safe interval for the adaptation of its components, where the most important tradeoff is between disruption in the operations of the system and reachability of safe intervals. This article presents Savasana, which automatically analyzes a software system’s code to extract both inter- and intra-component dependencies. In this way, Savasana is able to obtain more fine-grained models compared to previous approaches. Savasana then uses the detailed models to find safe adaptation intervals that cannot be determined using techniques from prior research. This allows Savasana to achieve a better tradeoff between disruption and reachability. The article demonstrates how Savasana infers safe adaptation intervals for components of a software system under various use cases and conditions.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Jan 31, 2017
- Source ID
- 10.1145/3063385
Entities
People
- Alireza Sadeghi
- Naeem Esfahani
- Sam Malek
Organizations
- Air Force Office of Scientific Research
- Army Research Office
- Defense Advanced Research Projects Agency
- National Science Foundation
- United States Department of Homeland Security
- University of California