A Formal Specification Model of Survivability for Pervasive Systems

The emergence of pervasive computing in our everyday life supposes that the data necessary to the operation of the majority of our essential services in various fields of life will be managed by these systems. Thus, their dependability became a major concern. But, dependability issues have not been well explored so far in pervasive computing research. Pervasive environments are highly complex, heterogeneous and geographically dispersed. As a result, current means and facets of dependability do not address the needs of these systems. A solution to achieve this goal should be to adopt a dependability approach based on survivability in pervasive environments. But, the survivability suffers from a remarkable lack of suitable and mature methods for using it in practice. In this paper, we focus on achieving survivability in pervasive environments. First, we introduce a formal survivability model based on a rigorous definition of the concept of acceptable service and a method for calculating the degree of survivability of the system. Then, we present the basis for a new approach to adapt the system in adverse operation environment to comply with its survivability specification. To fix ideas, a case study in pervasive healthcare is presented.

[1]  Pascale Minet,et al.  Tolerance aux Fautes et Systemes Repartis: Concepts et Mecanismes , 1993 .

[2]  John A. Zinky,et al.  Open implementation toolkit for building survivable applications , 2000, Proceedings DARPA Information Survivability Conference and Exposition. DISCEX'00.

[3]  Michael Gertz,et al.  The Willow Architecture: Comprehensive Survivability for Large-Scale Distributed Applications , 2001 .

[4]  Gregory D. Abowd,et al.  A Conceptual Framework and a Toolkit for Supporting the Rapid Prototyping of Context-Aware Applications , 2001, Hum. Comput. Interact..

[5]  Kevin J. Sullivan,et al.  Towards a rigorous definition of information system survivability , 2003, Proceedings DARPA Information Survivability Conference and Exposition.

[6]  Domenico Cotroneo,et al.  Improving dependability of service oriented architectures for pervasive computing , 2003, Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003)..

[7]  John C. Knight,et al.  Achieving Critical System Survivability Through Software Architectures , 2003, WADS.

[8]  Pushpendra Singh.  Environnement de tolérance aux fautes pour terminaux mobiles embarqués , 2004 .

[9]  Wei Pan,et al.  An evolutionary system development approach in a pervasive computing environment , 2004, 2004 International Conference on Cyberworlds.

[10]  Vickie R. Westmark.  A definition for information system survivability , 2004, 37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the.

[11]  Timothy W. Finin,et al.  On data management in pervasive computing environments , 2004, IEEE Transactions on Knowledge and Data Engineering.

[12]  Bernard Burg,et al.  Maintaining Continuous Dependability in Sensor-Based Context-Aware Pervasive Computing Systems , 2005, Proceedings of the 38th Annual Hawaii International Conference on System Sciences.

[13]  Anand Ranganathan,et al.  Towards fault tolerance pervasive computing , 2005, IEEE Technology and Society Magazine.

[14]  Jadwiga Indulska,et al.  Developing context-aware pervasive computing applications: Models and approach , 2006, Pervasive Mob. Comput..

[15]  Mohammad Zulkernine,et al.  A dependable device discovery approach for pervasive computing middleware , 2006, First International Conference on Availability, Reliability and Security (ARES'06).

[16]  A. Messer,et al.  Reliability , Diagnosis – Challenges to Pervasive Computing , 2006 .

[17]  Frédérique Laforest,et al.  Modeling and Using Context in Adapting Applications to Pervasive Environments , 2006, 2006 ACS/IEEE International Conference on Pervasive Services.

[18]  Sangjoon Park,et al.  A survivability strategy in mobile networks , 2006, IEEE Trans. Veh. Technol..