Dependable Services for Mobile Health Monitoring Systems

The design and realization of health monitoring systems has attracted the interest of large communities both from industry and academia. Remote and continuous monitoring of patient's vital signs is the target of an emerging business market that aims both to improve the quality of life of patients and to reduce costs of national healthcare services. Such applications, however, are particularly critical from the point of view of dependability. This presents the design of a set of services for the assurance of high degrees of dependability to generic mobile health monitoring systems. The design is based on the results of a detailed failure modes and effects analysis FMEA, conducted to identify the typical dependability threats of health monitoring systems. The FMEA allowed the authors to conceive a set of configurable monitoring services, enriching the system with the ability to detect failures at runtime, and enabling the realization of dependable services for future mobile health monitoring systems.

[1]  Giuseppe De Pietro,et al.  Tools for the Rapid Prototyping of Provably Correct Ambient Intelligence Applications , 2012, IEEE Transactions on Software Engineering.

[2]  A. Flood,et al.  Optimizing FMEA and RCA efforts in health care. , 2004, Journal of healthcare risk management : the journal of the American Society for Healthcare Risk Management.

[3]  Hani Hagras,et al.  A multi-society-based intelligent association discovery and selection for ambient intelligence environments , 2010, TAAS.

[4]  Giuseppe De Pietro,et al.  Formal Design of Ambient Intelligence Applications , 2010, Computer.

[5]  Indrajit Ray,et al.  Reliable Delivery of Event Data from Sensors to Actuators in Pervasive Computing Environments , 2007, DBSec.

[6]  H. Schneider.  Failure mode and effect analysis : FMEA from theory to execution , 1996 .

[7]  Kevin Curran,et al.  Innovative Applications of Ambient Intelligence: Advances in Smart Systems , 2012 .

[8]  Robert Grimm,et al.  Systems Support for Ubiquitous Computing: A Case Study of Two Implementations of Labscape , 2002, Pervasive.

[9]  Marcello Cinque,et al.  A Failure Modes and Effects Analysis of Mobile Health Monitoring Systems , 2013 .

[10]  K. Wac,et al.  Mobile patient monitoring: The MobiHealth system , 2009, 2009 Annual International Conference of the IEEE Engineering in Medicine and Biology Society.

[11]  Cormac J. Sreenan,et al.  A context aware wireless body area network (BAN) , 2009, 2009 3rd International Conference on Pervasive Computing Technologies for Healthcare.

[12]  Athanasios V. Vasilakos,et al.  Body Area Networks: A Survey , 2010, Mob. Networks Appl..

[13]  Daniel Rivero,et al.  Using Genetic Programming to Extract Knowledge from Artificial Neural Networks , 2006 .

[14]  Arthur I. Karshmer,et al.  Living assistance systems: an ambient intelligence approach , 2006, ICSE.

[15]  Michael Rohs,et al.  Social, Economic, and Ethical Implications of Ambient Intelligence and Ubiquitous Computing , 2005, Ambient Intelligence.

[16]  Domenico Cotroneo,et al.  How Do Mobile Phones Fail? A Failure Data Analysis of Symbian OS Smart Phones , 2007, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07).

[17]  Vijayan Sugumaran.  Intelligent support systems : knowledge management , 2002 .

[18]  Domenico Cotroneo,et al.  Modeling and Assessing the Dependability ofWireless Sensor Networks , 2007, 2007 26th IEEE International Symposium on Reliable Distributed Systems (SRDS 2007).

[19]  Armando Fox,et al.  Portability, extensibility and robustness in iROS , 2003, Proceedings of the First IEEE International Conference on Pervasive Computing and Communications, 2003. (PerCom 2003)..

[20]  Kevin Curran,et al.  Ubiquitous Developments in Ambient Computing and Intelligence: Human-Centered Applications , 2011 .

[21]  M. V. Correia,et al.  An initial experience in wearable monitoring sport systems , 2010, Proceedings of the 10th IEEE International Conference on Information Technology and Applications in Biomedicine.

[22]  James D. Jones.  Not is Not "Not" Comparisons of Negation in SQL and Negation in Logic Programming , 2002 .

[23]  Ian Sommerville,et al.  Software Engineering (7th Edition) , 2004 .

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

[25]  Yang Hao,et al.  Wireless body sensor networks for health-monitoring applications , 2008, Physiological measurement.

[26]  Constantine Stephanidis,et al.  Middleware for Ambient Intelligence Environments: Reviewing Requirements and Communication Technologies , 2009, HCI.

[27]  Alejandro Pazos Sierra,et al.  Encyclopedia of Artificial Intelligence , 2008 .

[28]  E. Alasaarela,et al.  Wireless sensor and data transmission needs and technologies for patient monitoring in the operating room and intensive care unit , 2005, 2005 IEEE Engineering in Medicine and Biology 27th Annual Conference.

[29]  Mani B. Srivastava,et al.  Power management in energy harvesting sensor networks , 2007, TECS.

[30]  Luca Simoncini.  Architectural Challenges for "Ambient Dependability" , 2003, 2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems.

[31]  David Gelernter,et al.  Generative communication in Linda , 1985, TOPL.

[32]  Dan Pescaru,et al.  A view upon redundancy in wireless sensor networks , 2009 .

[33]  Benton H. Calhoun,et al.  Body Area Sensor Networks: Challenges and Opportunities , 2009, Computer.

[34]  John Soldatos,et al.  A Low-Cost Multi-Touch Surface Device Supporting Effective Ergonomic Cognitive Training for the Elderly , 2010, Int. J. Ambient Comput. Intell..

[35]  V. Sugumaran.  The Inaugural Issue of the International Journal of Intelligent Information Technologies , 2005 .

[36]  Ioannis Vlahavas,et al.  Artificial Intelligence for Advanced Problem Solving Techniques , 2008 .

[37]  Sanjeev Baskiyar.  A real-time fault tolerant intra-body network , 2002, 27th Annual IEEE Conference on Local Computer Networks, 2002. Proceedings. LCN 2002..