13.07.2015 Views

In-flight upset - 154 km west of Learmonth, WA, 7 October 2008,

In-flight upset - 154 km west of Learmonth, WA, 7 October 2008,

In-flight upset - 154 km west of Learmonth, WA, 7 October 2008,

SHOW MORE
SHOW LESS
  • No tags were found...

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

NASA 1995, Formal methods specification and verification guidebook for s<strong>of</strong>twareand computer systems, Volume 1: Planning and technology insertion,Washington DC.Normand, E 1996, ‘Single-event effects in avionics’, IEEE Transactions on NuclearScience, vol.43, pp.461-474.Normand, E Vranish, K Sheets, A Stitt, M and Kim, R 2006, Quantifying thedouble-sided neutron SEU threat, from low energy (thermal) and high energy(>10 MeV) neutrons, IEEE Transactions on Nuclear Science, vol. 53,pp. 3587-3595.Olsen, J Becher, PE Fynbo, PB Raaby, P & Schultz, J 1993, ‘Neutron-inducedsingle event <strong>upset</strong>s in static RAMs observed at 10 <strong>km</strong> <strong>flight</strong> altitude’, IEEETransactions on Nuclear Science, vol. 40, pp. 74-77.Papadopoulous, Y McDermid, J Sasse, R & Heiner, G 2001, ‘Analysis andsynthesis <strong>of</strong> the behaviour <strong>of</strong> complex programmable electronic systems inconditions <strong>of</strong> failure’, Reliability Engineering and System Safety, vol. 71,pp. 229-247.Parker, A 2006. Public attitudes, perceptions and behaviours towards cabin safetycommunications, Research and Analysis Report B2004/0238, Australian TransportSafety Bureau.Pumphrey, D 2001, Requirements for improving the safety process on complexsystems and definition <strong>of</strong> the tools integration concepts, Technical Report WP1 forEnhanced Safety Assessment for Complex Systems (ESACS).Redmill, F 2002, ‘Exploring subjectivity in hazard analysis’, EngineeringManagement Journal, vol. 12, pp. 139-144.Rushby, J 1995, Formal methods and their role in digital systems validation forairborne systems, Contractor report 4673, NASA Langley Research Centre,Hampton, Virginia.Saleh, JH Marais, KB Bakolas, E & Cowlagi, RV 2009, ‘Highlights from theliterature on accident causation and system safety: Review <strong>of</strong> major ideas, recentcontributions, and challenges’, Reliability Engineering and System Safety, vol. 95,pp. 1105-1116.Silvera, DH Kardes, FR Harvey, N & Cronley, ML 2005, ‘Contextual influences onomission neglect in the fault tree paradigm’, Journal <strong>of</strong> Consumer Psychology,vol. 15, pp. 117-126.Strigini, L 1996, Engineering judgement in reliability and safety and its limits:What can we learn from research in psychology, Centre for S<strong>of</strong>tware ReliabilityTechnical Report, City University, London.Storey, N 1996, Safety-critical computer systems, Addison-Wesley, Harlow UK.Traverse, P Lacaze, I & Souyris, J 2004, Airbus fly-by-wire: A total approach todependability, Proceedings <strong>of</strong> the 18 th Congress <strong>of</strong> the <strong>In</strong>ternational Federation for<strong>In</strong>formation Processing, pp. 191-212.Tribble, AC Miller, SP & Lempia, DL 2004, S<strong>of</strong>tware safety analysis <strong>of</strong> a <strong>flight</strong>guidance system, Contractor report CR-2004-213004, NASA Langley ResearchCentre, Hampton, Virginia.- 290 -

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!