TY - JOUR
T1 - Deadlock detection and recovery for component-based systems
AU - Li, Chen
AU - Huang, Linpeng
AU - Chen, Luxi
AU - Luo, Weichao
PY - 2013/9/1
Y1 - 2013/9/1
N2 - Component-based development has gained a lot of attention in recent years. As a software development paradigm, it enhances reusability and reduces complexity but it also brings new challenges in reliability, especially the deadlock problem. In this paper, we present a dynamic probe (DP) strategy for the deadlock problem of component-based systems (CBS). First a formal semantic model is proposed to abstract the interaction among the components for analyzing the deadlock connections, and then the dynamic probe detection (DPD) algorithm is used to detect the deadlock loops. If deadlock connections are detected then the dynamic probe elimination (DPE) algorithm is used to evaluate the component reliability using several measurement indexes to find a component with reliability lower than the other components, and then replace it. Last, in comparison to related work, the results show that the proposed strategy can achieve both lower processing cost and higher reliability.
AB - Component-based development has gained a lot of attention in recent years. As a software development paradigm, it enhances reusability and reduces complexity but it also brings new challenges in reliability, especially the deadlock problem. In this paper, we present a dynamic probe (DP) strategy for the deadlock problem of component-based systems (CBS). First a formal semantic model is proposed to abstract the interaction among the components for analyzing the deadlock connections, and then the dynamic probe detection (DPD) algorithm is used to detect the deadlock loops. If deadlock connections are detected then the dynamic probe elimination (DPE) algorithm is used to evaluate the component reliability using several measurement indexes to find a component with reliability lower than the other components, and then replace it. Last, in comparison to related work, the results show that the proposed strategy can achieve both lower processing cost and higher reliability.
KW - Component
KW - Deadlock
KW - Dynamic probe
KW - Formal method
KW - Reliability
UR - http://www.scopus.com/inward/record.url?scp=84880643702&partnerID=8YFLogxK
U2 - 10.1016/j.mcm.2012.12.035
DO - 10.1016/j.mcm.2012.12.035
M3 - Journal article
AN - SCOPUS:84880643702
SN - 0895-7177
VL - 58
SP - 1362
EP - 1378
JO - Mathematical and Computer Modelling
JF - Mathematical and Computer Modelling
IS - 5-6
ER -