Universit\ue0 di Torino & Universit\ue0 del Piemonte Orientale
Abstract
The paper presents the evaluation of a benchmark on dynamic reliability.
Such system consists of a tank containing some liquid, two pumps and one valve to renew the liquid in the tank, a heat source warming the liquid, and a controller acting on the state of the components. Three failure conditions are possible: the dry out, the over\ufb02ow or the high temperature of the liquid. Due to the presence of continuous variables, such as the liquid level and temperature, the system is modelled as a Fluid Stochastic Petri Net which is the object of simulation obtaining the unreliability evaluation of the system
