Andrey Povyakalo

Learn More
—In recent work, we have argued for a formal treatment of confidence about the claims made in dependability cases for software-based systems. The key idea underlying this work is " the inevitability of uncertainty " : It is rarely possible to assert that a claim about safety or reliability is true with certainty. Much of this uncertainty is epistemic in(More)
the use of computerised advisory systems: a case study. Online is checked for eligibility for copyright before being made available in the live archive. URLs from City Research Online may be freely distributed and linked to from other web pages. Enquiries If you have any enquiries about any aspect of City Research Online, or if you wish to make contact with(More)
The work described in this paper has been partly funded by UK's Engineering and Physical Sciences Research Council (EPSRC) through DIRC, an interdisciplinary research project investigating the dependability of computer based systems. Abstract RATIONALE AND OBJECTIVES Our goal was to investigate the effects of incorrect CAD output on the reliability of the(More)
The goal of the data collection and analyses described in this paper was to investigate the effects of incorrect output from a CAD tool on the reliability of the decisions of its human users. Our work follows on a clinical trial that evaluated the impact of introducing a computerised prompting tool (R2 ImageChecker) as part of the breast screening programme(More)