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

MARRONE, Stefano;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
9781467394734
9781467394734
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/11591/365046
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 1
social impact