Software Test Techniques For System Fault-Tree Analysis1
نویسندگان
چکیده
System fault-tree analysis is a technique for modeling dependability that is in widespread use. For systems that include software, the integration of software data into fault trees has proved problematic. In this paper we discuss a number of techniques that can be used to make the assessment of software dependability by testing both more tractable and more suitable for use in system fault-tree analysis. Some of the techniques are illustrated using an experimental control system for a research nuclear reactor as an example.
منابع مشابه
Fault Detection of Anti-friction Bearing using Ensemble Machine Learning Methods
Anti-Friction Bearing (AFB) is a very important machine component and its unscheduled failure leads to cause of malfunction in wide range of rotating machinery which results in unexpected downtime and economic loss. In this paper, ensemble machine learning techniques are demonstrated for the detection of different AFB faults. Initially, statistical features were extracted from temporal vibratio...
متن کاملBayes Networks and Fault Tree Analysis Application in Reliability Estimation (Case Study: Automatic Water Sprinkler System)
In this study, the application of Bayes networks and fault tree analysis in reliability estimation have been investigated. Fault tree analysis is one of the most widely used methods for estimating reliability. In recent years, a method called "Bayes Network" has been used, which is a dynamic method, and information about the probable failure of the system components will be updated according to...
متن کاملIntegrating Safety Analysis with Automatic Test-Data Generation for Software Safety Verification
Typically verification focuses on demonstrating consistency between an implementation and a functional specification. For safety critical systems this is not sufficient, the implementation must also meet the system safety constraints and safety requirements. The work presented in this paper builds on the authors' previous work in developing a general framework for dynamically generating test-da...
متن کاملSystem-Level Reliability and Sensitivity Analyses for Three Fault-Tolerant System Architectures
This paper discusses the modeling and analysis of three major fault-tolerant software system architec-tures: DRB (Distributed Recovery Blocks), NVP (N-Version Programming) and NSCP (N Self-Checking Programming). In the system-level reliability modeling domain, fault tree analysis techniques and Markov reward modeling techniques are combined to incorporate transient and permanent hardware faults...
متن کاملAn Integrated Approach to Achieving High Software Reliability
In this paper we address the development, testing, and evaluation schemes for software reliability, and the integration of these schemes into a unified and consistent paradigm. Specifically, techniques and tools for the three phases of software reliability engineering will be described. The three phases are (1) modeling and analysis, (2) design and implementation, and (3) testing and measuremen...
متن کامل