Where Do Your IoT Ingredients Come From? - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2016

Where Do Your IoT Ingredients Come From?

Chiara Bodei
  • Function : Author
  • PersonId : 1011354
Pierpaolo Degano
  • Function : Author
  • PersonId : 998108
Gian-Luigi Ferrari
  • Function : Author
  • PersonId : 998109
Letterio Galletta
  • Function : Author
  • PersonId : 1009064


The Internet of Things (IoT) is here: smart objects are pervading our everyday life. Smart devices automatically collect and exchange data of various kinds, directly gathered from sensors or generated by aggregations. Suitable coordination primitives and analysis mechanisms are in order to design and reason about IoT systems, and to intercept the implied technology shifts. We address these issues by defining IoT-LySa, a process calculus endowed with a static analysis that tracks the provenance and the route of IoT data, and detects how they affect the behaviour of smart objects.
Fichier principal
Vignette du fichier
416253_1_En_3_Chapter.pdf (281.14 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01631717 , version 1 (09-11-2017)





Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta. Where Do Your IoT Ingredients Come From?. 18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.35-50, ⟨10.1007/978-3-319-39519-7_3⟩. ⟨hal-01631717⟩
81 View
84 Download



Gmail Facebook X LinkedIn More