Abstract:  Architecture Analysis and Design Language(AADL) is the standard language of architecture modeling for the complex embedded real-time system, but AADL didn’t give the formal description for the concurrency and interaction part in the embedded real-time systems. Aiming at the concurrency and constraints in the real-time system, combined with disadvantage of AADL in this aspect, this paper expands the AADL behavior annex with the concepts of constraint and concurrency into AADL, and the formal semantic description is given, enriching the AADL modeling elements. Then based on the properties of the AADL and process algebra, this paper formally transforms the expended AADL model into the process algebra model, which provides the foundation for the formal model verification and the development of large-scale complex and reliable real-time system.

Key words: AADL, concurrent, model transformation, process algebra