BiAgent-Based Model for IoT Applications


== Abstract ==

International audience; 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.


== Original document ==

The different versions of the original document can be found in:

* [https://hal.archives-ouvertes.fr/hal-02507243 https://hal.archives-ouvertes.fr/hal-02507243]

* [https://hal.inria.fr/hal-02507243 https://hal.inria.fr/hal-02507243]

* [http://link.springer.com/content/pdf/10.1007/978-3-319-91764-1_9 http://link.springer.com/content/pdf/10.1007/978-3-319-91764-1_9],
: [http://dx.doi.org/10.1007/978-3-319-91764-1_9 http://dx.doi.org/10.1007/978-3-319-91764-1_9] under the license http://www.springer.com/tdm

* [https://dblp.uni-trier.de/db/conf/icsoc/icsoc2017w.html#MarirKBB17 https://dblp.uni-trier.de/db/conf/icsoc/icsoc2017w.html#MarirKBB17],
: [https://link.springer.com/chapter/10.1007/978-3-319-91764-1_9 https://link.springer.com/chapter/10.1007/978-3-319-91764-1_9],
: [http://doi.org/10.1007/978-3-319-91764-1_9 http://doi.org/10.1007/978-3-319-91764-1_9],
: [https://doi.org/10.1007/978-3-319-91764-1_9 https://doi.org/10.1007/978-3-319-91764-1_9],
: [https://rd.springer.com/chapter/10.1007/978-3-319-91764-1_9 https://rd.springer.com/chapter/10.1007/978-3-319-91764-1_9],
: [https://academic.microsoft.com/#/detail/2807919017 https://academic.microsoft.com/#/detail/2807919017]

* [https://hal.archives-ouvertes.fr/hal-02507243 https://hal.archives-ouvertes.fr/hal-02507243],
: [https://hal.archives-ouvertes.fr/hal-02507243/document https://hal.archives-ouvertes.fr/hal-02507243/document],
: [https://hal.archives-ouvertes.fr/hal-02507243/file/paper.pdf https://hal.archives-ouvertes.fr/hal-02507243/file/paper.pdf]