DrawNet++: A flexible framework for building dependability models

The DrawNet++ project addresses the compositional construction of dependability models. Its objectives are to provide a GUI to any graph-based formalism, support to the design process of dependability models and a user friendly front-end for different classes of analysis/simulation tools. Such features enforce the rapid prototyping and the reuse of sub-models. This paper uses DrawNet++ to define and draw composed models, to produce the syntax representation of the entire model and to present the results computed by the solvers