Search-based Software Engineering; Dynamic Adaptive Systems; Internet of Things; Software-defined Networks
Abstract :
[en] The concept of Internet of Things (IoT) has led to the development of many complex and critical systems such as smart emergency management systems. IoT-enabled applications typically depend on a communication network for transmitting large volumes of data in unpredictable and changing environments. These networks are prone to congestion when there is a burst in demand, e.g., as an emergency situation is unfolding, and therefore rely on configurable software-defined networks (SDN). In this paper, we propose a dynamic adaptive SDN configuration approach for IoT systems. The approach enables resolving congestion in real time while minimizing network utilization, data transmission delays and adaptation costs. Our approach builds on existing work in dynamic adaptive search-based software engineering (SBSE) to reconfigure an SDN while simultaneously ensuring multiple quality of service criteria. We evaluate our approach on an industrial national emergency management system, which is aimed at detecting disasters and emergencies, and facilitating recovery and rescue operations by providing first responders with a reliable communication infrastructure. Our results indicate that (1) our approach is able to efficiently and effectively adapt an SDN to dynamically resolve congestion, and (2) compared to two baseline data forwarding algorithms that are static and non-adaptive, our approach increases data transmission rate by a factor of at least 3 and decreases data loss by at least 70%.
Research center :
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Disciplines :
Computer science
Author, co-author :
SHIN, Seung Yeob ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
NEJATI, Shiva ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
SABETZADEH, Mehrdad ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
BRIAND, Lionel ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Arora, Chetan; Deakin University
Zimmer, Frank; SES Networks
External co-authors :
yes
Language :
English
Title :
Dynamic Adaptation of Software-defined Networks for IoT Systems: A Search-based Approach
Publication date :
May 2020
Event name :
International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Event place :
Seoul, South Korea
Event date :
from 25-05-2020 to 26-05-2020
Audience :
International
Main work title :
Proceedings of the 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'20)
ISBN/EAN :
978-1-4503-7962-5
Peer reviewed :
Peer reviewed
Focus Area :
Security, Reliability and Trust
European Projects :
H2020 - 694277 - TUNE - Testing the Untestable: Model Testing of Complex Software-Intensive Systems
Sugam Agarwal, Murali S. Kodialam, and T. V. Lakshman. 2013. Traffic Engineering in Software Defined Networks. In Proceedings of the 2013 Annual IEEE International Conference on Computer Communications (INFOCOM'13). 2211-2219.
Ian F. Akyildiz, Ahyoung Lee, PuWang, Min Luo, andWu Chou. 2014. A Roadmap for Traffic Engineering in SDN-OpenFlow Networks. Computer Networks 71 (2014), 1-30.
Ala Al-Fuqaha, Mohsen Guizani, Mehdi Mohammadi, Mohammed Aledhari, and Moussa Ayyash. 2015. Internet of Things: A Survey on Enabling Technologies, Protocols, and Applications. IEEE Communications Surveys Tutorials 17, 4 (2015), 2347-2376.
Mohammad Alizadeh, Albert G. Greenberg, David A. Maltz, Jitendra Padhye, Parveen Patel, Balaji Prabhakar, Sudipta Sengupta, and Murari Sridharan. 2010. Data Center TCP (DCTCP). In Proceedings of the 2010 ACM Conference on Special Interest Group on Data Communication (SIGCOMM'10). 63-74.
Rashid Amin, Martin Reisslein, and Nadir Shah. 2018. Hybrid SDN Networks: A Survey of Existing Approaches. IEEE Communications Surveys and Tutorials 20, 4 (2018), 3259-3306.
Saeed Akhoondian Amiri, Szymon Dudycz, Stefan Schmid, and Sebastian Wiederrecht. 2018. Congestion-Free Rerouting of Flows on DAGs. In Proceedings of the 45th International Colloquium on Automata, Languages, and Programming (ICALP'18). 143:1-143:13.
Ivan Dario Paez Anaya, Viliam Simko, Johann Bourcier, Noël Plouzeau, and Jean-Marc Jézéquel. 2014. A Prediction-driven Adaptation Approach for Self-Adaptive Sensor Networks. In Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'14). 145-154.
Sandro S. Andrade and Raimundo José de A. Macêdo. 2013. A Search-Based Approach for Architectural Design of Feedback Control Concerns in Self-Adaptive Systems. In Proceedings of the 7th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO'13). 61-70.
Andrea Arcuri and Gordon Fraser. 2011. On Parameter Tuning in Search Based Software Engineering. In Proceedings of the 3rd International Conference on Search Based Software Engineering (SSBSE'11). 33-47.
Luigi Atzori, Antonio Iera, and Giacomo Morabito. 2010. The Internet of Things: A survey. Computer Networks 54, 15 (2010), 2787-2805.
Taimur Bakhshi. 2017. State of the Art and Recent Research Advances in Software Defined Networking. Wireless Communications and Mobile Computing 2017 (2017), 1-35.
Jacob Beal, Mirko Viroli, Danilo Pianini, and Ferruccio Damiani. 2017. Self-Adaptation to Device Distribution in the Internet of Things. ACM Transactions on Autonomous and Adaptive Systems (TAAS) 12, 3 (2017), 12:1-12:29.
Pankaj Berde, Matteo Gerola, Jonathan Hart, Yuta Higuchi, Masayoshi Kobayashi, Toshio Koide, Bob Lantzand Brian O'Connor, Pavlin Radoslavov, William Snow, and Guru Parulkar. 2014. ONOS: Towards an Open, Distributed SDN OS. In Proceedings of the 3rd Workshop on Hot Topics in Software Defined Networking (HotSDN'14). 1-6.
August Betzler, Carles Gomez, Ilker Demirkol, and Josep Paradells. 2016. CoAP Congestion Control for the Internet of Things. IEEE Communications Magazine 54, 7 (2016), 154-160.
Md Zakirul Alam Bhuiyan, Jie Wu, Guojun Wang, Tian Wang, and Mohammad Mehedi Hassan. 2017. e-Sampling: Event-Sensitive Autonomous Adaptive Sensing and Low-Cost Monitoring in Networked Sensing Systems. ACM Transactions on Autonomous and Adaptive Systems (TAAS) 12, 1 (2017), 1:1-1:29.
Andrea Bianco, Paolo Giaccone, Ahsan Mahmood, Mario Ullio, and Vinicio Vercellone. 2015. Evaluating the SDN control traffic in large ISP networks. In Proceedings of the 2015 IEEE International Conference on Communications (ICC'15). 5248-5253.
Andrea Bianco, Paolo Giaccone, Reza Mashayekhi, Mario Ullio, and Vinicio Vercellone. 2017. Scalability of ONOS reactive forwarding applications in ISP networks. Computer Communications 102 (2017), 130-138.
Alessio Botta, Alberto Dainotti, and Antonio Pescapè. 2012. A Tool for The Generation of Realistic Network Workload for Emerging Networking Scenarios. Computer Networks 56, 15 (2012), 3531-3547.
Sebastian Brandt, Klaus-Tycho Foerster, and Roger Wattenhofer. 2016. On Consistent Migration of Flows in SDNs. In Proceedings of the 2016 Annual IEEE International Conference on Computer Communications (INFOCOM'16). 1-9.
Jürgen Branke, Kalyanmoy Deb, Henning Dierolf, and Matthias Osswald. 2004. Finding Knees in Multi-objective Optimization. In Proceedings of the 8th International Conference on Parallel Problem Solving from Nature (PPSN'04). 722-731.
Marcel Caria, Tamal Das, and Admela Jukan. 2015. Divide and conquer: Partitioning OSPF networks with SDN. In Proceedings of the 2015 IFIP/IEEE International Symposium on Integrated Network Management (IM'15). 467-474.
Ing-Ray Chen, Jia Guo, and Fenye Bao. 2016. Trust Management for SOA-Based IoT and Its Application to Service Composition. IEEE Transactions on Services Computing 9, 3 (2016), 482-495.
Tao Chen, Ke Li, Rami Bahsoon, and Xin Yao. 2018. FEMOSAA: Feature-Guided and Knee-Driven Multi-Objective Optimization for Self-Adaptive Software. ACM Transactions on Software Engineering and Methodology (TOSEM'18) 27, 2 (2018), 5:1-5:50.
Sheng-Hao Chiang, Jian-Jhih Kuo, Shan-Hsiang Shen, De-Nian Yang, and Wen-Tsuen Chen. 2018. Online Multicast Traffic Engineering for Software-Defined Networks. In Proceedings of the 2018 Annual IEEE International Conference on Computer Communications (INFOCOM'18). 414-422.
Zack Coker, David Garlan, and Claire Le Goues. 2015. SASS: Self-adaptation Using Stochastic Search. In Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'15). 168-174.
Rob Coltun, Dennis Ferguson, John Moy, and Acee Lindem. 2008. OSPF for IPv6. Internet Standard RFC 5340. Network Working Group.
Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein. 2009. Introduction to Algorithms (3rd ed.). The MIT Press.
Kalyanmoy Deb, Amrit Pratap, Sameer Agarwal, and T. Meyarivan. 2002. A Fast and Elitist Multiobjective Genetic Algorithm: NSGA-II. IEEE Transactions on Evolutionary Computation 6, 2 (2002), 182-197.
Nathalia Moraes do Nascimento and Carlos José Pereira de Lucena. 2017. FIoT: An Agent-Based Framework for Self-Adaptive and Self-Organizing Applications based on the Internet of Things. Information Sciences 378 (2017), 161-176.
Simone Ferlin, Özgü Alay, Thomas Dreibholz, David A. Hayes, and MichaelWelzl. 2016. Revisiting Congestion Control for Multipath TCP with Shared Bottleneck Detection. In Proceedings of the 2016 Annual IEEE International Conference on Computer Communications (INFOCOM'16). 1-9.
Filomena Ferrucci, Mark Harman, Jian Ren, and Federica Sarro. 2013. Not Going to Take This Anymore: Multi-objective Overtime Planning for Software Engineering Projects. In Proceedings of the 35th International Conference on Software Engineering (ICSE'13). 462-471.
Steven Gay, Renaud Hartert, and Stefano Vissicchio. 2017. Expect the Unexpected: Sub-Second Optimization for Segment Routing. In Proceedings of the 2017 Annual IEEE International Conference on Computer Communications (INFOCOM'17). 1-9.
Evangelos Haleplidis, Kostas Pentikousis, Spyros G. Denazis, Jamal Hadi Salim, David Meyer, and Odysseas G. Koufopavlou. 2015. Software-Defined Networking (SDN): Layers and Architecture Terminology. Information RFC 7426. Internet Research Task Force (IRTF).
Mark Harman, Edmund Burke, John Clark, and Xin Yao. 2012. Dynamic Adaptive Search Based Software Engineering. In Proceedings of the 2012 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM'12). 1-8.
Nicolas Harrand, Franck Fleurey, Brice Morin, and Knut Eilif Husa. 2016. ThingML: A Language and Code Generation Framework for Heterogeneous Targets. In Proceedings of the 19th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS'16). 125-135.
Keqiang He, Eric Rozner, KanakAgarwal, Yu (Jason) Gu, Wes Felter, John B. Carter, and Aditya Akella. 2016. AC/DC TCP: Virtual Congestion Control Enforcement for Datacenter Networks. In Proceedings of the 2016 ACM Conference on Special Interest Group on Data Communication (SIGCOMM'16). 244-257.
Hadi Hemmati, Andrea Arcuri, and Lionel C. Briand. 2011. Empirical Investigation of the Effects of Test Suite Properties on Similarity-Based Test Case Selection. In Proceedings of the 4th IEEE International Conference on Software Testing, Verification and Validation (ICST'11). 327-336.
Chi-Yao Hong, Srikanth Kandula, Ratul Mahajan, Ming Zhang, Vijay Gill, Mohan Nanduri, and RogerWattenhofer. 2013. Achieving High Utilization with Softwaredriven WAN. In Proceedings of the 2013 ACM Conference on Special Interest Group on Data Communication (SIGCOMM'13). 15-26.
Meitian Huang, Weifa Liang, Zichuan Xu, Wenzheng Xu, Song Guo, and Yinlong Xu. 2016. Dynamic Routing for Network Throughput Maximization in Software-Defined Networks. In Proceedings of the 2016 Annual IEEE International Conference on Computer Communications (INFOCOM'16). 1-9.
Muhammad Usman Iftikhar, Gowri Sankar Ramachandran, Pablo Bollansée, Danny Weyns, and Danny Hughes. 2017. DeltaIoT: A Self-Adaptive Internet of Things Exemplar. In Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'17). 76-82.
Dennis Ippoliti, Changjun Jiang, Zhijun Ding, and Xiaobo Zhou. 2016. Online Adaptive Anomaly Detection for Augmented Network Flows. ACM Transactions on Autonomous and Adaptive Systems (TAAS) 11, 3 (2016), 17:1-17:28.
Xin Jin, Hongqiang Harry Liu, Rohan Gandhi, Srikanth Kandula, Ratul Mahajan, Ming Zhang, Jennifer Rexford, and RogerWattenhofer. 2014. Dynamic Scheduling of Network Updates. In Proceedings of the 2014 ACM Conference on Special Interest Group on Data Communication (SIGCOMM'14). 539-550.
JeffreyO. Kephart and David M. Chess. 2003. The Vision ofAutonomic Computing. Computer 36, 1 (2003), 41-50.
Joshua D. Knowles and DavidW. Corne. 2000. Approximating the Nondominated Front Using the Pareto Archived Evolution Strategy. Evolutionary Computation 8, 2 (2000), 149-172.
Heiko Koziolek, Andreas Burger, and Jens Doppelhamer. 2018. Self-Commissioning Industrial IoT-Systems in Process Automation: A Reference Architecture. In Proceedings of the 2018 IEEE International Conference on Software Architecture (ICSA'18). 196-205.
Christian Krupitzer, Martin Breitbach, Felix Maximilian Roth, Sebastian VanSyckel, Gregor Schiele, and Christian Becker. 2018. A Survey on Engineering Approaches for Self-Adaptive Systems (Extended Version). Technical Report. University of Mannheim. 1-33 pages. Preprint published in Pervasive and Mobile Computing Journal, vol. 17, 2015, pp. 184-206.
Bob Lantz, Brandon Heller, and Nick McKeown. 2010. A Network in a Laptop: Rapid Prototyping for Software-defined Networks. In Proceedings of the 9th ACM SIGCOMM Workshop on Hot Topics in Networks (HotNets'10). 19:1-19:6.
Ying-Dar Lin, Hung-Yi Teng, Chia-Rong Hsu, Chun-Chieh Liao, and Yuan-Cheng Lai. 2016. Fast Failover and Switchover for Link Failures and Congestion in Software Defined Networks. In Proceedings of the 2016 IEEE International Conference on Communications (ICC'16). 1-6.
Felipe A. Lopes, Marcelo Santos, Robson Fidalgo, and Stenio F. L. Fernandes. 2016. A Software Engineering Perspective on SDN Programmability. IEEE Communications Surveys and Tutorials 18, 2 (2016), 1255-1272.
Henry B. Mann and Donald R. Whitney. 1947. On a Test of Whether one of Two Random Variables is Stochastically Larger than the Other. Annals of Mathematical Statistics 18, 1 (1947), 50-60.
Matthew Mathis and Jamshid Mahdavi. 1996. Forward Acknowledgement: Refining TCP Congestion Control. In Proceedings of the 1996 ACM Conference on Special Interest Group on Data Communication (SIGCOMM'96). 281-291.
Daniel A. Menascé, Hassan Gomaa, Sam Malek, and Jo ao P. Sousaa. 2011. SASSY: A Framework for Self-Architecting Service-Oriented Systems. IEEE Software 28, 6 (2011), 78-85.
Assaad Moawad, Thomas Hartmann, François Fouquet, Grégory Nain, Jacques Klein, and Yves Le Traon. 2015. Beyond discrete modeling: A continuous and efficient model for IoT. In Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS'15). 90-99.
Frederick Mosteller and John Wilder Tukey. 1977. Data Analysis and Regression: A Second Course in Statistics (first ed.). Pearson.
Sharief M. A. Oteafy and Hossam S. Hassanein. 2017. Resilient IoT Architectures Over Dynamic Sensor Networks With Adaptive Components. IEEE Internet of Things Journal 4, 2 (2017), 474-483.
Annibale Panichella, Fitsum Meshesha Kifetew, and Paolo Tonella. 2015. Reformulating Branch Coverage as a Many-Objective Optimization Problem. In Proceedings of the 8th IEEE International Conference on Software Testing, Verification and Validation (ICST'15). 1-10.
Henrique Brittes Pötter and Alexandre Sztajnberg. 2016. Adapting Heterogeneous Devices into an IoT Context-aware Infrastructure. In Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'16). 64-74.
Konstantinos Poularakis, George Iosifidis, Georgios Smaragdakis, and Leandros Tassiulas. 2019. Optimizing Gradual SDN Upgrades in ISP Networks. IEEE/ACM Transactions on Networking 27, 1 (2019), 288-301.
Evangelos Pournaras, Mark Ballandies, Dinesh Acharya, Manish Thapa, and Ben-Elias Brandt. 2018. Prototyping Self-managed Interdependent Networks: Self-healing Synergies against Cascading Failures. In Proceedings of the 13th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'18). 119-129.
Andres J. Ramirez and Betty H. C. Cheng. 2010. Design Patterns for Developing Dynamically Adaptive Systems. In Proceedings of the 2010 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'10). 49-58.
Andres J. Ramirez, David B. Knoester, Betty H. C. Cheng, and Philip K. McKinley. 2009. Applying Genetic Algorithms to Decision Making in Autonomic Computing Systems. In Proceedings of the 6th International Conference on Autonomic Computing (ICAC'09). 97-106.
Albert Rego, Sandra Sendra, José Miguel Jiménez, and Jaime Lloret. 2017. OSPF routing protocol performance in Software Defined Networks. In Proceedings of the 2017 4th International Conference on Software Defined Systems (SDS'17). 131-136.
Zach Shelby, Klaus Hartke, and Carsten Bormann. 2014. The Constrained Application Protocol (CoAP). Internet Standard RFC 7252. Internet Engineering Task Force (IETF).
Seung Yeob Shin, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Chetan Arora, and Frank Zimmer. 2020. [Case study data] Dynamic Adaptation of Software-defined Networks for IoT Systems: A Search-based Approach. https: //figshare. com/s/b4f6b58da221341989dc.
Michael Stein, Alexander Frömmgen, Roland Kluge, Frank Löffler, Andy Schürr, Alejandro Buchmann, and Max Mühlhäuser. 2016. TARL: Modeling Topology Adaptations for Networking Applications. In Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'16). 57-63.
Antero Taivalsaari and Tommi Mikkonen. 2017. A Roadmap to the Programmable World: Software Challenges in the IoT Era. IEEE Software 34, 1 (2017), 72-80.
Martin Tappler, Bernhard K. Aichernig, and Roderick Bloem. 2017. Model-Based Testing IoT Communication via Active Automata Learning. In Proceedings of the 10th International Conference on Software Testing, Verification and Validation (ICST'17). 276-287.
Wen Wang, Wenbo He, Jinshu Su, and Yixin Chen. 2016. Cupid: Congestion-free Consistent Data Plane Update In Software Defined Networks. In Proceedings of the 2016 Annual IEEE International Conference on Computer Communications (INFOCOM'16). 1-9.
DannyWeyns, M. Usman Iftikhar, Danny Hughes, and Nelson Matthys. 2018. Applying Architecture-Based Adaptation to Automate the Management of Internetof-Things. In Proceedings of the 12th European Conference on Software Architecture (ECSA'18). 49-67.
Sewell Wright. 1921. Correlation and Causation. Journal of Agricultural Research 20, 7 (1921), 557-585.
Parisa Zoghi, Mark Shtern, Marin Litoiu, and Hamoun Ghanbari. 2016. Designing Adaptive Applications Deployed on Cloud Environments. ACM Transactions on Autonomous and Adaptive Systems (TAAS) 10, 4 (2016), 25:1-25:26.