Savasana is the first white-box approach that uses code analysis for reasoning about consistency of adaptation. Approach OverviewSavasana consists of two parts: Static Code Analysis runs on the system's code and Run-time Control manages the corresponding running system. Source CodeWe realized Savasana's code analysis capabilities on top of Soot. Soot is a Java optimization framework, which can also be used for static analysis. We used Soot for the implementation of Dependency Extractor and Model Analyzer. We implemented Savasana's runtime control capabilities on top of the Spring framework. For implementing Savasana project source code is available here.EvaluationWe examine Savasana's behavior by measuring two properties:
There are two factors that impact these properties:
The experiments are conducted on a software system called Emergency Deployment System (EDS), which is intended for the deployment and management of personnel in emergency response scenarios.
The evaluation results are available here. * A yoga pose in which the body is completely relaxed. |
Research Projects >