A Cost Modeling Method Based on AADL2

Abstract

The Architecture Analysis and Design Language (AADL) is widely used in the modeling, analysis and verification of the dependability-critical system. Previously, we have implemented the multi-objective (based on dependability and cost) architecture optimization analysis of the AADL model. The cost attribute modeling, however, was only assumed to be a simple numerical value. It cannot accurately reflect the actual cost model. In addition, there is still a lack of mature cost modeling methods for AADL. In this paper, we develop a cost modeling method for the latest AADL2. The factors that affect the cost of components and systems are firstly summarized and concluded. Based on those summarized factors, a cost meta-model is secondly abstracted and developed. The cost meta-model is finally defined as a property set in the AADL model. With this cost property set, users can not only use the developed life cycle cost properties directly, but also can define individualized cost properties to meet specific cost requirements. The proposed method has greatly extended the cost modeling capabilities for the AADL.