Engineering Resilient Collaborative Edge-Enabled IoT

Novel scenarios like IoT and smart cities promote a vision of computational ecosystems whereby heterogeneous collectives of humans, devices and computing infrastructure interact to provide various services. There, autonomous agents with different capabilities are expected to cooperate towards global goals in dependable ways. This is challenging, as deployments are within unknown, changing and loosely connected environments characterized by lack of centralized control, where components may come and go, or disruption may be caused by failures. Key issues include (i) how to leverage, functionally and non-functionally, forms of opportunistic computing and locality that often underlie IoT scenarios; (ii) how to design and operate large-scale, resilient ecosystems through suitable assumptions, decentralized control, and adaptive mechanisms; and (iii) how to capture and enact "global" behaviors and properties, when the system consists of heterogeneous, autonomous entities. In this paper, we propose a model for resilient, collaborative edge-enabled IoT that leverages spatial locality, opportunistic agents, and coordinator nodes at the edge. The engineering approach is declarative and configurable, and works by dynamically dividing the environment into collaboration areas coordinated by edge devices. We provide an implementation as a collective, self-organizing workflow based on Aggregate Computing, provide evaluation by means of simulation, and finally discuss properties and general applicability of the approach.

[1]  Jean Arlat,et al.  Towards resilient cyber-physical systems: The ADREAM project , 2014, 2014 9th IEEE International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS).

[2]  Jacob Beal,et al.  Adaptive Opportunistic Airborne Sensor Sharing , 2018, ACM Trans. Auton. Adapt. Syst..

[3]  Jacob Beal,et al.  Error in Self-Stabilizing Spanning-Tree Estimation of Collective State , 2017, 2017 IEEE 2nd International Workshops on Foundations and Applications of Self* Systems (FAS*W).

[4]  George Suciu,et al.  Smart Cities Built on Resilient Cloud Computing and Secure Internet of Things , 2013, 2013 19th International Conference on Control Systems and Computer Science.

[5]  Mirko Viroli,et al.  Compositional Blocks for Optimal Self-Healing Gradients , 2017, 2017 IEEE 11th International Conference on Self-Adaptive and Self-Organizing Systems (SASO).

[6]  Mirko Viroli,et al.  Programming Actor-Based Collective Adaptive Systems , 2018, Programming with Actors.

[7]  Rajiv Ranjan,et al.  Osmotic Flow: Osmotic Computing + IoT Workflow , 2017, IEEE Cloud Computing.

[8]  Nikil D. Dutt,et al.  Resilient dependable cyber-physical systems: a middleware perspective , 2011, Journal of Internet Services and Applications.

[9]  Jacob Beal,et al.  Aggregate Programming for the Internet of Things , 2015, Computer.

[10]  Andrea Omicini,et al.  Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain , 2018, Goodtechs '18.

[11]  Giancarlo Fortino,et al.  Modelling and simulation of Opportunistic IoT Services with Aggregate Computing , 2019, Future Gener. Comput. Syst..

[12]  Jean-Charles Fabre Architecting resilient computing systems: Overall approach and open issues , 2011, 2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks Workshops (DSN-W).

[13]  Hossam S. Hassanein,et al.  Resilient IoT Architectures Over Dynamic Sensor Networks With Adaptive Components , 2017, IEEE Internet of Things Journal.

[14]  Schahram Dustdar,et al.  IoT Design Patterns: Computational Constructs to Design, Build and Engineer Edge Applications , 2016, 2016 IEEE First International Conference on Internet-of-Things Design and Implementation (IoTDI).

[15]  Daniele Miorandi,et al.  A Programming Model for Hybrid Collaborative Adaptive Systems , 2020, IEEE Transactions on Emerging Topics in Computing.

[16]  Robert S. Swarz,et al.  Reliable Computer Systems: Design and Evaluation , 1992 .

[17]  Paramvir Bahl,et al.  The Case for VM-Based Cloudlets in Mobile Computing , 2009, IEEE Pervasive Computing.

[18]  Dong Seong Kim,et al.  System resiliency quantification using non-state-space and state-space analytic models , 2013, Reliab. Eng. Syst. Saf..

[19]  Jacob Beal,et al.  Engineering Resilient Collective Adaptive Systems by Self-Stabilisation , 2017, ACM Trans. Model. Comput. Simul..

[20]  Qing Han,et al.  The Scale2 Multi-Network Architecture for IoT-Based Resilient Communities , 2016, 2016 IEEE International Conference on Smart Computing (SMARTCOMP).

[21]  Daniel Moldovan,et al.  Elastic systems: Towards cyber-physical ecosystems of people, processes, and things , 2018, Comput. Stand. Interfaces.

[22]  Marília Curado,et al.  A resilient Internet of Things architecture for smart cities , 2017, Ann. des Télécommunications.

[23]  Mirko Viroli,et al.  Simulating large-scale aggregate MASs with alchemist and scala , 2016, 2016 Federated Conference on Computer Science and Information Systems (FedCSIS).

[24]  Reza Olfati-Saber,et al.  Consensus and Cooperation in Networked Multi-Agent Systems , 2007, Proceedings of the IEEE.

[25]  Mirko Viroli,et al.  Towards attack-resistant Aggregate Computing using trust mechanisms , 2018, Sci. Comput. Program..

[26]  Mirko Viroli,et al.  On execution platforms for large-scale aggregate computing , 2016, UbiComp Adjunct.

[27]  C. S. Holling Resilience and Stability of Ecological Systems , 1973 .

[28]  Jacek Rak,et al.  Principles of Communication Networks Resilience , 2015 .

[29]  Jean Arlat,et al.  Fault injection for formal testing of fault tolerance , 1996, IEEE Trans. Reliab..

[30]  Kishor S. Trivedi,et al.  Quantifying Resiliency of IaaS Cloud , 2010, SRDS.

[31]  Monica Dragoicea,et al.  Emergent intelligence in agents: A scalable architecture for smart cities , 2014, 2014 18th International Conference on System Theory, Control and Computing (ICSTCC).

[32]  Kemal A. Delic On Resilience of IoT Systems , 2016, Ubiquity.

[33]  Ju Ren,et al.  Serving at the Edge: A Scalable IoT Architecture Based on Transparent Computing , 2017, IEEE Network.

[34]  Flaviu Cristian,et al.  Understanding fault-tolerant distributed systems , 1991, CACM.

[35]  Jacob Beal,et al.  An Aggregate Computing Approach to Self-Stabilizing Leader Election , 2018, 2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS*W).

[36]  Maria Gradinariu Potop-Butucaru,et al.  Optimal Byzantine-resilient convergence in uni-dimensional robot networks , 2010, Theor. Comput. Sci..

[37]  Simona Bernardi,et al.  Dependability modeling and analysis of software systems specified with UML , 2012, CSUR.

[38]  Jacob Beal,et al.  From Field-Based Coordination to Aggregate Computing , 2018, COORDINATION.