Fault Tree Analysis for Software Design
SEW '02 Proceedings of the 27th Annual NASA Goddard Software Engineering Workshop (SEW-27'02)
PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool
Automated Software Engineering
A framework for cluster availability specification and evaluation
Proceedings of the 43rd annual Southeast regional conference - Volume 1
A software fault tree key node metric
Journal of Systems and Software
Adding Dependability Analysis Capabilities to the MARTE Profile
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Enterprise architecture dependency analysis using fault trees and Bayesian networks
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Stochastic dependability analysis of system architecture based on UML models
Architecting dependable systems
A system dependability modeling framework using AADL and GSPNs
Architecting dependable systems IV
Probabilistic optimization and assessment of voting strategies for X-by-wire systems
SEUS'07 Proceedings of the 5th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
Application of safety analyses in model driven development
SEUS'07 Proceedings of the 5th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
Software fault tree analysis for product lines
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Fault tree synthesis from UML models for reliability analysis at early design stages
ACM SIGSOFT Software Engineering Notes
Failure-dependent execution time analysis
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS
A dependability profile within MARTE
Software and Systems Modeling (SoSyM)
Integration of component fault trees into the UML
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Performability modeling of exceptions-aware systems in multiformalism tools
ASMTA'11 Proceedings of the 18th international conference on Analytical and stochastic modeling techniques and applications
Model-driven availability evaluation of railway control systems
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
From probabilistic counterexamples via causality to fault trees
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Automatic synthesis of SRN models from system operation templates for availability analysis
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Automatic fault tree derivation from Little-JIL process definitions
SPW/ProSim'06 Proceedings of the 2006 international conference on Software Process Simulation and Modeling
Dependability modeling and analysis of software systems specified with UML
ACM Computing Surveys (CSUR)
| Hi-index | 0.00 |
The reliability of a computer-based system may be as importantas its performance and its correctness of computation.It is worthwhile to estimate system reliability at theconceptual design stage, since reliability can influence thesubsequent design decisions and may often be pivotal formaking trade-offs or in establishing system cost. In thispaper we describe a framework for modeling computer-basedsystems, based on the Unified Modeling Language(UML), that facilitates automated dependability analysisduring design. An algorithm to automatically synthesizedynamic fault trees (DFTs) from the UML system model isdeveloped. We succeed both in embedding informationneeded for reliability analysis within the system model andin generating the DFT. Thereafter, we evaluate our approachusing examples of real systems. We analyticallycompute system unreliability from the algorithmically developedDFT and we compare our results with the analyticalsolution of manually developed DFTs. Our solutionsproduce the same results as manually generated DFTs.Keywords: Dynamic fault trees, Fault tree synthesis, Reliabilityanalysis, UML