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

GitHub link: https://github.com/gsdlab/ClaferCaseStudies/tree/master/AADLToClafer