Title | Internet of Things Eco-systems: Assured Interactivity of Devices and Data Through Cloud Based Team Work |
Publication Type | Conference Paper |
Year of Publication | 2017 |
Authors | Randles, Martin, Johnson, Princy, Hussain, Abir |
Conference Name | Proceedings of the Second International Conference on Internet of Things, Data and Cloud Computing |
Publisher | ACM |
Conference Location | New York, NY, USA |
ISBN Number | 978-1-4503-4774-7 |
Keywords | assured federated behaviour for sensors, assured interaction, assured model, composability, compositionality, Computing Theory, IoT, pubcrawl, Sensors, situation calculus |
Abstract | IoT systems continue to grow in scale and exhibit similarities to complex systems seen in nature and biology: Systems are composed of heterogeneous entities (mobile devices, servers, sensors, data items, databases, etc.) coordinated in a Cloud environment forming a digital eco-system. Properties of such systems include variety, emergent outcome, self-organisation, etc. The scale of IoT systems, and the disparity in the capabilities of the devices on the market, means there needs to be a unifying model to enable a secure and assured interaction among those `things'. The authors propose conceptual designs for an efficient architecture, run-time decision models using assured models for such an interaction in a digital eco-system. This is done using the situation calculus modelling to represent the fundamental requirements for adjustable decentralised feedback control mechanisms necessary for the IoT-ready software systems: It is shown that complex properties and emergent outcomes of the system can be deduced, emanating from the simple distributed interaction models. A case study from the rail industry is used to assess the design and possible implementation. |
URL | http://doi.acm.org/10.1145/3018896.3065842 |
DOI | 10.1145/3018896.3065842 |
Citation Key | randles_internet_2017 |