Skip to search formSkip to main contentSkip to account menu
Validation of ultrahigh dependability for software-based systems
TLDR
It appears that engineering practice must take into account the fact that no solution exists, at present, for the validation of ultra-high dependability in systems relying on complex software.
View on ACM
Evaluating Testing Methods by Delivered Reliability
There are two main goals in testing software: (1) to achieve adequate quality (debug testing), where the objective is to probe the software for defects so that these can be removed, and (2) to assess…
View via Publisher
Estimating Bounds on the Reliability of Diverse Systems
TLDR
This work addresses the difficult problem of estimating the reliability of multiple-version software with new understanding of various alternative imprecise estimates of system reliability and some results of practical use, especially with diverse systems assembled from pre-existing (e.g., "off-the-shelf") subsystems.
View via Publisher
Effects of incorrect computer-aided detection (CAD) output on human decision-making in mammography.
View on PubMed
On the Use of Testability Measures for Dependability Assessment
TLDR
It is shown that a high testability is not an unconditionally desirable property for a program, and for programs complex enough that they are unlikely to be completely fault free, increasing testability may produce a program which will be less trustworthy, even after successful testing.
View via Publisher
The meaning and role of value in scheduling flexible real-time systems
View via Publisher
How to Discriminate between Computer-Aided and Computer-Hindered Decisions
TLDR
A method for estimating the quality of decisions, as well as how computer aids affect it, is applied to computer-aided detection of cancer and indicates that, despite the original study detecting no significant average effect, CAD helped the less discriminating readers but hindered the more discriminating readers.
View on SAGE
Probabilistic scheduling guarantees for fault-tolerant real-time systems
TLDR
This work addresses fault tolerant hard real time systems, and introduces the notion of a probabilistic guarantee, a general one that can accommodate transient 'software' faults, tolerated by recovery blocks or exception handling; or transient 'hardware' faults dealt with by state restoration and re-execution.
View on IEEE
N-version design Versus one Good Version
TLDR
The key idea is that despite the dependence between the failures of the versions, a fault-tolerant system consisting of versions of 'ordinary' quality will deliver better reliability than if the efforts to develop several channels were used to produce a single 'state-of-the-art' version.
Software Fault-Freeness and Reliability Predictions
TLDR
This work addresses how to combine evidence concerning probability of failure together with evidence pertaining to likelihood of fault-freeness, in a Bayesian framework, and guarantees reliability predictions that are conservative (err on the side of pessimism), despite the difficulty of stating prior probability distributions for reliability parameters.
View via Publisher
...
...
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License