Architecture reconfiguration in pervasive environment: An AADL-based approach

In the pervasive environment, in order to adapt to dynamic environments and changeable requirements, the architecture reconfiguration has drawn great attention, which includes structural, behavioral, and configuration aspects. Unfortunately, traditional architecture description methods are always static, and as such fail to completely specify the reconfiguration. In this paper, AADL (Architecture Analysis and Design Language) is applied to describe the dynamic architecture. First, with features of AADL, the architecture is specified from a structural, a behavioral and a configuration view. Second, the behavioral specification is applied to trigger the mode transition to implement the architecture reconfiguration. Moreover, the reconfiguration improves the architecture such that it satisfies the reliability property requirement. The application on a smart treatment room in the special education is given out as a running example to illustrate the feasibility of our approach.