Peter Bishop
Zitiert von
Zitiert von
A methodology for safety case development
P Bishop, R Bloomfield
Safety and Reliability 20 (1), 34-42, 2000
Safety and assurance cases: Past, present and possible future–an Adelard perspective
R Bloomfield, P Bishop
Making Systems Safer, 51-67, 2010
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
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
The future of goal-based assurance cases
P Bishop, R Bloomfield, S Guerra
Proc. Workshop on Assurance Cases, 390-395, 2004
PODS revisited-a study of software failure behaviour
PG Bishop, FD Pullen
1988 The Eighteenth International Symposium on Fault-Tolerant Computing …, 1988
Ascad—adelard safety case development manual
RE Bloomfield, PG Bishop, C Jones, PKD Froome
Adelard 5, 1998
The practicalities of goal-based safety regulation
J Penny, A Eaton, PG Bishop, RE Bloomfield
Aspects of Safety Management, 35-48, 2001
A conservative theory for long-term reliability-growth prediction [of software]
P Bishop, R Bloomfield
IEEE Transactions on Reliability 45 (4), 550-560, 1996
Dependability of Critical Computer Systems v. 3
PG Bishop
Springer Publishing Company, Incorporated, 2007
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
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
Software fault tolerance by design diversity
P Bishop
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
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
The SHIP safety case approach
PG Bishop, RE Bloomfield
Safe Comp 95, 437-451, 1995
Using reversible computing to achieve fail-safety
PG Bishop
Proceedings the Eighth International Symposium on Software Reliability …, 1997
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
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
Error masking: a source of failure dependency in multi-version programs
PG Bishop, FD Pullen
Dependable Computing for Critical Applications, 53-73, 1991
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20