MDP-Based Reliability Analysis of an Ambient Assisted Living System

被引:0
作者
Liu, Yan [1 ]
Gui, Lin [1 ]
Liu, Yang [2 ]
机构
[1] Natl Univ Singapore, Singapore 117548, Singapore
[2] Nanyang Technol Univ, Singapore, Singapore
来源
FM 2014: FORMAL METHODS | 2014年 / 8442卷
关键词
Reliability Analysis; MDP; Ambient Assisted Living; Sensitivity;
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
The proliferation of ageing population creates heavy burdens to all industrialised societies. Smart systems equipped with ambient intelligence technologies, also known as Ambient Assisted Living (AAL) Systems are in great needs to improve the elders' independent living and alleviate the pressure on caregivers/family members. In practice, these systems are expected to meet a certain reliability requirement in order to guarantee the usefulness. However, this is challenging due to the facts that AAL systems come with complex behaviours, dynamic environments and unreliable communications. In this work, we report our experience on analysing reliability of a smart healthcare system named AMUPADH for elderly people with dementia, which is deployed in a Singapore-based nursing home. Using Markov Decision Process (MDP) as the reliability model, we perform reliability analysis in three aspects. Firstly, we judge the AAL system design by calculating the overall system reliability based on the reliability value of each component. Secondly, to achieve the required system reliability, we perform the reliability distribution to calculate the reliability requirement for each component. Lastly, sensitivity analysis is applied to find which component affects the system reliability most significantly. Our evaluation shows that the overall reliability of reminders to be sent correctly in AMUPADH system is below 40%, and improving the reliability of Wi-Fi network would be more effective to improve the overall reliability than other components.
引用
收藏
页码:688 / 702
页数:15
相关论文
共 19 条
[1]  
Aloulou Hamdi, 2012, Impact Analysis of Solutions for Chronic Disease Prevention and Management. Proceedings 10th International Conference on Smart Homes and Health Telematics (ICOST 2012), P165, DOI 10.1007/978-3-642-30779-9_21
[2]  
[Anonymous], P ACM INT S SOFTW TE
[3]  
[Anonymous], INT WORKSH UB COMP
[4]  
Baier C, 2008, PRINCIPLES OF MODEL CHECKING, P1
[5]  
Biswas J, 2010, LECT NOTES COMPUT SC, V6159, P160, DOI 10.1007/978-3-642-13778-5_20
[6]   A USER-ORIENTED SOFTWARE-RELIABILITY MODEL [J].
CHEUNG, RC .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1980, 6 (02) :118-125
[7]   An analytical approach to architecture-based software performance and reliability prediction [J].
Gokhale, SS ;
Wong, WE ;
Horgan, JR ;
Trivedi, KS .
PERFORMANCE EVALUATION, 2004, 58 (04) :391-412
[8]  
Gokhale SS, 2003, P 13 INT S SOFTW REL, P64
[9]   Architecture-based software reliability analysis: Overview and limitations [J].
Gokhale, Swapna S. .
IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2007, 4 (01) :32-40
[10]   Comparison of architecture-based software reliability models [J].
Goseva-Popstojanova, K ;
Mathur, AP ;
Trivedi, KS .
12TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 2001, :22-31