Scipediacontent: Scipediacontent moved page Draft Content 292676230 to Marir et al 2017a

2021-02-03T14:56:16Z

Scipediacontent moved page Draft Content 292676230 to Marir et al 2017a

Scipediacontent: Created page with " == Abstract == International audience; The Internet of Things (IoT) consists in connecting every aspect of daily and professional life to a common infrastructure, in order t..."

2021-02-03T14:56:13Z

Created page with " == Abstract == International audience; The Internet of Things (IoT) consists in connecting every aspect of daily and professional life to a common infrastructure, in order t..."

New page

== 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]

← Older revision	Revision as of 14:56, 3 February 2021
(No difference)

Marir et al 2017a - Revision history

Scipediacontent: Scipediacontent moved page Draft Content 292676230 to Marir et al 2017a

Scipediacontent: Created page with " == Abstract == International audience; The Internet of Things (IoT) consists in connecting every aspect of daily and professional life to a common infrastructure, in order t..."