TY - JOUR
T1 - Design and Verification of an NDN-Based Safety-Critical Application: A Case Study with Smart Healthcare
AU - Saxena, Divya
AU - Raychoudhury, Vaskar
N1 - Funding Information:
Manuscript received February 2, 2017; revised April 28, 2017; accepted June 27, 2017. Date of publication July 25, 2017; date of current version April 15, 2019. This work was supported by the Alexander von Humboldt Foundation through the Post-Doctoral Research Fellow Dr. V. Raychoudhury. This paper was recommended by Associate Editor Y. Hata. (Corresponding author: Divya Saxena.) The authors are with the Department of Computer Science and Engineering, Indian Institute of Technology Roorkee, Roorkee 247667, India (e-mail: [email protected]; [email protected]).
Publisher Copyright:
© 2013 IEEE.
PY - 2019/5
Y1 - 2019/5
N2 - Internet of Things (IoT) is an emerging networking paradigm where smart devices generate, aggregate, and seamlessly exchange data over the predominantly wireless medium. The Internet, so far, has played a significant role in connecting the world, but still, IoT-based solutions are suffering from two primary challenges: 1) how to secure the sensors data and 2) how to provide efficient local and global communication among various heterogeneous devices. Recently, named data networking (NDN), a future Internet paradigm is proposed to improve and simplify such IoT communication issues. NDN allowed users to fetch data by names irrespective of the actual hosting entity connected through a host-specific IP address. NDN well suits the content-centric pattern of machine-to-machine (M2M) communications predominantly used in IoT. In this paper, we leverage the basic feats of NDN architecture for designing and verification of an NDN-based smart health IoT (NHealthIoT) system. NHealthIoT uses pure-NDN-based M2M communication for capturing and transmission of raw sensor data to the home server which can detect emergency healthcare events using Hidden Markov Model. Emergency events are notified to the cloud server using a novel context-aware adaptive forwarding (Cdf) strategy. Post emergency notifications, and user health information is periodically pulled by the cloud server and by other interested parties using NDN-based publish/subscribe paradigm. The cloud server carries out long-term decision making using probabilistic modeling for detecting the possibility of chronic diseases at the early stage. We extend the workflows intuitive formal approach model for verifying the correctness of NHealthIoT during the emergency. We evaluate the cdf strategy using ndnSIM. Moreover, to validate and to show the usability of NHealthIoT, we develop a proof-of-concept prototype testbed and evaluate it extensively. We also identify some research challenges of the NDN-IoT for researchers.
AB - Internet of Things (IoT) is an emerging networking paradigm where smart devices generate, aggregate, and seamlessly exchange data over the predominantly wireless medium. The Internet, so far, has played a significant role in connecting the world, but still, IoT-based solutions are suffering from two primary challenges: 1) how to secure the sensors data and 2) how to provide efficient local and global communication among various heterogeneous devices. Recently, named data networking (NDN), a future Internet paradigm is proposed to improve and simplify such IoT communication issues. NDN allowed users to fetch data by names irrespective of the actual hosting entity connected through a host-specific IP address. NDN well suits the content-centric pattern of machine-to-machine (M2M) communications predominantly used in IoT. In this paper, we leverage the basic feats of NDN architecture for designing and verification of an NDN-based smart health IoT (NHealthIoT) system. NHealthIoT uses pure-NDN-based M2M communication for capturing and transmission of raw sensor data to the home server which can detect emergency healthcare events using Hidden Markov Model. Emergency events are notified to the cloud server using a novel context-aware adaptive forwarding (Cdf) strategy. Post emergency notifications, and user health information is periodically pulled by the cloud server and by other interested parties using NDN-based publish/subscribe paradigm. The cloud server carries out long-term decision making using probabilistic modeling for detecting the possibility of chronic diseases at the early stage. We extend the workflows intuitive formal approach model for verifying the correctness of NHealthIoT during the emergency. We evaluate the cdf strategy using ndnSIM. Moreover, to validate and to show the usability of NHealthIoT, we develop a proof-of-concept prototype testbed and evaluate it extensively. We also identify some research challenges of the NDN-IoT for researchers.
KW - Context-aware data forwarding strategy
KW - healthcare
KW - Internet of Things (IoT)
KW - named data networking of things
KW - NDN
KW - NDNoT
UR - http://www.scopus.com/inward/record.url?scp=85028964329&partnerID=8YFLogxK
U2 - 10.1109/TSMC.2017.2723843
DO - 10.1109/TSMC.2017.2723843
M3 - Journal article
AN - SCOPUS:85028964329
SN - 2168-2216
VL - 49
SP - 991
EP - 1005
JO - IEEE Transactions on Systems, Man, and Cybernetics: Systems
JF - IEEE Transactions on Systems, Man, and Cybernetics: Systems
IS - 5
M1 - 7990549
ER -
