A Preliminary Study of a Probabilistic Risk-based Approach for Ambient Intelligence Healthcare Systems

被引:3
作者
Cicotti, Giuseppe [1 ]
Coronato, Antonio [1 ]
机构
[1] ICAR CNR, Inst High Performance Comp & Networking, Naples, Italy
来源
WORKSHOP PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON INTELLIGENT ENVIRONMENTS | 2015年 / 19卷
关键词
Probabilistic Risk Assessment; Probabilistic Model Checking; Markov Decision Processes; Safety; Ambient Intelligence; TREE;
D O I
10.3233/978-1-61499-530-2-58
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
The Ambient Intelligence (AmI) paradigm applied to the healthcare sector is a promising solution to develop software-based systems capable of supporting medical procedures and activities carried out in a close, high-regulated, and complex healthcare environment. An AmI Healthcare System (AmI-HS) which may impact on the health and life of its users (i.e. doctors, caregivers, patients, etc.) is considered as a Medical Device (MDs), and thus subject to pass through a cumbersome risk-based regulatory process which evaluates and certifies the system safety before it is put on the market. Thus, a human-centred risk analysis is of paramount importance to establish the safety level of an AmI-HS. In this paper, we propose a dynamic probabilistic risk assessment (DPRA) approach for AmI-HS which allows the quantitative assessment of risk in different hazard scenarios in order both to support the design and development of AmI-HSs and to provide those objective evidences needed during the regulatory process. In addition, to support our risk-based methodology we define a probabilistic risk model (PRM), based on an extension of a Markov Decision Process (MDP), capable of taking into account two main peculiarities of AmI-HSs: context-awareness and personalisation. Some preliminary results show the feasibility of our approach and the capability of our model to assess risk of context-aware hazard scenarios.
引用
收藏
页码:58 / 69
页数:12
相关论文
共 17 条
[1]  
Acampora G, 2013, P IEEE, V101, P2470, DOI 10.1109/JPROC.2013.2262913
[2]   Reactive modules [J].
Alur, R ;
Henzinger, TA .
FORMAL METHODS IN SYSTEM DESIGN, 1999, 15 (01) :7-48
[3]   Event-tree analysis using binary decision diagrams [J].
Andrews, JD ;
Dunnett, SJ .
IEEE TRANSACTIONS ON RELIABILITY, 2000, 49 (02) :230-238
[4]  
[Anonymous], 2007, INT J COMPUTER SCI I, DOI [DOI 10.2298/CSIS0701001A, 10.2298/CSIS0701001A]
[5]  
Augusto JC, 2010, COMM COM INF SC, V67, P3
[6]  
Cichocki T, 2000, LECT NOTES COMPUT SC, V1943, P382
[7]  
Corno F, 2011, ADV INTEL SOFT COMPU, V92, P9
[8]  
Coronato A., 2015, 10 IEEE INT IN PRESS
[9]   Uranus: A Middleware Architecture for Dependable AAL and Vital Signs Monitoring Applications [J].
Coronato, Antonio .
SENSORS, 2012, 12 (03) :3145-3161
[10]   Estimation of the transition matrix of a discrete-time Markov chain [J].
Craig, BA ;
Sendi, PP .
HEALTH ECONOMICS, 2002, 11 (01) :33-42