Peter Bishop
Titel
Zitiert von
Zitiert von
Jahr
A methodology for safety case development
P Bishop, R Bloomfield
Safety and Reliability 20 (1), 34-42, 2000
3362000
Safety and assurance cases: Past, present and possible future–an Adelard perspective
R Bloomfield, P Bishop
Making Systems Safer, 51-67, 2010
1652010
PODS—A project on diverse software
PG Bishop, DG Esp, M Barnes, P Humphreys, G Dahll, J Lahti
IEEE Transactions on Software Engineering, 929-940, 1986
1201986
The variation of software survival time for different operational input profiles (or why you can wait a long time for a big bug to fail)
PG Bishop
FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing …, 1993
951993
The future of goal-based assurance cases
P Bishop, R Bloomfield, S Guerra
Proc. Workshop on Assurance Cases, 390-395, 2004
902004
PODS revisited-a study of software failure behaviour
PG Bishop, FD Pullen
1988 The Eighteenth International Symposium on Fault-Tolerant Computing …, 1988
611988
Ascad—adelard safety case development manual
RE Bloomfield, PG Bishop, C Jones, PKD Froome
Adelard 5, 1998
561998
The practicalities of goal-based safety regulation
J Penny, A Eaton, PG Bishop, RE Bloomfield
Aspects of Safety Management, 35-48, 2001
542001
A conservative theory for long-term reliability-growth prediction [of software]
P Bishop, R Bloomfield
IEEE Transactions on Reliability 45 (4), 550-560, 1996
521996
Dependability of Critical Computer Systems v. 3
PG Bishop
Springer Publishing Company, Incorporated, 2007
492007
Diversity for security: a study with off-the-shelf antivirus engines
P Bishop, R Bloomfield, I Gashi, V Stankovic
2011 IEEE 22nd International Symposium on Software Reliability Engineering …, 2011
392011
Toward a formalism for conservative claims about the dependability of software-based systems
P Bishop, R Bloomfield, B Littlewood, A Povyakalo, D Wright
IEEE Transactions on Software Engineering 37 (5), 708-717, 2010
382010
Software fault tolerance by design diversity
P Bishop
371995
Project on diverse software—an experiment in software reliability
P Bishop, D Esp, M Barnes, P Humphreys, G Dahll, J Lahti, S Yoshimura
IFAC Proceedings Volumes 18 (12), 153-158, 1985
361985
Justifying the use of software of uncertain pedigree (SOUP) in safety-related applications
PG Bishop, RE Bloomfield, PKD Froome
University of Southampton, Institute of Sound and Vibration Research, 2001
342001
The SHIP safety case approach
PG Bishop, RE Bloomfield
Safe Comp 95, 437-451, 1995
341995
Using reversible computing to achieve fail-safety
PG Bishop
Proceedings the Eighth International Symposium on Software Reliability …, 1997
301997
The risk assessment of ERTMS-based railway systems from a cyber security perspective: Methodology and lessons learned
R Bloomfield, M Bendele, P Bishop, R Stroud, S Tonks
International Conference on Reliability, Safety, and Security of Railway …, 2016
292016
Software criticality analysis of cots/soup
P Bishop, R Bloomfield, T Clement, S Guerra
International Conference on Computer Safety, Reliability, and Security, 198-211, 2002
292002
Error masking: a source of failure dependency in multi-version programs
PG Bishop, FD Pullen
Dependable Computing for Critical Applications, 53-73, 1991
281991
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20