Real-Time Remote Health Monitoring Systems Using Body Sensor Information and Finger Vein Biometric Verification: A Multi-Layer Systematic Review

The development of wireless body area sensor networks is imperative for modern telemedicine. However, attackers and cybercriminals are gradually becoming aware in attacking telemedicine systems, and the black market value of protected health information has the highest price nowadays. Security remains a formidable challenge to be resolved. Intelligent home environments make up one of the major application areas of pervasive computing. Security and privacy are the two most important issues in the remote monitoring and control of intelligent home environments for clients and servers in telemedicine architecture. The personal authentication approach that uses the finger vein pattern is a newly investigated biometric technique. This type of biometric has many advantages over other types (explained in detail later on) and is suitable for different human categories and ages. This study aims to establish a secure verification method for real-time monitoring systems to be used for the authentication of patients and other members who are working in telemedicine systems. The process begins with the sensor based on Tiers 1 and 2 (client side) in the telemedicine architecture and ends with patient verification in Tier 3 (server side) via finger vein biometric technology to ensure patient security on both sides. Multilayer taxonomy is conducted in this research to attain the study’s goal. In the first layer, real-time remote monitoring studies based on the sensor technology used in telemedicine applications are reviewed and analysed to provide researchers a clear vision of security and privacy based on sensors in telemedicine. An extensive search is conducted to identify articles that deal with security and privacy issues, related applications are reviewed comprehensively and a coherent taxonomy of these articles is established. ScienceDirect, IEEE Xplore and Web of Science databases are checked for articles on mHealth in telemedicine based on sensors. A total of 3064 papers are collected from 2007 to 2017. The retrieved articles are filtered according to the security and privacy of telemedicine applications based on sensors. Nineteen articles are selected and classified into two categories. The first category, which accounts for 57.89% (n = 11/19), includes surveys on telemedicine articles and their applications. The second category, accounting for 42.1% (n = 8/19), includes articles on the three-tiered architecture of telemedicine. The collected studies reveal the essential need to construct another taxonomy layer and review studies on finger vein biometric verification systems. This map-matching for both taxonomies is developed for this study to go deeply into the sensor field and determine novel risks and benefits for patient security and privacy on client and server sides in telemedicine applications. In the second layer of our taxonomy, the literature on finger vein biometric verification systems is analysed and reviewed. In this layer, we obtain a final set of 65 articles classified into four categories. In the first category, 80% (n = 52/65) of the articles focus on development and design. In the second category, 12.30% (n = 8/65) includes evaluation and comparative articles. These articles are not intensively included in our literature analysis. In the third category, 4.61% (n = 3/65) includes articles about analytical studies. In the fourth category, 3.07% (n = 2/65) comprises reviews and surveys. This study aims to provide researchers with an up-to-date overview of studies that have been conducted on (user/patient) authentication to enhance the security level in telemedicine or any information system. In the current study, taxonomy is presented by explaining previous studies. Moreover, this review highlights the motivations, challenges and recommendations related to finger vein biometric verification systems and determines the gaps in this research direction (protection of finger vein templates in real time), which represent a new research direction in this area.

[1]  Yuan-Hsiang Lin,et al.  A wireless PDA-based physiological monitoring system for patient transport , 2004, IEEE Transactions on Information Technology in Biomedicine.

[2]  Zhi Liu,et al.  Finger vein verification system based on sparse representation. , 2012, Applied optics.

[3]  Mounim A. El-Yacoubi,et al.  Finger-Vein Quality Assessment by Representation Learning from Binary Images , 2015, ICONIP.

[4]  Mounim A. El-Yacoubi,et al.  Deep Representation-Based Feature Extraction and Recovering for Finger-Vein Verification , 2017, IEEE Transactions on Information Forensics and Security.

[5]  B. B. Zaidan,et al.  A review of the automated detection and classification of acute leukaemia: Coherent taxonomy, datasets, validation and performance measurements, motivation, open challenges and recommendations , 2018, Comput. Methods Programs Biomed..

[6]  A. A. Zaidan,et al.  A review on intelligent process for smart home applications based on IoT: coherent taxonomy, motivation, open challenges, and recommendations , 2018, Artificial Intelligence Review.

[7]  B. B. Zaidan,et al.  A Systematic Review for Human EEG Brain Signals Based Emotion Classification, Feature Extraction, Brain Condition, Group Comparison , 2018, Journal of Medical Systems.

[8]  Kiran B. Raja,et al.  Finger vascular pattern imaging — A comprehensive evaluation , 2014, Signal and Information Processing Association Annual Summit and Conference (APSIPA), 2014 Asia-Pacific.

[9]  Bo-Chao Cheng,et al.  Special point representations for reducing data space requirements of finger-vein recognition applications , 2016, Multimedia Tools and Applications.

[10]  Kiran B. Raja,et al.  Novel finger vascular pattern imaging device for robust biometric verification , 2014, 2014 IEEE International Conference on Imaging Systems and Techniques (IST) Proceedings.

[11]  Victor I. Chang,et al.  Towards fog-driven IoT eHealth: Promises and challenges of IoT in medicine and healthcare , 2018, Future Gener. Comput. Syst..

[12]  B. B. Zaidan,et al.  Systematic Review of Real-time Remote Health Monitoring System in Triage and Priority-Based Sensor Technology: Taxonomy, Open Challenges, Motivation and Recommendations , 2018, Journal of Medical Systems.

[13]  Xiaohui Liang,et al.  PHDA: A priority based health data aggregation with privacy preservation for cloud assisted WBANs , 2014, Inf. Sci..

[14]  Sophie Martin,et al.  Quality Estimation for Vascular Pattern Recognition , 2011, 2011 International Conference on Hand-Based Biometrics.

[15]  Abdelouahid Derhab,et al.  Human-oriented design of secure Machine-to-Machine communication system for e-Healthcare society , 2015, Comput. Hum. Behav..

[16]  Thian Song Ong,et al.  Finger Vein verification using local histogram of hybrid texture descriptors , 2015, 2015 IEEE International Conference on Signal and Image Processing Applications (ICSIPA).

[17]  Yilong Yin,et al.  Finger vein recognition with manifold learning , 2010, J. Netw. Comput. Appl..

[18]  Omessaad Hamdi,et al.  eHealth: Survey on research projects, comparative study of telemonitoring architectures and main issues , 2014, Journal of Network and Computer Applications.

[19]  Gongping Yang,et al.  Finger Vein Verification with Vein Textons , 2015, Int. J. Pattern Recognit. Artif. Intell..

[20]  R B Roth.  Health care delivery. , 1972, JAMA.

[21]  Gongping Yang,et al.  Finger vein verification based on a personalized best patches map , 2014, IEEE International Joint Conference on Biometrics.

[22]  Puneet Gupta,et al.  An accurate finger vein based verification system , 2015, Digit. Signal Process..

[23]  Mohamed Khalil,et al.  Personal verification using finger vein biometrics in FPGA-based-system-on-chip , 2011 .

[24]  Jian-Da Wu,et al.  Finger-vein pattern identification using principal component analysis and the neural network technique , 2011, Expert Syst. Appl..

[25]  Marzuki Khalid,et al.  Multimodal face and finger veins biometric authentication , 2010 .

[26]  B. B. Zaidan,et al.  Based Real Time Remote Health Monitoring Systems: A Review on Patients Prioritization and Related "Big Data" Using Body Sensors information and Communication Technology , 2018, Journal of Medical Systems.

[27]  B. B. Zaidan,et al.  Based on Real Time Remote Health Monitoring Systems: A New Approach for Prioritization “Large Scales Data” Patients with Chronic Heart Diseases Using Body Sensors and Communication Technology , 2018, Journal of Medical Systems.

[28]  Mahmood Fathy,et al.  A novel approach for Finger Vein verification based on self-taught learning , 2015, 2015 9th Iranian Conference on Machine Vision and Image Processing (MVIP).

[29]  L. Rajaji,et al.  Biometric authentication for secured transaction using finger vein technology , 2011 .

[30]  Sara J. Czaja,et al.  The impact of aging on access to technology , 2005, ASAC.

[31]  B. B. Zaidan,et al.  A security framework for mHealth apps on Android platform , 2018, Comput. Secur..

[32]  Amitabh Wahi,et al.  Finger vein extraction and authentication based on gradient feature selection algorithm , 2014, The Fifth International Conference on the Applications of Digital Information and Web Technologies (ICADIWT 2014).

[33]  Wenxin Li,et al.  A Person Retrieval Solution Using Finger Vein Patterns , 2010, 2010 20th International Conference on Pattern Recognition.

[34]  B. B. Zaidan,et al.  Open source EMR software: Profiling, insights and hands-on analysis , 2014, Comput. Methods Programs Biomed..

[35]  George Demiris,et al.  Framing the evidence for health smart homes and home-based consumer health technologies as a public health intervention for independent aging: A systematic review , 2013, Int. J. Medical Informatics.

[36]  Wenxin Li,et al.  A Method of Evolving Finger Vein Template , 2012, 2012 International Symposium on Biometrics and Security Technologies.

[37]  S. Palanivel Rajan.  Review and investigations on future research directions of mobile based telecare system for cardiac surveillance , 2015 .

[38]  Wenxin Li,et al.  A study on the individuality of finger vein based on statistical analysis , 2016, 2016 International Conference on Biometrics (ICB).

[39]  Riza Sulaiman,et al.  Vein matching using artificial neural network in vein authentication systems , 2011, International Conference on Graphic and Image Processing.

[40]  Yacine Challal,et al.  Healing on the cloud: Secure cloud architecture for medical wireless sensor networks , 2016, Future Gener. Comput. Syst..

[41]  Jing Xiao,et al.  Discriminative and generative vocabulary tree: With application to vein image authentication and recognition , 2015, Image Vis. Comput..

[42]  Ahmed A. Abd El-Latif,et al.  Finger multibiometric cryptosystems: fusion strategy and template security , 2014, J. Electronic Imaging.

[43]  A. A. Zaidan,et al.  Review of mobile short message service security issues and techniques towards the solution , 2011 .

[44]  B. B. Zaidan,et al.  A review of smart home applications based on Internet of Things , 2017, J. Netw. Comput. Appl..

[45]  Nor Badrul Anuar,et al.  The rise of keyloggers on smartphones: A survey and insight into motion-based tap inference attacks , 2016, Pervasive Mob. Comput..

[46]  Othman Omran Khalifa,et al.  A review on multimedia communications cryptography , 2011 .

[47]  Hongbing Li,et al.  Finger-vein verification based on the curvature in Radon space , 2017, Expert Syst. Appl..

[48]  B. B. Zaidan,et al.  A review of disability EEG based wheelchair control system: Coherent taxonomy, open challenges and recommendations , 2018, Comput. Methods Programs Biomed..

[49]  Zarinah Mohd Kasirun,et al.  On the accuracy of hiding information metrics: counterfeit protection for education and important certificates , 2010 .

[50]  Shuxu Guo,et al.  Segmentation for finger vein image based on PDEs denoising , 2010, 2010 3rd International Conference on Biomedical Engineering and Informatics.

[51]  N. Sugandhi,et al.  Real time authentication system using advanced finger vein recognition technique , 2014, 2014 International Conference on Communication and Signal Processing.

[52]  K. Selvi,et al.  FAST SVMS FOR POWER QUALITY DATA MINING , 2009 .

[53]  Joel J. P. C. Rodrigues,et al.  Mobile-health: A review of current state in 2015 , 2015, J. Biomed. Informatics.

[54]  Shahrel Azmin Suandi,et al.  Evaluate and Determine the Most Appropriate Method to Identify Finger Vein , 2012 .

[55]  B. B. Zaidan,et al.  Systematic Review of an Automated Multiclass Detection and Classification System for Acute Leukaemia in Terms of Evaluation and Benchmarking, Open Challenges, Issues and Methodological Aspects , 2018, Journal of Medical Systems.

[56]  Nor Badrul Anuar,et al.  The landscape of research on smartphone medical apps: Coherent taxonomy, motivations, open challenges and recommendations , 2015, Comput. Methods Programs Biomed..

[57]  Abdelfettah Belghith,et al.  Wireless Body Area Networks: Applications and Technologies , 2016, ANT/SEIT.

[58]  D. Saraswady,et al.  Biometric Authentication Using Fused Multimodal Biometric , 2016 .

[59]  J.J. Shea.  Handbook of fingerprint recognition [Book Review] , 2004, IEEE Electrical Insulation Magazine.

[60]  Yilong Yin,et al.  Learning discriminative binary codes for finger vein recognition , 2017, Pattern Recognit..

[61]  Sharath Pankanti,et al.  Guide to Biometrics , 2003, Springer Professional Computing.

[62]  Yang Xiao,et al.  Mobile Telemedicine: A Computing and Networking Perspective , 2008 .

[63]  B. B. Zaidan,et al.  Meeting the Security Requirements of Electronic Medical Records in the ERA of High-Speed Computing , 2014, Journal of Medical Systems.

[64]  B. B. Zaidan,et al.  A survey on communication components for IoT-based technologies in smart homes , 2018, Telecommunication Systems.

[65]  M. Khalil-Hani,et al.  FPGA embedded hardware system for finger vein biometric recognition , 2013, IECON 2013 - 39th Annual Conference of the IEEE Industrial Electronics Society.

[66]  A. A. Zaidan,et al.  Securing peer-to-peer mobile communications using public key cryptography: New security strategy , 2011 .

[67]  Jian-Da Wu,et al.  Driver identification using finger-vein patterns with Radon transform and neural network , 2009, Expert Syst. Appl..

[68]  A. A. Zaidan,et al.  Novel multi-cover steganography using remote sensing image and general recursion neural cryptosystem , 2010 .

[69]  Samira Moussaoui,et al.  Performance Evaluation of IEEE 802.15.6 MAC in Monitoring of a Cardiac Patient , 2016, 2016 IEEE 41st Conference on Local Computer Networks Workshops (LCN Workshops).

[70]  Wenxin Li,et al.  BMDT: An optimized method for Biometric Menagerie Detection , 2015, 2015 IEEE 7th International Conference on Biometrics Theory, Applications and Systems (BTAS).

[71]  M. Khalil-Hani,et al.  FPGA-based embedded system implementation of finger vein biometrics , 2010, 2010 IEEE Symposium on Industrial Electronics and Applications (ISIEA).

[72]  Ahmed A. Abd El-Latif,et al.  Multimodal biometric authentication based on score level fusion of finger biometrics , 2014 .

[73]  B. B. Zaidan,et al.  A Systematic Review on Smartphone Skin Cancer Apps: Coherent Taxonomy, Motivations, Open Challenges and Recommendations, and New Research Direction , 2017, J. Circuits Syst. Comput..

[74]  Hamid A. Jalab,et al.  Securing electronic medical records transmissions over unsecured communications: An overview for better medical governance , 2010 .

[75]  B. B. Zaidan,et al.  Multi-criteria analysis for OS-EMR software selection problem: A comparative study , 2015, Decis. Support Syst..

[76]  Kiran B. Raja,et al.  A low-cost multimodal biometric sensor to capture finger vein and fingerprint , 2014, IEEE International Joint Conference on Biometrics.

[77]  Hee Chan Kim,et al.  A finger-vein verification system using mean curvature , 2011, Pattern Recognit. Lett..

[78]  B. B. Zaidan,et al.  Novel Methodology for Triage and Prioritizing Using "Big Data" Patients with Chronic Heart Diseases Through Telemedicine Environmental , 2017, Int. J. Inf. Technol. Decis. Mak..

[79]  Jian-Da Wu,et al.  Finger-vein pattern identification using SVM and neural network technique , 2011, Expert Syst. Appl..

[80]  Ahmed A. Abd El-Latif,et al.  Finger-vein Verification Using Gabor Filter and SIFT Feature Matching , 2012, 2012 Eighth International Conference on Intelligent Information Hiding and Multimedia Signal Processing.

[81]  Timothy H. Riehle,et al.  Distance bounded energy detecting ultra-wideband impulse radio secure protocol , 2014, 2014 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society.

[82]  Liu Di,et al.  Two modality-based bi-finger vein verification system , 2010, IEEE 10th INTERNATIONAL CONFERENCE ON SIGNAL PROCESSING PROCEEDINGS.

[83]  Marcos A. Simplício,et al.  Mobile health in emerging countries: A survey of research initiatives in Brazil , 2013, Int. J. Medical Informatics.

[84]  B. B. Zaidan,et al.  A Security Framework for Nationwide Health Information Exchange based on Telehealth Strategy , 2015, Journal of Medical Systems.

[85]  Naixue Xiong,et al.  Exploring finger vein based personal authentication for secure IoT , 2017, Future Gener. Comput. Syst..

[86]  An Braeken,et al.  Secure event logging in sensor networks , 2013, Comput. Math. Appl..

[87]  B. B. Zaidan,et al.  Real-Time Fault-Tolerant mHealth System: Comprehensive Review of Healthcare Services, Opens Issues, Challenges and Methodological Aspects , 2018, Journal of Medical Systems.

[88]  B. B. Zaidan,et al.  Conceptual framework for the security of mobile health applications on Android platform , 2018, Telematics Informatics.

[89]  Carla Kmett Danielson,et al.  Mobile devices for the remote acquisition of physiological and behavioral biomarkers in psychiatric clinical research. , 2017, Journal of psychiatric research.

[90]  B. B. Zaidan,et al.  Challenges, Alternatives, and Paths to Sustainability: Better Public Health Promotion Using Social Networking Pages as Key Tools , 2015, Journal of Medical Systems.

[91]  Ashley Fisher,et al.  Review of mobile health technology for military mental health. , 2014, Military medicine.

[92]  Hong Wang,et al.  Adaptive fuzzy asymptotic tracking control of uncertain nonaffine nonlinear systems with non-symmetric dead-zone nonlinearities , 2016, Inf. Sci..

[93]  Bernard Kamsu-Foguem,et al.  Telemedicine framework using case-based reasoning with evidences , 2015, Comput. Methods Programs Biomed..

[94]  L. Schulmeister.  Technology and the Transformation of Oncology Care. , 2016, Seminars in oncology nursing.

[95]  Jinfeng Yang,et al.  Personal identification based on finger-vein features , 2011, Comput. Hum. Behav..

[96]  Alejandro García-González,et al.  Embedded biometric cryptosystem based on finger vein patterns , 2015, 2015 12th International Conference on Electrical Engineering, Computing Science and Automatic Control (CCE).

[97]  B. B. Zaidan,et al.  A distributed framework for health information exchange using smartphone technologies , 2017, J. Biomed. Informatics.

[98]  Toshio Obi,et al.  Promoting ICT innovations for the ageing population in Japan , 2013, Int. J. Medical Informatics.

[99]  B. B. Zaidan,et al.  Real-Time Remote Health-Monitoring Systems in a Medical Centre: A Review of the Provision of Healthcare Services-Based Body Sensor Information, Open Challenges and Methodological Aspects , 2018, Journal of Medical Systems.

[100]  Khaled Harfoush,et al.  On the practicality of elliptic curve cryptography for medical sensor networks , 2014, 2014 11th Annual High Capacity Optical Networks and Emerging/Enabling Technologies (Photonics for Energy).

[101]  A. A. Zaidan,et al.  A review on smartphone skin cancer diagnosis apps in evaluation and benchmarking: coherent taxonomy, open issues and recommendation pathway solution , 2018, Health and Technology.

[102]  Mounim A. El-Yacoubi,et al.  Deep Representation for Finger-Vein Image-Quality Assessment , 2018, IEEE Transactions on Circuits and Systems for Video Technology.

[103]  D. Ben-Zeev,et al.  Mobile health (mHealth) for mental health in Asia: objectives, strategies, and limitations. , 2014, Asian journal of psychiatry.

[104]  Mehdi Nasri,et al.  A multibiometric finger vein verification system based on score level fusion strategy , 2015, 2015 International Congress on Technology, Communication and Knowledge (ICTCK).

[105]  Gongping Yang,et al.  Singular value decomposition based minutiae matching method for finger vein recognition , 2014, Neurocomputing.

[106]  Wenxin Li,et al.  Finger vein verification using Occurrence Probability Matrix (OPM) , 2012, The 2012 International Joint Conference on Neural Networks (IJCNN).

[107]  N. Radha,et al.  Multimodal biometric template authentication of finger vein and signature using visual cryptography , 2016, 2016 International Conference on Computer Communication and Informatics (ICCCI).

[108]  B. B. Zaidan,et al.  Novel Framework for Hidden Data in the Image Page within Executable File Using Computation between Advanced Encryption Standard and Distortion Techniques , 2009, ArXiv.

[109]  Abdullah Gani.  Novel approach for high (secure and rate) data hidden within triplex space for executable file , 2010 .

[110]  M. Waluś,et al.  Impact of NIR wavelength lighting in image acquisition on finger vein biometric system effectiveness , 2017 .

[111]  Fei Zhou,et al.  Comparative competitive coding for personal identification by using finger vein and finger dorsal texture fusion , 2014, Inf. Sci..

[112]  B. B. Zaidan,et al.  An Enhanced Security Solution for Electronic Medical Records Based on AES Hybrid Technique with SOAP/XML and SHA-1 , 2013, Journal of Medical Systems.

[113]  Silvia Moreno,et al.  Remote monitoring system of vital signs for triage and detection of anomalous patient states in the emergency room , 2016, 2016 XXI Symposium on Signal Processing, Images and Artificial Vision (STSIVA).

[114]  Pingzhi Fan,et al.  Performance evaluation of score level fusion in multimodal biometric systems , 2010, Pattern Recognit..

[115]  Mamadou Bilo Doumbouya,et al.  A framework for decision making on teleexpertise with traceability of the reasoning , 2015 .

[116]  Shi-Jinn Horng,et al.  An Improved Score Level Fusion in Multimodal Biometric Systems , 2009, 2009 International Conference on Parallel and Distributed Computing, Applications and Technologies.

[117]  Gongping Yang,et al.  Exploring soft biometric trait with finger vein recognition , 2014, Neurocomputing.

[118]  Andrew Beng Jin Teoh,et al.  Multi-instance finger vein recognition using minutiae matching , 2013, 2013 6th International Congress on Image and Signal Processing (CISP).

[119]  Yi Zhang,et al.  DeepVein: Novel finger vein verification methods based on Deep Convolutional Neural Networks , 2017, 2017 IEEE International Conference on Identity, Security and Behavior Analysis (ISBA).

[120]  Shahrel Azmin Suandi,et al.  Fusion of Band Limited Phase Only Correlation and Width Centroid Contour Distance for finger based biometrics , 2014, Expert Syst. Appl..

[121]  Habib Youssef,et al.  Lightweight and confidential data aggregation in healthcare wireless sensor networks , 2016, Trans. Emerg. Telecommun. Technol..

[122]  Anastasios Tefas,et al.  Emerging biometric modalities: a survey , 2008, Journal on Multimodal User Interfaces.

[123]  Athanasios V. Vasilakos,et al.  Secure Authentication for Remote Patient Monitoring with Wireless Medical Sensor Networks † , 2016, Sensors.

[124]  Washington Y. Sanchez,et al.  Multiphoton fluorescence microscopy of the live kidney in health and disease , 2014, Journal of biomedical optics.

[125]  Shahrel Azmin Suandi,et al.  Finger Vein Recognition Using Local Line Binary Pattern , 2011, Sensors.

[126]  Amy Butros,et al.  Research Paper: Giving Patients Access to Their Medical Records via the Internet: The PCASSO Experience , 2002, J. Am. Medical Informatics Assoc..

[127]  B. B. Zaidan,et al.  Real-time-based E-health systems: design and implementation of a lightweight key management protocol for securing sensitive information of patients , 2018, Health and Technology.

[128]  Jos M G A Schols,et al.  Usability of a wearable fall detection prototype from the perspective of older people–A real field testing approach , 2018, Journal of clinical nursing.

[129]  Hiroyuki Suzuki,et al.  Secure biometric image sensor and authentication scheme based on compressed sensing. , 2013, Applied optics.

[130]  Mrunali Jadhav,et al.  Implementation of an embedded hardware of FVRS on FPGA , 2015, 2015 International Conference on Information Processing (ICIP).

[131]  Christoph Busch,et al.  Feature extraction from vein images using spatial information and chain codes , 2012, Inf. Secur. Tech. Rep..

[132]  Ting Wu,et al.  Generating stable biometric keys for flexible cloud computing authentication using finger vein , 2016, Inf. Sci..

[133]  Othman Omran Khalifa,et al.  Suitability of using symmetric key to secure multimedia data: an overview, , 2010 .

[134]  Ya-Wen Chang,et al.  Development of neural network techniques for finger-vein pattern classification , 2010, International Conference on Digital Image Processing.

[135]  Kenta Takahashi,et al.  Optimal sequential fusion for multibiometric cryptosystems , 2016, Inf. Fusion.

[136]  刘通,et al.  Finger-vein Pattern Restoration with Direction-Variance-Boundary Constraint Search , 2015 .