The optimal management of water resources is a key problem for the sustainable exploitation of ground and surface water sources. One of the key issues is the assurance of quality of the provided water with respect to the presence of pollutant substances or micro biotic. This paper defines an automatic approach to evaluate the vulnerability of a provisioning network with respect the detection of a threat. By means of the creation of a high level model of a network and the automatic generation of proper formal models, it is possible to detect: (1) the effect of such threat on all the network nodes and (2) the most probable location of the contamination source.

Model-based water quality assurance in ground and surface provisioning systems / Gentile, Ugo; Marrone, S.; DE PAOLA, Francesco; Nardone, Roberto; Mazzocca, Nicola; Giugni, Maurizio. - (2016), pp. 527-532. (Intervento presentato al convegno 10th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing, 3PGCIC 2015 tenutosi a Krakow, Poland nel 04-06 November 2015) [10.1109/3PGCIC.2015.97].

Model-based water quality assurance in ground and surface provisioning systems

DE PAOLA, FRANCESCO;MAZZOCCA, NICOLA;GIUGNI, MAURIZIO
2016

Abstract

The optimal management of water resources is a key problem for the sustainable exploitation of ground and surface water sources. One of the key issues is the assurance of quality of the provided water with respect to the presence of pollutant substances or micro biotic. This paper defines an automatic approach to evaluate the vulnerability of a provisioning network with respect the detection of a threat. By means of the creation of a high level model of a network and the automatic generation of proper formal models, it is possible to detect: (1) the effect of such threat on all the network nodes and (2) the most probable location of the contamination source.
2016
Model-based water quality assurance in ground and surface provisioning systems / Gentile, Ugo; Marrone, S.; DE PAOLA, Francesco; Nardone, Roberto; Mazzocca, Nicola; Giugni, Maurizio. - (2016), pp. 527-532. (Intervento presentato al convegno 10th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing, 3PGCIC 2015 tenutosi a Krakow, Poland nel 04-06 November 2015) [10.1109/3PGCIC.2015.97].
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/11588/635383
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 1
social impact