摘要：There had been past attempts at making adaptation strategies with analytic model that used the current environment information in Cyber-physical System (CPS) to keep the software architecture from deteriorating. However, the research is still in its infancy on the closely-related issue of how to take corrective self-adaptive actions to reconcile the CPS system behavior with the variability of the survival environment. In particular, architects have almost no assistance in reasoning about questions such as: How should we stage the architectural evolution to improve self-adaptation to accommodate uncertainties in CPS? In this work, the specification of software architecture is extended using CHAM (Chemical Abstract Machine) in the presence of uncertainty. The key benefits of our approach are that it leverages standard software architecture models, and quantifies behaviors within the system in terms of relevant architectural elements. Compared to the traditional model, the proposed method could arrange optimized response sequence and adjust the behaviors within the software system to be adaptive to the new situations over time in CPS.
