Zobrazeno 1 - 10
of 115
pro vyhledávání: '"Bev Littlewood"'
Autor:
S. Mason, Bev Littlewood, M. Thomas, J. Christie, Harold Thimbleby, P. Marshall, J. Rogers, B. Ladkin, Martin Newby
Publikováno v:
Digital Evidence and Electronic Signature Law Review. :18-26
There exists widespread misunderstanding about the nature of computers and how and why they are liable to fail. The present approach to the disclosure or discovery and evaluation of evidence produced by computers in legal proceedings is unsatisfactor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::303b6920981ddc931efc9215b97f2740
https://doi.org/10.14296/deeslr.v18i0.5240
https://doi.org/10.14296/deeslr.v18i0.5240
Publikováno v:
Digital Evidence and Electronic Signature Law Review. :1-14
In this paper Peter Bernard Ladkin, Bev Littlewood, Harold Thimbleby and Martyn Thomas CBE consider the condition set out in section 69(1)(b) of the Police and Criminal Evidence Act 1984 (PACE 1984) that reliance on computer evidence should be subjec
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e6c98efd6cd7c28619e5a2f06046f5f5
https://doi.org/10.14296/deeslr.v17i0.5143
https://doi.org/10.14296/deeslr.v17i0.5143
The failure history of pre-existing systems can inform a reliability assessment of a new system. Such assessments – consisting of arguments based on evidence from older systems – are attractive and have been used for quite some time for, typicall
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9a0d8c728883c61526e9e885aebb9503
https://openaccess.city.ac.uk/id/eprint/23238/1/NWTES.pdf
https://openaccess.city.ac.uk/id/eprint/23238/1/NWTES.pdf
We begin by briefly discussing the reasons why claims of probability of non-perfection ( pnp ) may sometimes be useful in reasoning about the reliability of software-based systems for safety-critical applications. We identify two ways in which this a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c289f0e2b20c0260fc753e3b0a292b0f
https://openaccess.city.ac.uk/id/eprint/19341/1/RESS_V12e_Revision2.pdf
https://openaccess.city.ac.uk/id/eprint/19341/1/RESS_V12e_Revision2.pdf
Our earlier work proposed ways of overcoming some of the difficulties of lack of independence in reliability modeling of 1-out-of-2 software-based systems. Firstly, it is well known that aleatory independence between the failures of two channels A an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bc780d9625476fc607e5e75f739d689e
Autor:
Peter Popov, Peter Bishop, Lorenzo Strigini, Andrey Povyakalo, Bev Littlewood, Robin Bloomfield
Publikováno v:
Reliability Engineering & System Safety
Redundancy and diversity have long been used as means to obtain high reliability in critical systems. While it is easy to show that, say, a 1-out-of-2 diverse system will be more reliable than each of its two individual “trains”, assessing the ac
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::97e2fd5431701dc9d22833abb8ad62c0
https://doi.org/10.1016/j.ress.2014.04.002
https://doi.org/10.1016/j.ress.2014.04.002
Autor:
Bev Littlewood, Andrey Povyakalo
Publikováno v:
IEEE Transactions on Software Engineering
We consider the problem of assessing the reliability of a 1-out-of-2 software-based system, in which failures of the two channels cannot be assumed to be independent with certainty. An informal approach to this problem assesses the channel probabilit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ad2c983208f8e38d780e47069ef473c4
https://doi.org/10.1109/tse.2013.31
https://doi.org/10.1109/tse.2013.31
Autor:
Andrey Povyakalo, Bev Littlewood
Publikováno v:
IEEE Transactions on Software Engineering. 39:1521-1530
In earlier work, [11] (henceforth LR), an analysis was presented of a 1-out-of-2 software-based system in which one channel was “possibly perfect”. It was shown that, at the aleatory level, the system pfd (probability of failure on demand) could
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c9f3d09907a595fd6328b43e860dc028
https://doi.org/10.1109/tse.2013.35
https://doi.org/10.1109/tse.2013.35
Publikováno v:
IEEE Transactions on Software Engineering
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::64131b2895b8ac35fc43b14acbc2fbeb
https://doi.org/10.1109/tse.2010.67
https://doi.org/10.1109/tse.2010.67
Publikováno v:
The 26th IEEE International Symposium on Software Reliability Engineering
ISSRE
ISSRE
In recent years we have become interested in the problem of assessing the probability of perfection of software-based systems which are sufficiently simple that they are "possibly perfect". By "perfection" we mean that the software of interest will n
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4cb665a3b4e494af8284a348edcf8911
https://openaccess.city.ac.uk/id/eprint/12803/1/ISSRE2015_version_19.pdf
https://openaccess.city.ac.uk/id/eprint/12803/1/ISSRE2015_version_19.pdf