Where Do Your IoT Ingredients Come From?

Abstract : 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.
Complete list of metadatas

Cited literature [19 references]  Display  Hide  Download

https://hal.inria.fr/hal-01631717
Contributor : Hal Ifip <>
Submitted on : Thursday, November 9, 2017 - 4:13:50 PM
Last modification on : Tuesday, February 26, 2019 - 10:55:14 AM
Long-term archiving on : Saturday, February 10, 2018 - 1:47:54 PM

File

416253_1_En_3_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

96

Files downloads

112