Compositional Hazard Analysis of UML Component and Deployment Models (bibtex)
Reference:
Holger Giese, Matthias Tichy and Daniela Schilling, "Compositional Hazard Analysis of UML Component and Deployment Models", in Maritta Heisel, Peter Liggesmeyer, S. Wittmann, Eds., Proc. of the 23rd International Conference on Computer Safety, Reliability and Security (SAFECOMP), Potsdam, Germany, vol. 3219 of Lecture Notes in Computer Science (LNCS), Springer Verlag, September 2004.
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.
Links:
@InProceedings{Giese+2004,
AUTHOR = {Giese, Holger and Tichy, Matthias and Schilling, Daniela},
TITLE = {{Compositional Hazard Analysis of UML Component and Deployment Models}},
YEAR = {2004},
MONTH = {September},
BOOKTITLE = {Proc. of the 23rd International Conference on Computer Safety, Reliability and Security (SAFECOMP), Potsdam, Germany},
VOLUME = {3219},
EDITOR = {Heisel, Maritta and Liggesmeyer, Peter and Wittmann, S.},
SERIES = {Lecture Notes in Computer Science (LNCS)},
PUBLISHER = {Springer Verlag},
URL = {http://www.upb.de/cs/ag-schaefer/Veroeffentlichungen/Quellen/Papers/2004/SAFECOMP2004.pdf},
PDF = {uploads/pdf/Giese+2004_SAFECOMP2004.pdf},
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.},
ANNOTE = {AREA : ag-schaefer}
}
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.
Powered by bibtexbrowser