DrawNet++: A Flexible Framework for Building Dependability Models

  title={DrawNet++: A Flexible Framework for Building Dependability Models},
  author={Giuliana Franceschinis and Marco Gribaudo and Mauro Iacono and Valeria Vittorini and Claudio Bertoncello},
The DrawNet++ project addresses the compositional construction of dependability models [3, 4]. Its main goals are to provide: a) a GUI to any graph-based formalism; b) a support to the design process of dependability models, according to concepts inspired by object orientation (OO); c) a user friendly front-end for different classes of analysis/simulation tools. Such features enforce the rapid prototyping and the reuse of sub-models. The formalisms adopted to implement the (sub)models may… CONTINUE READING
7 Citations
4 References
Similar Papers

Similar Papers

Loading similar papers…