BiAgent-Based Model for IoT Applications

Souad Marir (1) , Roumeissa Kitouni (2) , Zakaria Benzadri (1) , Faiza Belala (1)

1 LIRE laboratory, Constantine
2 School of Electronics and Information Engineering [Harbin, Chine]

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 (RCTool4 Bigraphs), 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.

Mots clés: Advanced Driver Assistance Systems; BAM4IoT; Bigraphs; BiAgents; Collision Avoidance System; Formal Specification; Internet of Things; RCTool4 Bigraphs

Domaines: Informatique [cs]

Souad Marir, Roumeissa Kitouni, Zakaria Benzadri, Faiza Belala. BiAgent-Based Model for IoT Applications. ICSOC, Nov 2017, Malagà, Spain. pp.111-123, ⟨10.1007/978-3-319-91764-1_9⟩. ⟨hal-02507243⟩