Towards Unified Dependability Modeling and Analysis

Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

Volumn P-41, Issue , 2004, Pages 113-122

  Pataricza, András ^a   Gyor, Ferenc ^a  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYSIS TECHNIQUES; DEPENDABILITY ANALYSIS; DEPENDABILITY MODELING; FUNCTIONAL MODELLING; FUNCTIONAL PROPERTIES; MODELLING AND ANALYSIS; MODELLING TECHNIQUES; MODELLING TOOLS; NON-FUNCTIONAL; UML MODEL;

EID: 80053520564     PISSN: 16175468     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. B. Baudry. Y. Le Traon, G. Sunyé: Testability Analysis of a UML Class Diagram. Proc. IEEE Software METRICS'02, pp. 54 -63, 2002.
2. A. Pataricza. From the general resource model to a general fault modeling paradigm? – Proc. of the UML'02 Workshop Critical Systems Development with UML, volume TUM-I0208, pp. 163-171. Technische Universität München, Oct 2002.
3. J. Jürjens: Towards Development of Secure Systems Using UMLsec. Proc. FASE 2001, pp. 187-200, Springer LNCS-2029, 2001
4. J.-C. Laprie: Dependability: Basic Concepts. Springer, 1992
5. S. Bernardi: Building Stochastic Petri Net models for the verification of complex software systems. PhD thesis, Universit`a degli Studi di Torino, 2003.
6. D. Varró, A. Pataricza. VPM: Mathematics of metamodeling is metamodeling mathematics. Journal of Software and Systems Modelling, 2(3):187-210, October 2003.
7. Gy. Csertán, et al. VIATRA - visual automated transformations for formal verification of UML models. In Proc. IEEE ASE 2002, pp 267-270. 2002.
8. A. Pataricza. Metamodel based fault modeling in UML designs. In Suppl. Vol. of IEEE DSN-2003, pp. 72-73, 2003.
9. A. Silberschatz, H. F. Korth, S. Sudershan: Database System Concepts, Third Edition, McGraw-Hill