关键词: 软件体系结构, 动态升级, 构件行为, CSP

Abstract: With the requirements of continuous service in mission and safety critical software applications, shutdown and restart the system during software upgrade is unacceptable．Dynamic update with foundation of runtime software evolution becomes a way to solve these problems．But as the variety of component style, ability, and communicating protocols, component substitute may encounter incompatibility．And force updating without adaptation may endanger the stability and correctness of current system． This paper focuses the behaviors of component and divides the behaviors into three levels．With the help of CSP, we analyze the consistency of behaviors of two components through the deadlock-free checking with the fundamental logical support of CSP．Be sure that the new component behaviors satisfy the system’s requirements．And this mechanism ensures the correctness and security of dynamic update．

Key words: software architecture, dynamic update, component behavior, CSP (Communicating Sequential Process), Wright