Compositional Hazard Analysis of UML Component
and Deployment Models 1st Edition by Holger
Giese, Matthias Tichy, Daniela Schilling ISBN
9783540301387 pdf download
https://ebookball.com/product/compositional-hazard-analysis-of-
uml-component-and-deployment-models-1st-edition-by-holger-giese-
matthias-tichy-daniela-schilling-isbn-9783540301387-9300/
Explore and download more ebooks or textbooks
at ebookball.com
, Get Your Digital Files Instantly: PDF, ePub, MOBI and More
Quick Digital Downloads: PDF, ePub, MOBI and Other Formats
The Common Component Modeling Example Comparing Software Compon
Models 5153 1st Edition by Andreas Rausch, Ralf H Reussner, Raffaela
Mirandola Frantisek Plasil ISBN 3540852883 9783540852889
https://ebookball.com/product/the-common-component-modeling-
example-comparing-software-component-models-5153-1st-edition-by-
andreas-rausch-ralf-h-reussner-raffaela-mirandola-frantisek-
plasil-isbn-3540852883-9783540852889-15944/
An Integrated View of Security Analysis and Performance Evaluation
Trading QoS with Covert Channel Bandwidth 1st Edition by Alessandro
Aldini, Marco Bernardo ISBN 9783540301387
https://ebookball.com/product/an-integrated-view-of-security-
analysis-and-performance-evaluation-trading-qos-with-covert-
channel-bandwidth-1st-edition-by-alessandro-aldini-marco-
bernardo-isbn-9783540301387-14084/
Graphical Models Representations for Learning Reasoning and Data
Mining 2nd Edition by Christian Borgelt, Matthias Steinbrecher, Rudolf
R Kruse ISBN 9780470722107
https://ebookball.com/product/graphical-models-representations-
for-learning-reasoning-and-data-mining-2nd-edition-by-christian-
borgelt-matthias-steinbrecher-rudolf-r-kruse-
isbn-9780470722107-11908/
Object Oriented Analysis and Design for Information Systems Modeling
with UML OCL and IFML 1st Edition by Raul Sidnei Wazlawick ISBN
0124186734 9780124186736
https://ebookball.com/product/object-oriented-analysis-and-
design-for-information-systems-modeling-with-uml-ocl-and-
ifml-1st-edition-by-raul-sidnei-wazlawick-
isbn-0124186734-9780124186736-16126/
,State Event Fault Trees A Safety Analysis Model for Software
Controlled Systems 1st Edition by Bernhard Kaiser, Catharina Gramlich
ISBN 9783540301387
https://ebookball.com/product/state-event-fault-trees-a-safety-
analysis-model-for-software-controlled-systems-1st-edition-by-
bernhard-kaiser-catharina-gramlich-isbn-9783540301387-13110/
Applying UML and Patterns An Introduction to Object Oriented Analysis
and Design and Iterative Development 3rd Edition by Craig Larman ISBN
0131489062 9789332553941
https://ebookball.com/product/applying-uml-and-patterns-an-
introduction-to-object-oriented-analysis-and-design-and-
iterative-development-3rd-edition-by-craig-larman-
isbn-0131489062-9789332553941-16128/
Applying UML and Patterns An Introduction to Object Oriented Analysis
and Design and Iterative Development 3rd Edition by Craig Larman ISBN
0131489062 9780131489066
https://ebookball.com/product/applying-uml-and-patterns-an-
introduction-to-object-oriented-analysis-and-design-and-
iterative-development-3rd-edition-by-craig-larman-
isbn-0131489062-9780131489066-15634/
Data Analysis Using Regression and Multilevel Hierarchical Models 1st
Edition by Andrew Gelman, Jennifer Hill ISBN 0511266839 9780511266836
https://ebookball.com/product/data-analysis-using-regression-and-
multilevel-hierarchical-models-1st-edition-by-andrew-gelman-
jennifer-hill-isbn-0511266839-9780511266836-13780/
Systems analysis and design an object oriented approach with UML
Thumbnail 1st Edition by Alan Dennis, Barbara Haley Wixom, David
Tegarden ISBN 9781118804674
https://ebookball.com/product/systems-analysis-and-design-an-
object-oriented-approach-with-uml-thumbnail-1st-edition-by-alan-
dennis-barbara-haley-wixom-david-tegarden-
isbn-9781118804674-16124/
, Compositional Hazard Analysis
of UML Component and Deployment Models
Holger Giese, Matthias Tichy, and Daniela Schilling
Software Engineering Group, University of Paderborn,
Warburger Str. 100, D-33098 Paderborn, Germany
{hg,mtt,das}@upb.de
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 ver-
sions 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 compo-
sitional hazard analysis of UML models described by restricted component and
deployment diagrams. The approach permits to systematically identify which haz-
ards 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.
1 Introduction
Today, an increasing demand for dependable high quality software can be observed due
to the fact that more ambitious and complex technical systems should be built. In [1],
this trend is characterized by very complex, highly integrated systems with elements
that must have a great autonomy and, thus, are very demanding w.r.t. safety analysis.
Additionally, instead of single safety-critical systems today ”systems of systems” have to
be developed even though established techniques for their safety analysis are not in place
(cf. [2]). The New Railway Technology (RailCab) project1 used later in the paper as a
motivating example is one very extreme example for such complex systems of systems
with very demanding safety requirements.
The UML as an object-oriented technology is one candidate to handle these safety-
critical systems with software and overwhelming complexity. However, the current and
forthcoming UML versions do not directly support safety-critical system development.
This work was developed in the course of the Special Research Initiative 614 – Self-optimizing
Concepts and Structures in Mechanical Engineering - University of Paderborn, and was publis-
hed on its behalf and funded by the Deutsche Forschungsgemeinschaft.
Supported by the International Graduate School of Dynamic Intelligent Systems.
1
http://www-nbp.upb.de
M. Heisel et al. (Eds.): SAFECOMP 2004, LNCS 3219, pp. 166–179, 2004.
c Springer-Verlag Berlin Heidelberg 2004
and Deployment Models 1st Edition by Holger
Giese, Matthias Tichy, Daniela Schilling ISBN
9783540301387 pdf download
https://ebookball.com/product/compositional-hazard-analysis-of-
uml-component-and-deployment-models-1st-edition-by-holger-giese-
matthias-tichy-daniela-schilling-isbn-9783540301387-9300/
Explore and download more ebooks or textbooks
at ebookball.com
, Get Your Digital Files Instantly: PDF, ePub, MOBI and More
Quick Digital Downloads: PDF, ePub, MOBI and Other Formats
The Common Component Modeling Example Comparing Software Compon
Models 5153 1st Edition by Andreas Rausch, Ralf H Reussner, Raffaela
Mirandola Frantisek Plasil ISBN 3540852883 9783540852889
https://ebookball.com/product/the-common-component-modeling-
example-comparing-software-component-models-5153-1st-edition-by-
andreas-rausch-ralf-h-reussner-raffaela-mirandola-frantisek-
plasil-isbn-3540852883-9783540852889-15944/
An Integrated View of Security Analysis and Performance Evaluation
Trading QoS with Covert Channel Bandwidth 1st Edition by Alessandro
Aldini, Marco Bernardo ISBN 9783540301387
https://ebookball.com/product/an-integrated-view-of-security-
analysis-and-performance-evaluation-trading-qos-with-covert-
channel-bandwidth-1st-edition-by-alessandro-aldini-marco-
bernardo-isbn-9783540301387-14084/
Graphical Models Representations for Learning Reasoning and Data
Mining 2nd Edition by Christian Borgelt, Matthias Steinbrecher, Rudolf
R Kruse ISBN 9780470722107
https://ebookball.com/product/graphical-models-representations-
for-learning-reasoning-and-data-mining-2nd-edition-by-christian-
borgelt-matthias-steinbrecher-rudolf-r-kruse-
isbn-9780470722107-11908/
Object Oriented Analysis and Design for Information Systems Modeling
with UML OCL and IFML 1st Edition by Raul Sidnei Wazlawick ISBN
0124186734 9780124186736
https://ebookball.com/product/object-oriented-analysis-and-
design-for-information-systems-modeling-with-uml-ocl-and-
ifml-1st-edition-by-raul-sidnei-wazlawick-
isbn-0124186734-9780124186736-16126/
,State Event Fault Trees A Safety Analysis Model for Software
Controlled Systems 1st Edition by Bernhard Kaiser, Catharina Gramlich
ISBN 9783540301387
https://ebookball.com/product/state-event-fault-trees-a-safety-
analysis-model-for-software-controlled-systems-1st-edition-by-
bernhard-kaiser-catharina-gramlich-isbn-9783540301387-13110/
Applying UML and Patterns An Introduction to Object Oriented Analysis
and Design and Iterative Development 3rd Edition by Craig Larman ISBN
0131489062 9789332553941
https://ebookball.com/product/applying-uml-and-patterns-an-
introduction-to-object-oriented-analysis-and-design-and-
iterative-development-3rd-edition-by-craig-larman-
isbn-0131489062-9789332553941-16128/
Applying UML and Patterns An Introduction to Object Oriented Analysis
and Design and Iterative Development 3rd Edition by Craig Larman ISBN
0131489062 9780131489066
https://ebookball.com/product/applying-uml-and-patterns-an-
introduction-to-object-oriented-analysis-and-design-and-
iterative-development-3rd-edition-by-craig-larman-
isbn-0131489062-9780131489066-15634/
Data Analysis Using Regression and Multilevel Hierarchical Models 1st
Edition by Andrew Gelman, Jennifer Hill ISBN 0511266839 9780511266836
https://ebookball.com/product/data-analysis-using-regression-and-
multilevel-hierarchical-models-1st-edition-by-andrew-gelman-
jennifer-hill-isbn-0511266839-9780511266836-13780/
Systems analysis and design an object oriented approach with UML
Thumbnail 1st Edition by Alan Dennis, Barbara Haley Wixom, David
Tegarden ISBN 9781118804674
https://ebookball.com/product/systems-analysis-and-design-an-
object-oriented-approach-with-uml-thumbnail-1st-edition-by-alan-
dennis-barbara-haley-wixom-david-tegarden-
isbn-9781118804674-16124/
, Compositional Hazard Analysis
of UML Component and Deployment Models
Holger Giese, Matthias Tichy, and Daniela Schilling
Software Engineering Group, University of Paderborn,
Warburger Str. 100, D-33098 Paderborn, Germany
{hg,mtt,das}@upb.de
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 ver-
sions 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 compo-
sitional hazard analysis of UML models described by restricted component and
deployment diagrams. The approach permits to systematically identify which haz-
ards 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.
1 Introduction
Today, an increasing demand for dependable high quality software can be observed due
to the fact that more ambitious and complex technical systems should be built. In [1],
this trend is characterized by very complex, highly integrated systems with elements
that must have a great autonomy and, thus, are very demanding w.r.t. safety analysis.
Additionally, instead of single safety-critical systems today ”systems of systems” have to
be developed even though established techniques for their safety analysis are not in place
(cf. [2]). The New Railway Technology (RailCab) project1 used later in the paper as a
motivating example is one very extreme example for such complex systems of systems
with very demanding safety requirements.
The UML as an object-oriented technology is one candidate to handle these safety-
critical systems with software and overwhelming complexity. However, the current and
forthcoming UML versions do not directly support safety-critical system development.
This work was developed in the course of the Special Research Initiative 614 – Self-optimizing
Concepts and Structures in Mechanical Engineering - University of Paderborn, and was publis-
hed on its behalf and funded by the Deutsche Forschungsgemeinschaft.
Supported by the International Graduate School of Dynamic Intelligent Systems.
1
http://www-nbp.upb.de
M. Heisel et al. (Eds.): SAFECOMP 2004, LNCS 3219, pp. 166–179, 2004.
c Springer-Verlag Berlin Heidelberg 2004
