Evaluation of Software Dependability
نویسنده
چکیده
From the point of view of this essay i.e. dependability evaluation a major difference between software and other engineering artefacts is that the former is pure design. Its unreliability is always the result of design faults, which in turn arise as a result of human intellectual failures. The unreliability of hardware systems, on the other hand, has tended until recently to be dominated by random physical failures of components the consequences of the ‘perversity of nature’. Reliability theories have been developed over the years which have successfully allowed systems to be built to high reliability requirements, and the final system reliability to be evaluated accurately. Even for pure hardware systems, without software, however, the very success of these theories has more recently highlighted the importance of design faults in determining the overall reliability of the final product. The conventional hardware reliability theory does not address this problem at all.
منابع مشابه
An Improved Comprehensive Evaluation Model of Software Dependability based on Rough Set Theory
Dependability of software, a major concern in many computer applications, can be improved through several means. But systematic approaches for its evaluation do not exist, which is the prerequisite for dependability control and improvement. Software dependability evaluation is an urgent problem to be solved. There is some subjectivity about weighting coefficient when applying fuzzy comprehensiv...
متن کاملEmpirical-based Estimation of the Effect on Software Dependability of a Technique for Architecture Conformance Verification
The High Dependability Computing Program (HDCP) project is a NASA initiative for increasing dependability of software-based systems. It researches achieving high dependability by introducing new technologies. We focus on the evaluation of the effectiveness of technologies with respect to dependability. We employ empirical evaluation methods along with evaluation testbeds. In this paper, our tec...
متن کاملDependability Benchmarks for Operating Systems
Dependability evaluation is playing an increasing role in system and software engineering together with performance evaluation. Performance benchmarks are widely used to evaluate system performance while dependability benchmarks are hardly emerging. A dependability benchmark for operating systems is intended to objectively characterize the operating system's behavior in the presence of faults, ...
متن کاملDependability Modeling and Evaluation of Software Fault-Tolerant Systems
Abstmct-The paper provides dependability modeling and evaluation (encompassing reliability and safety issues) of the two major fault tolerance software approaches: recovery Mocks (RB) and N-version programming (NVP). The study is based on the detailed analysis of software fault-tolerance architectures able to tolerate a single fault (RB: two alternates and an acceptance test, NVP: three version...
متن کاملAn architecture-based dependability modeling framework using AADL
For efficiency reasons, the software system designers’ will is to use an integrated set of methods and tools to describe specifications and designs, and also to perform analyses such as dependability, schedulability and performance. AADL (Architecture Analysis and Design Language) has proved to be efficient for software architecture modeling. In addition, AADL was designed to accommodate severa...
متن کاملEvaluation of Software Dependability Based on Stability Test Data
This paper discusses a measurement-based approach to dependability evaluation of fault-tolerant, real-time software systems based on failure data collected from stability tests of an air traffic control system under development. Several dependability analysis techniques are illustrated with the data: parameter estimation, availability modeling of software from the task level, applications of th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1991