Specification for SystemC-AADL interoperability

Due to the increasing complexity of embedded systems, new design methodologies have to be adopted, since traditional techniques are no longer efficient. Model-based engineering enables the designer to confront these concerns using the architecture description of the system as the main axis during the design cycle. Defining the architecture of the system before its implementation, enables the analysis of the constraints imposed on the system from the beginning of the design cycle until the final implementation. AADL has been proposed to design and analyze software and hardware architectures for real time, mission-critical, embedded systems. In this paper, the specification for modelling AADL by means of SystemC is provided. The SystemC model will enable the refinement of the AADL specification until the final implementation is developed. The information about the system obtained during the refinement process will feedback the AADL model allowing the verification of high-level constraints during the complete design process.