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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Saha, D.: Pervasive Computing: A Paradigm for the 21st Century. IEEE Computer Society, Los Alamitos (2003)
Cheng, S., Garlan, D., Schmerl, B., Sousa, J.P., Spitznagel, B., Steenkiste, P., Hu, N.: Software Architecture-based Adaptation for Pervasive Systems. In: Schmeck, H., Ungerer, T., Wolf, L. (eds.) ARCS 2002. LNCS, vol. 2299, Springer, Heidelberg (2002)
Oreizy, P., Taylor, R.N.: on the role of software architectures in runtime system reconfiguration. In: International Conference on Configurable Distributed Systems (1998)
Hemmati, H., Aliakbarian, S., Niamanesh, M., Jalili, R.: Structural and Behavioral Run-Time Validation of Dynamic Reconfiguration in Pervasive Computing Environments. In: 4th Asian International Mobile Computing Conference (AMOC), Calcutta, India (2006)
Nicoara, A., Alonso, G.: Dynamic AOP with PROSE. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, Springer, Heidelberg (2005)
Chen, F., Rosu, G.: Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation. Electronic Notes in Theoretical Computer Science, vol. 89. Elsevier, Amsterdam (2003)
Oreizy, P., Medvidovic, N., Taylor, R.N.: Architecture-Based Runtime Software Evolution. In: The 20th International Conference on Software Engineering (ICSE 1998), Kyoto, Japan, pp. 177–186 (April 1998)
Roshandel, R., Hoek, A.V., Mikic, M., Medvidovic, N.: Mae – A System Model and Environment for Managing Architectural Evaluation. ACM Transactions on Software Engineering and Methodology (April 2004)
Diaconescu, A., Murphy, J.: A Framework for Using Component Redundancy for self-Optimising and self-Healing Component Based Systems. In: ICSE 2003 Workshop on Software Architectures for Dependable Systems, Portland, Oregon, USA (May 3 2003)
Niamanesh, M., Jalili, R.: A Dynamic-Reconfigurable Architecture for Protocol Stacks of Networked Systems. In: 31st Annual International Computer Software and Applications Conference, Beijing, China (July 2007)
Hemmati, H., Niamanesh, M., Jalili, R.: A Framework to Support Run-Time Assured Dynamic Reconfiguration for Pervasive Computing Environments. In: The first IEEE International symposium on wireless pervasive computing ISWPC, Thailand (2006)
Hamou-Lhadj, A., Braun, E., Amyot, D., Lethbridge, T.: Recovering Behavioral Design Models from Execution Traces. In: Ninth European Conference on Software Maintenance and Reengineering (CSMR 2005), pp. 112–121 (2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hemmati, H., Jalili, R. (2008). Self-reconfiguration in Highly Available Pervasive Computing Systems. In: Rong, C., Jaatun, M.G., Sandnes, F.E., Yang, L.T., Ma, J. (eds) Autonomic and Trusted Computing. ATC 2008. Lecture Notes in Computer Science, vol 5060. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69295-9_24
Download citation
DOI: https://doi.org/10.1007/978-3-540-69295-9_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69294-2
Online ISBN: 978-3-540-69295-9
eBook Packages: Computer ScienceComputer Science (R0)