Our regular stand-up scrum meetings are a great way to have regular interaction with other team members, as well as our supervisor.
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
