Title :
A Formal Model for Dynamic Service Updates in Pervasive Computing
Author :
Du, Siqi ; Huang, Linpeng ; Chen, Junqing
Author_Institution :
Dept. of Comput. Sci. & Eng., Shanghai Jiao Tong Univ., Shanghai, China
fDate :
June 30 2011-July 2 2011
Abstract :
Dynamic updating is a software technique that updates running program 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 analyses the characteristics of pervasive computing and evaluates the existing approaches. In order to make dynamic service updates available in pervasive computing, a decentralized mechanism is introduced. This paper uses the process algebra FSP to build a decentralized formal model and check some properties. Finally an application of this model is shown.
Keywords :
process algebra; program verification; ubiquitous computing; FSP; decentralized mechanism; dynamic service updates; dynamic updating technique; formal model; pervasive computing; process algebra; Algebra; Analytical models; Computational modeling; Pervasive computing; Servers; Software; System recovery; decentralized; dynamic updating; model checking; pervasive computing; process algebra;
Conference_Titel :
Innovative Mobile and Internet Services in Ubiquitous Computing (IMIS), 2011 Fifth International Conference on
Conference_Location :
Seoul
Print_ISBN :
978-1-61284-733-7
Electronic_ISBN :
978-0-7695-4372-7
DOI :
10.1109/IMIS.2011.111
