Advertisement
Published in:
2018 | OriginalPaper | Chapter
BiAgent-Based Model for IoT Applications
Case of a Collision Avoidance System
Authors : Souad Marir, Roumeissa Kitouni, Zakaria Benzadri, Faiza Belala
Published in: Service-Oriented Computing – ICSOC 2017 Workshops
Publisher: Springer International Publishing
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Abstract
The Internet of Things (IoT) consists in connecting every aspect of daily and professional life to a common infrastructure, in order to improve considerably the efficiency of otherwise unthinking objects. The huge scale on which they operate, as well as the lack of adequate standards and infrastructures makes the development of IoT applications a task of gradually growing complexity. The objective of this work is to define a formal model with BiAgents (Bigraphical Agents) for IoT applications, based on a suggested generic multi-layered architecture. We show how bigraphs support the structural aspects modelisation of these applications while the agents specify their analytical and decisional aspects. We proceed then to the edition and execution of our model using the bigraph implementation tool (RCTool4Bigraphs), and through the exploitation of its model-checker, we formally verify its most critical property. As a practical example, we study the case of a Collision Avoidance System.