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

QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems

Volumn 2005, Issue , 2005, Pages 257-258

  Gribaudo, Marco ^a   Codetta Raiteri, Daniele ^a   Franceschinis, Giuliana ^b  

^a UNIVERSITY OF TURIN   (Italy)

^b UNIVERSITY OF EASTERN PIEDMONT   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DRAW-NET; MULTI-SOLUTION TOOLS;

GRAPH THEORY; MATHEMATICAL MODELS;

CONTROL SYSTEM ANALYSIS;

EID: 33847258907     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QEST.2005.10     Document Type: Conference Paper

References (9)

1. A. Bobbio and D. Codetta-Raiteri. Parametric Fault Trees with Dynamic Gates and Repair Boxes. In Proc. of the Annual Reliability and Maintainability Symposium, pages 459-465, Los Angeles, USA, January 2004.
2. G. Ciardo and A. S. Miner. SMART: Simulation and Markovian Analyzer for Reliability and Timing. In Proc. of the 7th Int. Workshop on Petri Nets and Performance Models, pages 41-43, Saint Malo, France, June 1997.
3. D. Deavours, G. Clark, T. Courtney, D. Daly, S. Derisavi, J. Doyle, W. Sanders, and P. Webster. The Möbius Framework and its Implementation. IEEE Trans. on Software Engineering, 28(10):956-969, 2002.
4. G. Franceschinis, M. Gribaudo, M. Iacono, N. Mazzocca, and V. Vittorini. DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems. In LNCS, volume 2324, pages 233-238. Springer Verlag, 2002.
5. M. Gribaudo. FSPNEdit : a Fluid Stochastic Petri Net Modeling and Analysis Tool. In Proc. of Tools, Int. Conf. on Measuring , Modeling and Evaluation of Computer and Communication Systems, pages 24-28, Aachen, Germany, Sept. 2001.
6. M. Gribaudo, N. Mazzocca, F. Moscato, and V. Vittorini. Multisolution of Complex Performability Models in the OsMoSys/DrawNet Framework. In Proc. 2nd. Int. Conf. on the Quantitative Evaluation of Systems, Torino, Italy, Sept. 2005.
7. S. Montani, L. Portinale, and A. Bobbio. Dynamic Bayesian Networks for Modeling Advanced Fault Tree Features in Dependability Analysis. In Advances in Safety and Reliability (ESREL 2005), volume 2, pages 1415-1422. Balkema, 2005.
8. R. A. Sahner, K. S. Trivedi, and A. Puliafito. Performance and Reliability Analysis of Computer Systems; An Example-based Approach Using the SHARPE Software Package. Kluwer Academic Publisher, 1996.
9. http://www.draw-net.com. Draw-Netweb page.