Logo des Repositoriums
 

Towards unified dependability modeling and analysis

Kurzanzeige
dc.contributor.authorPataricza, András
dc.contributor.authorGyör, Ferenc
dc.contributor.editorBrinkschulte, Uwe
dc.contributor.editorBecker, Jürgen
dc.contributor.editorFey, Dietmar
dc.contributor.editorGroßpietsch, Karl-Erwin
dc.contributor.editorHochberger, Christian
dc.contributor.editorMaehle, Erik
dc.contributor.editorRunkler, Thomas A.
dc.date.accessioned2019-10-30T11:53:29Z
dc.date.available2019-10-30T11:53:29Z
dc.date.issued2004
dc.description.abstractUnified 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.en
dc.identifier.isbn3-88579-370-9
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/29358
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofARCS 2004 – Organic and pervasive computing
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-41
dc.titleTowards unified dependability modeling and analysisen
dc.typeText/Conference Paper
gi.citation.endPage122
gi.citation.publisherPlaceBonn
gi.citation.startPage113
gi.conference.dateMarch 26, 2004
gi.conference.locationAugsburg
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild
Name:
GI-Proceedings.41-11.pdf
Größe:
203.63 KB
Format:
Adobe Portable Document Format
Herunterladen

Sammlungen

P041 - ARCS 2004 - Organic and Pervasive Computing