A formal model for dynamic updating in pervasive computing

Du Siqi,Huang Linpeng,Chen Junqing,Chen Luxi
DOI: https://doi.org/10.3969/j.issn.2095-2783.2012.10.007
2012-01-01
Abstract:Dynamic updating is a software technique that updates running systems without interruption and can help to decrease the downtime of a system.As a new and important computing paradigm,pervasive computing brings new challenges to the design and implementation of dynamic updating.This paper first introduces the characteristics of pervasive computing,analyses the updating objects and current updating mechanism,and evaluates the existing approaches.In order to make dynamic service updating available in pervasive computing,a decentralized mechanism is proposed.The paper also uses the process algebra FSP to build a decentralized formal model and specifies the updating mechanism.Finally,we verify that the model is dead-lock free,client-transparent and service-correct,which ensures that the proposed approach is effective.
What problem does this paper attempt to address?