Design and Verification of an NDN-Based Safety-Critical Application: A Case Study With Smart Healthcare

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.

[1]  Kyuseok Shim,et al.  PUBLIC: A Decision Tree Classifier that Integrates Building and Pruning , 1998, Data Mining and Knowledge Discovery.

[2]  Diego Perino,et al.  A reality check for content centric networking , 2011, ICN '11.

[3]  Weiping Zhu,et al.  Context Map for Navigating the Physical World , 2012, 2012 20th Euromicro International Conference on Parallel, Distributed and Network-based Processing.

[4]  Carsten Bormann,et al.  The Constrained Application Protocol (CoAP) , 2014, RFC.

[5]  Eric Rescorla,et al.  Datagram Transport Layer Security Version 1.2 , 2012, RFC.

[6]  Antonella Molinaro,et al.  Multi-source data retrieval in IoT via named data networking , 2014, ICN '14.

[7]  Antonella Molinaro,et al.  Information-centric networking for M2M communications: Design and deployment , 2016, Comput. Commun..

[8]  R. Brereton,et al.  Support vector machines for classification and regression. , 2010, The Analyst.

[9]  Hannu Tenhunen,et al.  End-to-end security scheme for mobility enabled healthcare Internet of Things , 2016, Future Gener. Comput. Syst..

[10]  Robert Sabourin,et al.  On the memory complexity of the forward-backward algorithm , 2010, Pattern Recognit. Lett..

[11]  Yu-Chee Tseng,et al.  The Broadcast Storm Problem in a Mobile Ad Hoc Network , 1999, Wirel. Networks.

[12]  Asit Chakraborti,et al.  Information-centric networking based homenet , 2013, 2013 IFIP/IEEE International Symposium on Integrated Network Management (IM 2013).

[13]  Sally I. McClean,et al.  Modeling Throughput of Emergency Departments via Time Series: An Expectation Maximization Algorithm , 2013, TMIS.

[14]  William M. Tepfenhart,et al.  Dynamic Workflow Modeling and Analysis in Incident Command Systems , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[15]  S. Eddy.  Hidden Markov models. , 1996, Current opinion in structural biology.

[16]  George Suciu,et al.  Big Data, Internet of Things and Cloud Convergence – An Architecture for Secure E-Health Applications , 2015, Journal of Medical Systems.

[17]  Neeraj Suri,et al.  Named Data Networking: A survey , 2016, Comput. Sci. Rev..

[18]  Divya Saxena,et al.  SmartHealth-NDNoT: Named Data Network of Things for Healthcare Services , 2015, MobileHealth@MobiHoc.

[19]  Rui L. Aguiar,et al.  Consumer driven information freshness approach for content centric networking , 2014, 2014 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS).

[20]  Qinghua Li,et al.  iHEMS: An information-centric approach to secure home energy management , 2012, 2012 IEEE Third International Conference on Smart Grid Communications (SmartGridComm).

[21]  Gene Tsudik,et al.  Securing instrumented environments over content-centric networking: the case of lighting control and NDN , 2013, 2013 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS).

[22]  Rodney X. Sturdivant,et al.  Introduction to the Logistic Regression Model , 2005 .

[23]  Giancarlo Fortino,et al.  Fall-MobileGuard: a Smart Real-Time Fall Detection System , 2015, BODYNETS.

[24]  Antonella Molinaro,et al.  Caching in Named Data Networking for the wireless Internet of Things , 2015, 2015 International Conference on Recent Advances in Internet of Things (RIoT).

[25]  Kunihiko Fukushima,et al.  Neocognitron: A self-organizing neural network model for a mechanism of pattern recognition unaffected by shift in position , 1980, Biological Cybernetics.

[27]  Herbert F. Jelinek,et al.  ECG Biometric with Abnormal Cardiac Conditions in Remote Monitoring System , 2014, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[28]  Peter E. Hart,et al.  Nearest neighbor pattern classification , 1967, IEEE Trans. Inf. Theory.

[29]  Leo Breiman,et al.  Bagging Predictors , 1996, Machine Learning.

[30]  Archan Misra,et al.  Energy Efficient Reliable Communication for Multi-hop Wireless Networks , 2003 .

[31]  MengChu Zhou,et al.  Design and Implementation of a Web-Service-Based Public-Oriented Personalized Health Care Platform , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[32]  Giancarlo Fortino,et al.  Enabling IoT interoperability through opportunistic smartphone-based mobile gateways , 2017, J. Netw. Comput. Appl..

[33]  Yoav Freund,et al.  A decision-theoretic generalization of on-line learning and an application to boosting , 1995, EuroCOLT.

[34]  David E. Culler,et al.  Transmission of IPv6 Packets over IEEE 802.15.4 Networks , 2007, RFC.

[35]  Ashish Pandharipande,et al.  Adaptive Illumination Rendering in LED Lighting Systems , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[36]  Alexander Afanasyev,et al.  Named Data Networking of Things (Invited Paper) , 2016, 2016 IEEE First International Conference on Internet-of-Things Design and Implementation (IoTDI).

[37]  Thomas C. Schmidt,et al.  Information centric networking in the IoT: experiments with NDN in the wild , 2014, ICN '14.

[38]  Siarhei Kuryla,et al.  RPL: IPv6 Routing Protocol for Low power and Lossy Networks , 2010 .

[39]  Franco Cicirelli,et al.  On the Design of Smart Homes: A Framework for Activity Recognition in Home Environment , 2016, Journal of Medical Systems.

[40]  Anders Lindgren,et al.  Requirements and Challenges for IoT over ICN , 2016 .

[41]  Antonio Iera,et al.  Named data networking for IoT: An architectural perspective , 2014, 2014 European Conference on Networks and Communications (EuCNC).

[42]  Divya Saxena,et al.  An NDNoT based Efficient Object Searching Scheme for Smart Home using RFIDs , 2017, ICDCN.

[43]  Lixia Zhang,et al.  Securing building management systems using named data networking , 2014, IEEE Network.

[44]  Ning Wang,et al.  Information-centric networking for machine-to-machine data delivery: a case study in smart grid applications , 2014, IEEE Network.

[45]  Gerd Kortuem,et al.  Smart objects as building blocks for the Internet of things , 2010, IEEE Internet Computing.

[46]  Deborah Estrin,et al.  Named Data Networking (NDN) Project , 2010 .

[47]  Nikos Fotiou,et al.  Building a reliable Internet of Things using Information-Centric Networking , 2015, Journal of Reliable Intelligent Environments.

[48]  Antonio Iera,et al.  Information Centric Networking in IoT scenarios: The case of a smart home , 2015, 2015 IEEE International Conference on Communications (ICC).

[49]  Min Chen,et al.  NDNC-BAN: Supporting rich media healthcare services via named data networking in cloud-assisted wireless body area networks , 2014, Inf. Sci..