Using AADL in Model Driven Development

Software-intensive systems require the verification of functional and non-functional properties before the implementation and integration phases of the development process. In recent trends, the Architecture Analysis and Design Language (AADL) has proven a good candidate as a modeling language for software-intensive systems. At the same time, Model Driven Development (MDD) is gaining popularity as a development process. In this paper, we explore the use of AADL in a model driven development process from a usability point of view. Three issues regarding the usability of AADL as a modeling language for software-intensive systems are identified, namely system versus software level, complex component composition and property ambiguity. For resolving these issues, an approach is presented through integration of AADL models in a model driven development process with specifically designed model transformations. This approach enhances the usability of AADL for software developers.