Ester Ciancamerla

TL;DR: It is shown that any FT can be directly mapped into a BN and that basic inference techniques on the latter may be used to obtain classical parameters computed from the former, i.e. reliability of the Top Event or of any sub-system, criticality of components, etc.

TL;DR: A service oriented stochastic modelling methodology is proposed to investigate the availability of large interconnected networks, based on the hierarchical application of different modelling formalisms to different parts of the networks.

TL;DR: It is shown that any FT can be easily mapped into a BN and that basic inference techniques on the latter may be used to obtain classical parameters computed using the former (i.e. reliability of the Top Event or of any sub-system, criticality of components, etc...).

TL;DR: Heterogeneous models are under development to perform short term predictions of the Quality of Service (QoS) of each CI according to the QoS of the others, to the level of interdependency among the Infrastructures, and to the undesired events identified in the reference scenario.

TL;DR: This paper shows how heterogeneous stochastic modelling techniques of increasing modelling power can be applied to assess the safety of a digital control system, and resorts to the use of a particular type of high level Petri nets called SWN.