| [1] | RTCA Special Committee 167. Software considerations in airborne systems and equipment certification. Recommendation DO-178B, RTCA, Inc, Washington DC, USA, December 1992. [ bib ] |
| [2] | RTCA Special Committee 181. Standards for aeronautical information. Recommendation DO-201A, RTCA, Inc, Washington DC, USA, April 2000. Cited by Faulkner and Storey (2003). [ bib ] |
| [3] | RTCA Special Committee 181. Standards for processing aeronautical data. Recommendation DO-200A, RTCA, Inc, Washington DC, USA, September 1998. Cited in Faulkner Storey (2003). [ bib ] |
| [4] | Boris Beizer and Otto Vinter. Bug taxonomy and statistics. Website, 2001. http://inet.uni2.dk/ vinter/bugtaxst.doc retrieved 2 Aug 08. [ bib | http ] |
| [5] | Air Accident Investigation Branch. Aaib website. Website, 2001-2008. http://www.aaib.gov.uk/sites/aaib/publications/formal_reports.cfm. [ bib | http ] |
| [6] | Marine Accident Investigation Branch. Maib website. Website, 1998-2008. http://www.maib.gov.uk/publications/investigation_reports.cfm. [ bib | http ] |
| [7] | Rail Accident Investigation Branch. Raib website. Website, 2006-2008. http://www.raib.gov.uk/publications/investigation_reports.cfm. [ bib | http ] |
| [8] | R.W. Butler and G.B. Finelli. The infeasibility of quantifying the reliability of life-critical real-time software. IEEE Transactions on Software Engineering, 19(1):3--12, Jan 1993. [ bib | DOI ] |
| [9] | Tony Cant. Safety engineering for defence systems. Australian Defence Standard Def (Aust) 5679, Australian Commonwealth Department of Defence, Defence Science and Technology Organisation, Edinburgh SA, Australia, March 2007. Issue 2, draft version 1.1 (issued for comment). [ bib ] |
| [10] | R Chippendale. Air new zealand mcdonnell-douglas dc10-30 zk-nzp, ross island, antarctica 28 november 1979. Aircraft Accident Report 79-139, Office of Air Accidents Investigation, New Zealand Ministry of Transport, Wellington, New Zealand, May 1980. [ bib | .html ] |
| [11] | International Electrotechnical Commission. Functional safety of electrical/electronic/programmable electronic safety-related systems - part 2: Requirements for electrical/electronic/programmable electronic safety-related systems. British Standard BS EN 61508-2:2002, British Standards Institution, March 2002. [ bib ] |
| [12] | International Electrotechnical Commission. Functional safety of electrical/electronic/programmable electronic safety-related systems - part 3: Software requirements. British Standard BS EN 61508-3:2002, British Standards Institution, March 2002. [ bib ] |
| [13] | International Electrotechnical Commission. Functional safety of electrical/electronic/programmable electronic safety-related systems - part 4: Definitions and abbreviations. British Standard BS EN 61508-4:2002, British Standards Institution, March 2002. [ bib ] |
| [14] | International Electrotechnical Commission. Functional safety of electrical/electronic/programmable electronic safety-related systems - part 7 - overview of techniques and measures. British Standard BS EN 61508-7, British Standards Institution, March 2002. [ bib ] |
| [15] | ITAA G48 Committee. GEIA-STD-0010: Standard best practices for system safety program development and execution. Committee Draft, June 2008. [ bib ] |
| [16] | Ministry of Defence. Guidance on the assurance of safety in systems containing complex electronic elements in support of def stan 00-56 issue 4. Final draft for approval, July 2008. [ bib ] |
| [17] | Department of Defense. Standard practice for system safety. Military Standard MIL-STD-882D, United States Department of Defense, February 2000. [ bib | http ] |
| [18] | Alastair Faulkner. Safer data: the use of data in the context of a railway control system. In Proceedings of the 10th Safety-critical Systems Symposium, pages 217--230, 2002. [ bib | .html ] |
| [19] | Alastair Faulkner, P.A. Bennett, Ron Pierce, I.H.A. Johnston, and Neil Storey. The safety management of data driven safety related systems. In Proc. 19th Int. Conf. Safecomp, pages 86--95, Rotterdam, The Netherlands, October 2000. [ bib | http ] |
| [20] | Alastair Faulkner and Ron Pierce. Is it data or is it software? In Proceedings of the 19th International Safety System Conference, pages 323--329, Huntsville AL, USA, September 2001. System Safety Society. [ bib | .html ] |
| [21] | Alastair Faulkner and Neil Storey. Data: An often-ignored component of safety-related systems. In Proceedings of the MOD Equipment Assurance Symposium ESAS02, Bristol, UK, October 2002. Ministry of Defence. [ bib | http ] |
| [22] | Alastair Faulkner and Neil Storey. The role of data in safety-related railway control systems. In Proceedings of the 19th International Safety System Conference, pages 793--800, Huntsville AL, USA, September 2001. System Safety Society. [ bib | http ] |
| [23] | Ken Frazer, Duncan Dowling, and Mike Ainsworth. Developing data management processes for safety critical systems. In Proceedings of the 21st International Safety System Conference, Ottawa, Canada, August 2003. System Safety Society. [ bib | .pdf ] |
| [24] | Dafydd Gibbon and Peter Ladkin. Comments on confusing conversation at cali. Website, February. 1996. Retrieved 10 September 2008. [ bib | .html ] |
| [25] | Ian Glazebrook. Additional guidance and considerations on the application of rtca do-178b. Technical Report 2007-0419, ASSC, August 2007. [ bib ] |
| [26] | CAA Safety Regulation Group. Sw01 - regulatory objectives for software safety assurance in ats equipment. In CAP670 - Air Traffic Services Safety Requirements. Civil Aviation Authority, June 2003. [ bib | .pdf ] |
| [27] | A. Harrison and R.H. Pierce. Data management safety requirements derivation. Technical report, Railtrack plc, June 2000. West Coast Route Modernisation Internal report. Cited by Faulkner (2001). [ bib ] |
| [28] | Paul Hollow, John Mcdermid, and Mark Nicholson. Approaches to certification of reconfigurable ima systems. In 10th International Symposium of the International Council on Systems Engineering, Minneapolis, USA, July 2000. [ bib | .pdf ] |
| [29] | C.M. Holloway and C.W. Johnson. Why system safety professionals should read accident reports. In Proceedings of the 1st International Conference on System Safety, London, UK, June 2006. Institution of Engineering and Technology. [ bib | .pdf ] |
| [30] | Peter Ladkin. News and comment on the aeroperu b757 accident, aeroperu flight 603, 2 october 1996. Website, November 1997. http://www.rvs.uni-bielefeld.de/publications/Incidents/DOCS/ComAndRep/AeroPeru/aeroperu-news.htm retrieved 5 September 2008. [ bib | .html ] |
| [31] | Bev Littlewood and Lorenzo Strigini. Validation of ultra-high dependability for software-based systems. Communications of the ACM, 36:69--80, Nov 1993. [ bib | DOI | .pdf ] |
| [32] | Maritime and Coastguard Agency. MCA website. Website. http://www.mcga.gov.uk/c4mca/mcga07-home/shipsandcargoes/mcga-shipsregsandguidance/marinenotices.htm retrieved 19 June 2008. [ bib | http ] |
| [33] | T. Murray. Blueprint workshop report. Technical Report QINETIQ/S&E/AVC/CR031274, QinetiQ, May 2003. [ bib ] |
| [34] | David Pumfrey. The Principled Design of Computer System Safety Analyses. PhD thesis, Department of Computer Science, University of York, York, UK, September 1999. [ bib | .pdf ] |
| [35] | Felix Redmill. History and legacy of iec 61508. Safety Systems, 17(2):37--41, January 2008. [ bib | http ] |
| [36] | Aeronautica Civil of the Republic of Colombia. Controlled flight into terrain american airlines flight 965 boeing 757-223, n651aa, near cali, colombia, december 20, 1995. Aircraft accident report, Published on the web by Peter Ladkin, Santa Fé de Bogota, Colombia, September 1996. Retrieved from http://www.rvs.uni-bielefeld.de/publications/Incidents/DOCS/ComAndRep/Cali/calirep.html on 9 July 2008. [ bib | .html ] |
| [37] | Carolyn Salmon and Clive Lee. The certification of systems containing software developed using rtca do-178b. Technical Report ASSC/12/0013, ASSC, June 2006. [ bib | .pdf ] |
| [38] | Roger C. Short. Safety assurance of configuration data for railway signal interlockings. In Proceedings of the 1st International Conference on System Safety, London, UK, June 2006. Institution of Engineering and Technology. [ bib ] |
| [39] | A.J. Simpson and J. Stoker. Safety challenges in flying uavs (unmanned air vehicles) in non segregated airspace. In Proceedings of the 1st International Conference on System Safety, London, UK, June 2006. Institution of Engineering and Technology. [ bib ] |
| [40] | Directorate of Standardization. Safety management requirements for defence systems - part 1: Requirements. Defence Standard 00-56, Ministry of Defence, Glasgow, UK, June 2007. Issue 4. [ bib ] |
| [41] | Directorate of Standardization. Safety management requirements for defence systems - part 2: Guidance on a means of complying with part 1. Defence Standard 00-56, Ministry of Defence, Glasgow, UK, June 2007. Issue 4. [ bib ] |
| [42] | Directorate of Standardization. Requirements for safety related software in defence equipment part 1: Requirements. Defence Standard 00-55, Ministry of Defence, Glasgow, UK, August 1997. Issue 2. [ bib | .pdf ] |
| [43] | Directorate of Standardization. Requirements for safety related software in defence equipment part 2: Guidance. Defence Standard 00-55, Ministry of Defence, Glasgow, UK, August 1997. Issue 2. [ bib | .pdf ] |
| [44] | International Organization for Standardization and International Electrotechnical Commission. Information technology - vocabulary - part 1: Fundamental terms. British Standard BS ISO/IEC 2382-1:1993, British Standards Institution, November 1993. [ bib ] |
| [45] | Neil Storey. Data-driven systems - the state of the ark? Safety Systems, 17(2):28--31, January 2008. [ bib | http ] |
| [46] | Neil Storey and Alastair Faulkner. Characteristics of data in data-intensive safety-related systems. In Proceedings of the 22nd International Conference SafeComp 2003, pages 396--409, Edinburgh, UK, September 2003. [ bib | DOI | http ] |
| [47] | Neil Storey and Alastair Faulkner. Data management in data-driven safety-related systems. In Proceedings of the 20th International Safety System Conference, pages 466--475, Denver CO, USA, August 2002. System Safety Society. [ bib | http ] |
| [48] | Nassim Nicholas Taleb. Fooled by randomness – the hidden role of chance in life and in the markets. Cited on Wikiquote, 2001. http://en.wikiquote.org/wiki/Nassim_Nicholas_Taleb. [ bib | http ] |
| [49] | Andrew S. Tanenbaum. Computer networks. Cited on Wikiquote, 1981. http://en.wikiquote.org/wiki/Andrew_S._Tanenbaum. [ bib | http ] |
| [50] | Mark Templeton. Safety integrity of data. Master's thesis, University of York Department of Computer Science, York, UK, September 2007. [ bib ] |
| [51] | John Tillotson. System safety and management information systems. In Felix Redmill and T. Anderson, editors, Aspects of Safety Management: Proceedings of the Ninth Safety-Critical Systems Symposium, Bristol, UK, 6-8 February 2001, pages 13--34, Secaucus NJ, USA, 2001. Safety Critical Systems Club, Springer-Verlag New York, Inc. [ bib ] |
| [52] | D. Welbourne and N.P. Bester. Data for software systems important to safety. GEC Journal of Research, 12(1):50--57, 1995. Cited in Faulkner & Storey (2001). [ bib ] |
| [53] | Json website. Website. http://www.json.org/ retrieved 4 September 2008. [ bib | http ] |
This file was generated by bibtex2html 1.98.