DrawNet++: A flexible framework for building dependability models

Proceedings of the 2002 International Conference on Dependable Systems and Networks

Volumn , Issue , 2002, Pages 540-

  Franceschinis, G ^a   Gribaudo, M ^b   Iacono, M ^c   Vittorini, V ^d   Bertoncello, C ^a  

^a UNIVERSITY OF EASTERN PIEDMONT   (Italy)

^b UNIVERSITY OF TURIN   (Italy)

^c SECOND UNIVERSITY OF NAPLES   (Italy)

^d UNIVERSITY OF NAPLES FEDERICO II   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DEPENDABILITY MODELS; SOFTWARE PACKAGE DRAWNET; STATE SPACE ANALYSIS;

GRAPHICAL USER INTERFACES; INTERFACES (COMPUTER); INTEROPERABILITY; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; RAPID PROTOTYPING; STATE SPACE METHODS; XML;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0036926299     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2002.1028961     Document Type: Conference Paper

References (4)

1. A. Bobbio, G. Franceschinis, L. Portinale, and R. Gaeta. Dependability Assessment of an Industrial Programmable Logic Controller via Parametric Fault Tree and High Level Petri Net. Proc. of PNPM01, Aachen, Germany, September 2001.
2. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. Stochastic wellformed coloured nets for symmetric modelling applications. IEEE TOC, 42:1343-1360, 1993.
3. G. Franceschinis, M. Gribaudo, M. Iacono, N. Mazzocca, V. Vittorini, DrawNET++: model objects to support performance analysis and simulation of complex systems. Proc. of TOOLS2002, London, UK, April 2002.
4. M. Gribaudo, A. Valente. Framework for Graph-based Formalisms. Proc. of SNPD'00, Reims, France, May 2000.