Hasso-Plattner-Institut für Softwaresystemtechnik
Publikationen
Publikationen

Holger Giese and Matthias Tichy and Daniela Schilling. Compositional Hazard Analysis of UML Component and Deployment Models. In Maritta Heisel and Peter Liggesmeyer and S. Wittmann, ed., Proc. of the 23rd International Conference on Computer Safety, Reliability and Security (SAFECOMP), Potsdam, Germany, volume 3219 of Lecture Notes in Computer Science (LNCS), 9 2004. Springer Verlag.

Abstract:

The general trend towards complex technical systems with embedded software results in an increasing demand for dependable high quality software. The UML as an advanced object-oriented technology provides in principle the essential concepts which are required to handle the increasing complexity of these safety-critical software systems. However, the current and forthcoming UML versions do not directly apply to the outlined problem. Available hazard analysis techniques on the other hand do not provide the required degree of integration with software design notations. To narrow the gap between safety-critical system development and UML techniques, the presented approach supports the compositional hazard analysis of UML models described by restricted component and deployment diagrams. The approach permits to systematically identify which hazards and failures are most serious, which components or set of components require a more detailed safety analysis, and which restrictions to the failure propagation are assumed in the UML design.

BibTeX file

@inproceedings{Giese+2004,
author = { Holger Giese and Matthias Tichy and Daniela Schilling },
title = { Compositional Hazard Analysis of UML Component and Deployment Models },
year = { 2004 },
volume = { 3219 },
abstract = { The general trend towards complex technical systems with embedded software results in an increasing demand for dependable high quality software. The UML as an advanced object-oriented technology provides in principle the essential concepts which are required to handle the increasing complexity of these safety-critical software systems. However, the current and forthcoming UML versions do not directly apply to the outlined problem. Available hazard analysis techniques on the other hand do not provide the required degree of integration with software design notations. To narrow the gap between safety-critical system development and UML techniques, the presented approach supports the compositional hazard analysis of UML models described by restricted component and deployment diagrams. The approach permits to systematically identify which hazards and failures are most serious, which components or set of components require a more detailed safety analysis, and which restrictions to the failure propagation are assumed in the UML design. },
month = { 9 },
annotation = { AREA : ag-schaefer },
editor = { Maritta Heisel and Peter Liggesmeyer and S. Wittmann },
publisher = { Springer Verlag },
series = { Lecture Notes in Computer Science (LNCS) },
booktitle = { Proc. of the 23rd International Conference on Computer Safety, Reliability and Security (SAFECOMP), Potsdam, Germany }
}

Copyright Notice

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

last change: Fri, 18 Feb 2011 09:41:39 +0100