Model-Based Water Quality Assurance in Ground and Surface Provisioning Systems

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.