Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems

Published 1 January 2005

Marco Gribaudo, Daniele Codetta‐Raiteri, G. Franceschinis

DOI10.1109/qest.2005.10

Citations25

TL;DR

This paper presents the last version of Draw-Net, a customizable 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.

Abstract

Keywords

Computer ScienceDecision Sciences

IEEE Transactions on ReliabilityPerformance And Reliability Analysis Of Computer Systems (an Example-based Approach Using The Sharpe Software

444 Citations1997Robin Sahner, Kishor S. Trivedi +1 more

The SHARPE (Symbolic Hierarchical Automated Reliability and Performance Evaluator) package is the `toolchest' that allows the authors to specify stochastic models easily and solve them quickly, adopting model hierarchies and very efficient solution techniques.

IEEE Transactions on Software EngineeringThe Mobius framework and its implementation

271 Citations2002Daniel D. Deavours, G.M.G. Clark +6 more

The formal description of the Mobius components as well as their implementations in the software tool are described, focusing on the "atomic model", which permits novel combinations of modeling techniques, and will be a catalyst for new research in modeling techniques.

Parametric fault trees with dynamic gates and repair boxes

87 Citations2004Andrea Bobbio, D. Codetta R.

The proposed approach as dynamic repairable PFT (DRPFT) was referred to, a tool supporting DRPFT is briefly described and the tool is validated by analyzing a benchmark proposed recently in the literature for quantitative comparison.

SMART: simulation and Markovian analyzer for reliability and timing

59 Citations2002Gianfranco Ciardo, Andrew S. Miner

SMART is a new tool for performance, reliability, availability, and performability modeling and multiple interacting models and fixed-point iterative techniques for the decomposition and solution of complex models can be easily specified.

Lecture notes in computer scienceDrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems

27 Citations2002G. Franceschinis, Marco Gribaudo +3 more

This paper describes DrawNET++, a prototype version of a model design framework based on the definition of model objects that provides a graphical front-end to existing performance tools and a practical mean to study compositionality issues in multiformalism environments.

Multisolution of complex performability models in the OsMoSys/DrawNET framework

8 Citations2005Giovanni De Marco, Nicola Mazzocca +2 more

The approach to multisolution of multiformalism models in the OsMoSys/DrawNET framework is described and the mechanisms used to define the performance indices and generate the required results are introduced.