Konferenzbeitrag
Towards unified dependability modeling and analysis
Lade...
Volltext URI
Dokumententyp
Text/Conference Paper
Zusatzinformation
Datum
2004
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Gesellschaft für Informatik e.V.
Zusammenfassung
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.