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.
DrawNet++: A flexible framework for building dependability models
GRIBAUDO, MARCO;
2002-01-01
Abstract
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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
