@inproceedings {Simula.SE.281,
	title = {Self-Reconfiguration in Highly Available Pervasive Computing Systems},
	journal = {Autonomic and Trusted Computing},
	volume = {Volume 5060/2008},
	year = {2008},
	month = {June},
	pages = {289-301},
	publisher = {Springer Berlin / Heidelberg},
	type = {Conference},
	chapter = {Pervasive Systems},
	abstract = {High availability of software systems is an essential requirement for pervasive computing environments. In such systems self-adaptation, using dynamic reconfiguration is also a key feature. However, dynamic reconfiguration potentially decreases the system availability by making parts of the system temporary frozen, especially during incomplete or faulty execution of the reconfiguration process. In this paper, we propose Assured Dynamic Reconfiguration Framework (ADRF), consisting of run-time analysis phases, assuring the desired correctness and completeness of dynamic reconfiguration process. We also specify factors that affect availability of reconfigurable software in pervasive computing systems. Observing the effects of these factors, we present availability improvement of our method in comparison to the other reconfiguration mechanisms.},
	isbn = {978-3-540-69294-2},
	doi = {10.1007/978-3-540-69295-9\_24},
	author = {Hemmati, Hadi and Jalili, Rasool},
	editor = {Rong, Chunming and Martin Gilje {Jaatun} and Frode Eika {Sandnes} and Laurence T. {Yang} and Ma, Jianhua}
}
