Our extensive industrial collaboration enables us to do research with immediate application to software development practices in realistic settings.
AADL2Clafer: Optimization of Architectural Models
This project includes:
1) Modeling AADL constructs in Clafer and translation of models written in AADL to models in Clafer language
2) Computation of quality attributes such as latency, cost, maintainability
3) Optimization of the model with respect to the given objectives, such as, to minimize total latency
4) Visualization of trade-offs and Pareto front produced after the optimization