More projects by:

Sam Malek

More projects in categories:

Testing, 
Analysis, 
Architecture

Savasana: Adaptation Consistency via Code Analysis

Principal Investigators: 
Sam Malek
Project Dates: 
January 2016
For more information: 
https://www.ics.uci.edu/~seal/projects/savasana/
Research Area(s): 
Testing, 
Analysis, 
Architecture
Researchers and Staff: 
Alireza Sadeghi, 
Naeem Esfahani
Project Description: 

Savasana is the first white-box approach that uses code analysis for reasoning about consistency of adaptation.

Savasana consists of two parts: Static Code Analysis runs on the system's code and Run-time Control manages the corresponding running system.

We 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 the Monitor component, we used Spring's extensive support for aspect-oriented programming, and for the Adapter component, we relied on Spring's dynamic (re)con.figuration facilities.