Daniele Codetta Raiteri

Learn More
This paper presents the last version of Draw-Net, a cus-tomizable tool for the design and solution of models expressed in any graph based formalism, including the possibility of representing complex models by means of multi-formalism and analyzing them by exploiting different solution modules. In particular, it focuses on the new tools and features(More)
In this paper, the Non deterministic Repairable Fault Tree (NdRFT) formalism is proposed: it allows to model failure modes of complex systems as well as their repair processes. The originality of this formalism with respect to other Fault Tree extensions is that it allows to face repair strategies optimization problems: in an NdRFT model, the decision on(More)