Lecture Notes in Networks and Systems

Volume 1

Series editor Janusz Kacprzyk, Polish Academy of Sciences, Warsaw, Poland e-mail: [email protected] The series “Lecture Notes in Networks and Systems” publishes the latest developments in Networks and Systems—quickly, informally and with high quality. Original research reported in proceedings and post-proceedings represents the core of LNNS. Volumes published in LNNS embrace all aspects and subfields of, as well as new challenges in, Networks and Systems. The series contains proceedings and edited volumes in systems and networks, spanning the areas of Cyber-Physical Systems, Autonomous Systems, Sensor Networks, Control Systems, Energy Systems, Automotive Systems, Biological Systems, Vehicular Networking and Connected Vehicles, Aerospace Systems, Automation, Manufacturing, Smart Grids, Nonlinear Systems, Power Systems, Robotics, Social Systems, Economic Systems and other. Of particular value to both the contributors and the readership are the short publication timeframe and the world-wide distribution and exposure which enable both a wide and rapid dissemination of research output. The series covers the theory, applications, and perspectives on the state of the art and future developments relevant to systems and networks, decision making, control, complex processes and related areas, as embedded in the fields of interdisciplinary and applied sciences, engineering, computer science, physics, economics, social, and life sciences, as well as the paradigms and methodologies behind them. Advisory Board Fernando Gomide, Department of Computer Engineering and Automation – DCA, School of Electrical and Computer Engineering – FEEC, University of Campinas – UNICAMP, São Paulo, Brazil e-mail: [email protected] Okyay Kaynak, Department of Electrical and Electronic Engineering, Bogazici University, Istanbul, Turkey e-mail: [email protected] Derong Liu, Department of Electrical and Computer Engineering, University of Illinois at Chicago, Chicago, USA and Institute of Automation, Chinese Academy of Sciences, Beijing, China e-mail: [email protected] Witold Pedrycz, Department of Electrical and Computer Engineering, University of Alberta, Alberta, Canada and Systems Research Institute, Polish Academy of Sciences, Warsaw, Poland e-mail: [email protected] Marios M. Polycarpou, KIOS Research Center for Intelligent Systems and Networks, Department of Electrical and Computer Engineering, University of Cyprus, Nicosia, Cyprus e-mail: [email protected] Imre J. Rudas, Óbuda University, Budapest Hungary e-mail: [email protected] JunWangDepartment of Computer ScienceCity University of Hong Kong Kowloon Hong Kong e-mail: [email protected]

More information about this series at http://www.springer.com/series/15179 Salim Chikhi ⋅ Abdelmalek Amine Allaoua Chaoui ⋅ Mohamed Khireddine Kholladi Djamel Eddine Saidouni Editors

Modelling and Implementation of Complex Systems Proceedings of the 4th International Symposium, MISC 2016, May 7–8, 2016, Constantine, Algeria

123 Editors Salim Chikhi Mohamed Khireddine Kholladi Faculty of New Information and Faculty of Science and Technology, Communication Technologies Department of Mathematics and University of Constantine 2 Computer Science Constantine University of El Oued Algeria El Oued Algeria Abdelmalek Amine GeCoDe Laboratory Djamel Eddine Saidouni Faculty of Technology Faculty of New Information and University of Saida Communication Technologies Saida University of Constantine 2 Algeria Constantine Algeria Allaoua Chaoui Faculty of New Information and Communication Technologies University of Constantine 2 Constantine Algeria

ISSN 2367-3370 ISSN 2367-3389 (electronic) Lecture Notes in Networks and Systems ISBN 978-3-319-33409-7 ISBN 978-3-319-33410-3 (eBook) DOI 10.1007/978-3-319-33410-3

Library of Congress Control Number: 2016937376

© Springer International Publishing Switzerland 2016 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. The publisher, the authors and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publication. Neither the publisher nor the authors or the editors give a warranty, express or implied, with respect to the material contained herein or for any errors or omissions that may have been made.

Printed on acid-free paper

This Springer imprint is published by Springer Nature The registered company is Springer International Publishing AG Switzerland Preface

This volume contains research papers accepted and presented at the 4th Interna- tional Symposium on Modelling and Implementation of Complex Systems (MISC 2016), held on 7–8 May 2016 in Constantine, Algeria. As the previous editions (MISC 2010, MISC 2012, and MISC 2014), this symposium is intended as a tradition offering open forum and meeting space for researchers working in the field of complex systems science. This year, the MISC symposium received 175 submissions from 12 countries: Algeria, Canada, Ireland, France, Luxembourg, Morocco, Oman, Portugal, Tunisia, Saudi Arabia, UK and USA. In a rigorous reviewing process, the Program Com- mittee selected 25 papers, which represents an acceptance rate of 15 %. However, we have not received the camera-ready copies of two papers. So, the proceedings include 23 papers. The PC included 115 researchers and 31 additional reviewers from 14 countries. The accepted papers were organized into sessions as follows: Networking and Cloud Computing, Software Engineering and Formal Methods, Intelligent and Information Systems, and Algorithms and Complexity. This volume includes also the abstracts of the keynote talks presented by Mérouane Debbah, Professor at CentraleSupélec, France; Rafael Capilla, Associate Professor at Rey Juan Carlos University, Madrid, Spain; and Mathieu Roche, Research Scientist at CIRAD, Montpellier, France. We thank Dr. Nabil Belala for managing EasyChair system for MISC 2016 from submissions to proceedings elaboration. We are graceful to the Program Committee and Organizing Committee members for their contribution in the success of the symposium. Finally, we thank the authors who submitted papers to the conference.

Constantine, Algeria Salim Chikhi March 2016 Abdelmalek Amine

v Organization

The 4th International Symposium on Modelling and Implementation of Complex Systems (MISC 2016) was organized by University of Constantine 2—Abdelhamid Mehri and took place in Constantine, Algeria (7–8 May 2016).

Honorary Chairs

Mohamed Elhadi Latreche, University of Constantine 2, Algeria Zaidi Sahnoun, University of Constantine 2, Algeria

General Chairs

Salim Chikhi, University of Constantine 2, Algeria Abdelmalek Amine, University of Saïda, Algeria

Steering Committee

Allaoua Chaoui, University of Constantine 2, Algeria Salim Chikhi, University of Constantine 2, Algeria M Khireddine Kholladi, University of El Oued, Algeria Djamel Eddine Saïdouni, University of Constantine 2, Algeria

Organizing Committee Chairs

Mourad Bouzenada, University of Constantine 2, Algeria Chaker Mezioud, University of Constantine 2, Algeria

vii viii Organization

Organizing Committee

Saïd Labed, University of Constantine 2, Algeria Raida Elmansouri, University of Constantine 2, Algeria Ilhem Kitouni, University of Constantine 2, Algeria Redouane Nouara, University of Constantine 2, Algeria Fayal Bachtarzi, University of Constantine 2, Algeria Ahmed Chaouki Chaouche, University of Constantine 2, Algeria Sofiane Chemaa, University of Constantine 2, Algeria Kamel Houari, University of Constantine 2, Algeria

Publication Chairs

Ahmad Taher Azar, Benha University, Egypt Nabil Belala, University of Constantine 2, Algeria Hacène Belhadef, University of Constantine 2, Algeria Amer Draâ, University of Constantine 2, Algeria Abdesselem Layeb, University of Constantine 2, Algeria

Publicity and Sponsor Chairs

Abdelkrim Bouramoul, University of Constantine 2, Algeria Mohamed Gharzouli, University of Constantine 2, Algeria

Program Committee Chairs

Allaoua Chaoui, University of Constantine 2, Algeria Djamel Eddine Saïdouni, University of Constantine 2, Algeria

Program Committee

Sihem Abbassen, University of Constantine 2, Algeria Abdelkrim Abdelli, USTHB, Algeria Nabil Absi, Ecole des Mines de Saint-Etienne, France Abdelkader Adla, University of Oran 1, Algeria Othmane Ait Mohamed, Concordia University, Canada Abdelmalek Amine, University of Saida, Algeria Abdelkrim Amirat, University of Souk Ahras, Algeria Organization ix

Baghdad Atmani, University of Oran 1, Algeria M. Chaouki Babahenini, University of Biskra, Algeria Abdelmalik Bachir, University of Biskra, Algeria Amar Balla, Ecole Supérieure d’Informatique (ESI), Algeria Kamel Barkaoui, Cedric-Cnam, Paris, France M. Chaouki Batouche, University of Constantine 2, Algeria Faiza Belala, University of Constantine 2, Algeria Nabil Belala, University of Constantine 2, Algeria Ghalem Belalem, University of Oran 1, Algeria Hacène Belhadef, University of Constantine 2, Algeria Fouzia Benchikha, University of Constantine 2, Algeria Djamel Benmerzoug, University of Constantine 2, Algeria Mohamed Benmohammed, University of Constantine 2, Algeria Djamal Bennouar, University of Blida, Algeria Hammadi Bennoui, University of Biskra, Algeria Azeddine Bilami, University of Batna, Algeria Salim Bitam, University of Biskra, Algeria Karim Bouamrane, University of Oran 1, Algeria Djalel Eddine Boubiche, University of Batna, Algeria Samia Boucherkha, University of Constantine 2, Algeria Rachid Boudour, University of Annaba, Algeria Mahmoud Boufaida, University of Constantine 2, Algeria Zizette Boufaida, University of Constantine 2, Algeria Zineddine Bouras, EPST, Annaba, Algeria Elbey Bourennane, University of Bourgogne, France Mourad Bouzenada, University of Constantine 2, Algeria Rachid Chalal, Ecole Supérieure d'Informatique (ESI), Algeria Allaoua Chaoui, University of Constantine 2, Algeria Foudil Cherif, University of Biskra, Algeria Mohamed Amine Chikh, University of Tlemcen, Algeria Salim Chikhi, University of Constantine 2, Algeria Abdellah Chouarfia, USTO, Oran, Algeria Pierre de Saqui-Sannes, ISAE, Toulouse, France Mérouane Debbah, CentraleSupelec, France Lynda Dib, University of Annaba, Algeria Noureddine Djedi, University of Biskra, Algeria Karim Djemame, University of Leeds, UK Mahieddine Djoudi, University of Poitiers, France Amer Draâ, University of Constantine 2, Algeria Khalil Drira, LAAS-CNRS, Toulouse, France Amel El Fallah, LIP6, University of Pierre and Marie Curie, France Zakaria Elberrichi, University of Sidi Belabbes, Algeria Sami Faiz, ISAMM, Tunisia Nadir Farah, University of Annaba, Algeria Kamel Mohamed Faraoun, University of Sidi Belabbes x Organization

Djamel Fekki, University of Sfax, Tunisia Djamel Gaceb, University of Boumerdes, Algeria M. Mohcen Gammoudi, ISAMM, Tunisia Salim Ghanemi, University of Annaba, Algeria Mohamed Gharzouli, University of Constantine 2, Algeria Nacira Ghoualmi, University of Annaba, Algeria Said Ghoul, Philadelphia University, Jordan Djamila Hamdadou, University of Oran, Algeria Youcef Hammal, USTHB, Algeria Reda Mohamed Hamou, University of Saida, Algeria Sofiane Hamrioui, Université de Haute-Alsace, Mulhouse, France Jean-Michel Ilié, LIP6, Université Pierre et Marie Curie, France Laid Kahloul, University of Biskra, Algeria Okba Kazar, University of Biskra, Algeria Elhillali Kerkouche, University of Jijel, Algeria Tarek Khadir, University of Annaba, Algeria Hamamache Kheddouci, University of Lyon 1, France Mohamed Fayçal Khelfi, University of Oran 1, Algeria M. Khireddine Kholladi, University of El Oued, Algeria Kamel Khoualdi, King Abdulaziz University, KSA Mohamed Tahar Kimour, University of Annaba, Algeria Nour-Eddine Lachachi, University of Oran 1, Algeria Yacine Lafifi, University of Guelma, Algeria Slimane Larabi, USTHB, Algeria Mohamed Tayeb Laskri, University of Annaba, Algeria Abdesselem Layeb, University of Constantine 2, Algeria Ali Lemouari, University of Jijel, Algeria Latifa Mahdaoui, USTHB, Algeria Mimoun Malki, University of Sidi Belabbes, Algeria Smaine Mazouzi, University of Skikda, Algeria Kamel Eddine Melkemi, University of Biskra, Algeria El Kamel Merah, University of Khenchela, Algeria Salah Merniz, University of Constantine 2, Algeria Hayet-Farida Merouani, University of Annaba, Algeria Souham Meshoul, University of Constantine 2, Algeria Djamel Meslati, University of Annaba, Algeria Belhadri Messabih, USTO, Oran, Algeria Chaker Mezioud, University of Constantine 2, Algeria Abdelouaheb Moussaoui, University of Sétif 1, Algeria Ramdane Mâamri, University of Constantine 2, Algeria Smail Niar, University of Valenciennes, France Salima Ouadfel, University of Constantine 2, Algeria Mathieu Roche, CIRAD, Montpellier, France Paolo Rosso, Technical University of Valencia, Spain Zaidi Sahnoun, University of Constantine 2, Algeria Organization xi

Djamel Eddine Saïdouni, University of Constantine 2, Algeria Larbi Sekhri, University of Oran, Algeria Djamel Seriai, University of Montpellier 2, France Hamid Seridi, University of Guelma, Algeria Hassina Seridi, University of Annaba, Algeria Yahya Slimani, ISAMM, Tunisia Noria Taghezout, University of Oran 1, Algeria Hichem Talbi, AEK University, Constantine, Algeria Souad Taleb Zouggar, University of Oran 1, Algeria Said Talhi, University of Batna, Algeria Thouraya Tebbibel, Ecole Supérieure d’Informatique (ESI), Algeria Sadek Labib Terissa, University of Biskra, Algeria Chouki Tibermacine, University of Montpellier 2, France Salah Toumi, University of Annaba, Algeria Belabbas Yagoubi, University of Oran 1, Algeria Nacer Eddine Zarour, University of Constantine 2, Algeria Tewfik Ziadi, Universite Pierre et Marie Curie, Paris, France Abdelmadjid Zidani, University of Batna, Algeria

Co-editors

Abdelmalek Amine, University of Saïda, Algeria Allaoua Chaoui, University of Constantine 2, Algeria Salim Chikhi, University of Constantine 2, Algeria M. Khireddine Kholladi, University of El Oued, Algeria Djamel Eddine Saïdouni, University of Constantine 2, Algeria

Additional Reviewers

Abdaoui, Amine Abdelhamid, Djeffal Arfi, Farid Benaliouche, Houda Bendaoud, Zakaria Bennama, Miloud Bensalem, Imene Berkane, Mohamed Bouanaka, Mohamed Ali Bouchareb, Nassima Brahimi, Said Cagnina, Leticia Chaouche, Ahmed Chaouki xii Organization

Cherfia, Taha Abdelmoutaleb Chettibi, Saloua El Habib Daho, Mostafa Gassara, Amal Gómez Adrián, Jon Ander Hamidouche, Kenza Hammal, Youcef Hernández Farias, Delia Irazú Kef, Mâamar Kerdoudi, Mohamed Lamine Labed, Saïd Lila, Meziani Mokhtar, Taffar Mustapha Kamel, Abdi Seridi, Hassina Settouti, Nesma Tibermacine, Okba Yachba, Khadidja Contents

Part I Algorithms and Complexity A Review on Different Image Encryption Approaches...... 3 Amina Souyah and Kamel Mohamed Faraoun Palmprint Image Quality Measurement Algorithm ...... 19 Fares Guerrache and Hamid Haddadou Bioinspired Inference System for Medical Image Segmentation ...... 31 Hakima Zouaoui and Abdelouahab Moussaoui Realization of Gymnastic Movements on the Bar by Humanoid Robot Using a New Selfish Gene Algorithm ...... 49 Lyes Tighzert and Boubekeur Mendil Reduction of Solution Space in the Automotive Safety Integrity Levels Allocation Problem ...... 67 Youcef Gheraibia, Khaoula Djafri and Habiba Krimou A Novel Bio Inspired Algorithm Based on Echolocation Mechanism of Bats for Seismic Hazards Detection ...... 77 Mohamed Elhadi Rahmani, Abdelmalek Amine, Reda Mohamed Hamou, Amine Rahmani, Hanane Menad, Hadj Ahmed Bouarara and Mohamed Amine Boudia Enhanced Chemical Reaction Optimization for Multi-objective Traveling Salesman Problem ...... 91 Samira Bouzoubia, Abdesslem Layeb and Salim Chikhi Adaptive Cuckoo Search Algorithm for the Bin Packing Problem .... 107 Zakaria Zendaoui and Abdesslem Layeb

xiii xiv Contents

Part II Intelligent and Information Systems Greedy Mean Squared Residue for Texture Images Retrieval ...... 123 Salah Bougueroua and Bachir Boucheham Clustering to Enhance Case-Based Reasoning ...... 137 Abdelhak Mansoul and Baghdad Atmani Improving the Method of Wrist Localization Local Minimum-Based for Hand Detection ...... 153 Sofiane Medjram, Mohamed Chaouki Babahenini, Mohamed Ben Ali Yamina and Abdelmalik Taleb-Ahmed Parkinson’s Disease Recognition by Speech Acoustic Parameters Classification...... 165 D. Meghraoui, B. Boudraa, T. Merazi-Meksen and M. Boudraa

Part III Networking and Cloud Computing The Finger-Knuckle-Print Recognition Using the Kernel Principal Components Analysis and the Support Vector Machines ...... 177 S. Khellat-Kihel, R. Abrishambaf, J. Cabral, J.L. Monteiro and M. Benyettou An Intelligent Management of Lighting in an Ambient Environment with a Multi-agent System ...... 187 Aouatef Chaib, Boussebough Imen and Chaoui Allaoua A Proposal for Shared VMs Management in IaaS Clouds ...... 201 Sid Ahmed Makhlouf and Belabbas Yagoubi Cloud Simulation Model Based on Large Numbers Law for Evaluating Fault Tolerance Approaches ...... 217 Oussama Hannache and Mohamed Batouche Towards an Inter-organizational Collaboration Network Characterization ...... 233 Kahina Semar-Bitah and Kamel Boukhalfa Asymmetric End-to-End Security for Human-to-Thing Communications in the Internet of Things ...... 249 Somia Sahraoui and Azeddine Bilami Mobile User Location Tracking with Unreliable Data ...... 261 Samia Zouaoui and Abdelmalik Bachir Contents xv

Part IV Software Engineering and Formal Methods Two Stages Feature Selection Based on Filter Ranking Methods and SVMRFE on Medical Applications ...... 281 Hayet Djellali, Nacira Ghoualmi Zine and Nabiha Azizi A Formal Approach for Maintainability and Availability Assessment Using Probabilistic Model Checking ...... 295 Abdelhakim Baouya, Djamal Bennouar, Otmane Ait Mohamed and Samir Ouchani A Locally Sequential Globally Asynchronous Net from Maximality-Based Labelled Transition System ...... 311 Adel Benamira and Djamel-Eddine Saidouni A Pairwise Approach for Model Merging ...... 327 Mohammed Boubakir and Allaoua Chaoui

Author Index ...... 341