Gesellschaft für Informatik e.V.

Lecture Notes in Informatics


ARCS 2004 - Organic and Pervasive Computing, Workshops Proceedings, March 26, 2004, Augsburg, Germany. P-41, 113-122 (2004).

GI, Gesellschaft für Informatik, Bonn
2004


Editors

Uwe Brinkschulte (ed.), Jürgen Becker (ed.), Dietmar Fey (ed.), Karl-Erwin Großpietsch (ed.), Christian Hochberger (ed.), Erik Maehle (ed.), Thomas A. Runkler (ed.)


Copyright © GI, Gesellschaft für Informatik, Bonn

Contents

Towards unified dependability modeling and analysis

András Pataricza and Ferenc Györ

Abstract


Unified dependability modeling and analysis consists of both functional and non-functional modeling and analysis techniques. Nowadays one of the most popular modeling techniques is UML. Functional properties of an UML model can be validated and verified by existing modeling tools. Checking of non-functional properties, like those related to dependability is of a growing importance while they cannot be easily derived from UML models. Despite the fact of the existence of a unified concept and terminology of dependability notions and mechanisms, little convergence is observable between the specific fields in dependability engineering. This paper presents a methodology for the uniform modeling of the different dependability related attributes.


Full Text: PDF

GI, Gesellschaft für Informatik, Bonn
ISBN 3-88579-370-9


Last changed 04.10.2013 18:00:25