skip to main content
research-article

Fault tree synthesis from UML models for reliability analysis at early design stages

Published: 24 January 2011 Publication History

Abstract

System reliability analysis is often neglected at early design stages when design decisions change the system architecture rigorously. This is because appropriate methods are time consuming and require an in-depth knowledge about the applied method. We propose a modeling approach that focuses on reusability and automatic fault tree synthesis of the models. We use UML to model application dependent and application independent views on the system and allocate steps of the application definition to architecture elements. In doing so various different system concepts can be investigated with minimal re-modeling effort. We identify capturing fault propagation and fault containment information as a major challenge in automatic fault tree synthesis and offer an application dependent and an application independent approach to modeling this kind of information. Then we introduce an algorithm that transforms the UML model into a fault tree representation of the respective system and validate our approach using an example from the automotive domain. The results from the validation highlight the validity of the generated trees, the efficiency with which different system concepts may be evaluated, and the degree to which the analysis results can be generalized

References

[1]
A. Avizienis, J. Laprie, B. Randell, and C. Landwehr. Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing, 1(1):11--33, 2004.
[2]
S. Bernardi and J. Merseguer. A UML Profile for Dependability Analysis of Real-Time Embedded Systems. In Proceedings of the 6th International Workshop on Software and Performance, page 124. ACM, 2007.
[3]
S. Bernardi, J. Merseguer, and D. Petriu. Adding Dependability Analysis Capabilities to the MARTE Profile. In Proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems, page 750. Springer, 2008.
[4]
B. Chen, G. Avrunin, L. Clarke, and L. Osterweil. Automatic Fault Tree Derivation from Little-Jil Process Definitions. Lecture Notes in Computer Science, 3966:150, 2006.
[5]
N. Fenton, M. Neil, and N. Square. A Critique of Software Defect Prediction Models. Machine Learning Applications in Software Engineering, 25(5):72, 2005.
[6]
N. Fenton and N. Ohlsson. Quantitative Analysis of Faults and Failures in a Complex Software System. IEEE Transactions on Software Engineering, 26(8):797--814, 2000.
[7]
C. Lauer, R. German, and J. Pollmer. Fault Tree Generation from EMF Models. DSN 2009 Workshop on Architecting Dependable Systems, 2009.
[8]
A. Manzone, A. Pincetti, and D. de Costantini. Fault Tolerant Automotive Systems: An Overview. In IEEE International Conference on On-Line Testing Workshop, pages 117--121, 2001.
[9]
M. McKelvin Jr, G. Eirea, C. Pinello, S. Kanajan, and A. Sangiovanni-Vincentelli. A Formal Approach to Fault- Tree Synthesis for the Analysis of Distributed Fault Tolerant Systems. In Proceedings of the 5th ACM International Conference on Embedded Software, page 246. ACM, 2005.
[10]
N. Nagappan, T. Ball, and A. Zeller. Mining Metrics to Predict Component Failures. In Proceedings of the 28th International Conference on Software Engineering, page 461. ACM, 2006.
[11]
G. Pai and J. Dugan. Automatic Synthesis of Dynamic Fault Trees from UML System Models. In 13th International Symposium on Software Reliability Engineering, page 243. IEEE, 2002.
[12]
Y. Papadopoulos and J. McDermid. Hierarchically Performed Hazard Origin and Propagation Studies. Lecture Notes in Computer Science, pages 139--152, 1999.
[13]
K. Vemuri, J. Dugan, and K. Sullivan. Automatic Synthesis of Fault Trees for Computer-Based Systems. IEEE Transactions on Reliability, 48(4):394--402, 1999.

Cited By

View all
  • (2022)An ontology-based fault generation and fault propagation analysis approach for safety-critical computer systems at the design stageArtificial Intelligence for Engineering Design, Analysis and Manufacturing10.1017/S089006042100034236Online publication date: 3-Feb-2022
  • (2021)Deriving and validating fault metric for object oriented systems using use case diagramInternational Journal of Information Technology10.1007/s41870-021-00695-xOnline publication date: 16-May-2021
  • (2020)A Software Fault Tree Analysis Technique for Formal Requirement Specifications of Nuclear Reactor Protection SystemsReliability Engineering & System Safety10.1016/j.ress.2020.107064203(107064)Online publication date: Nov-2020
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes  Volume 36, Issue 1
January 2011
210 pages
ISSN:0163-5948
DOI:10.1145/1921532
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 24 January 2011
Published in SIGSOFT Volume 36, Issue 1

Check for updates

Qualifiers

  • Research-article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)11
  • Downloads (Last 6 weeks)0
Reflects downloads up to 03 Mar 2025

Other Metrics

Citations

Cited By

View all
  • (2022)An ontology-based fault generation and fault propagation analysis approach for safety-critical computer systems at the design stageArtificial Intelligence for Engineering Design, Analysis and Manufacturing10.1017/S089006042100034236Online publication date: 3-Feb-2022
  • (2021)Deriving and validating fault metric for object oriented systems using use case diagramInternational Journal of Information Technology10.1007/s41870-021-00695-xOnline publication date: 16-May-2021
  • (2020)A Software Fault Tree Analysis Technique for Formal Requirement Specifications of Nuclear Reactor Protection SystemsReliability Engineering & System Safety10.1016/j.ress.2020.107064203(107064)Online publication date: Nov-2020
  • (2018)Impact of condition based maintenance policies on the service level of multi-stage manufacturing systemsControl Engineering Practice10.1016/j.conengprac.2018.04.01176(65-78)Online publication date: Jul-2018
  • (2017)Automated Fault Tree Analysis from AADL ModelsACM SIGAda Ada Letters10.1145/3092893.309290036:2(39-46)Online publication date: 10-May-2017
  • (2017)Dependability Stress Testing of Cloud Infrastructures2017 18th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT)10.1109/PDCAT.2017.00078(453-460)Online publication date: Dec-2017
  • (2017)SHARC - Simulation and Verification of Hierarchical Embedded Microelectronic SystemsProcedia Computer Science10.1016/j.procs.2017.05.407109(392-399)Online publication date: 2017
  • (2016)End-to-end path delay estimation in embedded software involving heterogeneous models2016 11th IEEE Symposium on Industrial Embedded Systems (SIES)10.1109/SIES.2016.7509427(1-6)Online publication date: May-2016
  • (2016)Model-based co-engineering and NFP analysis in embedded software sub-systems developed using heterogeneous modeling domains2016 IEEE 14th International Conference on Industrial Informatics (INDIN)10.1109/INDIN.2016.7819340(1154-1161)Online publication date: Jul-2016
  • (2016)A novel approach towards model-driven reliability analysis of Simulink models2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA)10.1109/ETFA.2016.7733505(1-6)Online publication date: Sep-2016
  • Show More Cited By

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media