The adoption of precision agriculture has been enabled by the arrival of the new ICT technologies included in the wider context of the Internet of Things. We advocate that formal software engineering models and methodologies can provide support to the design of networks for precision agriculture. We propose here the process algebraic framework as a formal support for understanding the possible data-flows for decision-making, once identified from where data are to be gathered. In particular, we exploit IoT-LySa, a recently introduced process calculus, through which we model a possible agriculture scenario. We consider grape cultivation, with particular attention to a careful usage of water. The static analysis developed for IoT-LySa can be used for predicting the interactions among nodes, how data spread from sensors to the network, and how they are manipulated, so helping in water preservation.

Sustainable precision agriculture from a process algebraic perspective: a smart vineyard

Chiara BODEI
;
Pierpaolo DEGANO
;
Gian-Luigi FERRARI
;
Letterio GALLETTA
2018-01-01

Abstract

The adoption of precision agriculture has been enabled by the arrival of the new ICT technologies included in the wider context of the Internet of Things. We advocate that formal software engineering models and methodologies can provide support to the design of networks for precision agriculture. We propose here the process algebraic framework as a formal support for understanding the possible data-flows for decision-making, once identified from where data are to be gathered. In particular, we exploit IoT-LySa, a recently introduced process calculus, through which we model a possible agriculture scenario. We consider grape cultivation, with particular attention to a careful usage of water. The static analysis developed for IoT-LySa can be used for predicting the interactions among nodes, how data spread from sensors to the network, and how they are manipulated, so helping in water preservation.
Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11568/919962
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? ND
social impact