SYSTEM SAFETY, SOFTWARE SAFETY,
HUMAN FACTORS ENGINEERING,
RELIABILITY, AVAILABILITY, MAINTAINABILITY
REFERENCE MATERIAL


A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

Click here to see our scheduled system safety and software safety courses.
​
  • Tabular Representation Of Relations, D.L. Parnas, McMaster University, Communications Research Laboratory Report No. 260, Telecommunications Research Institute of Ontario, October 1992.
  • Targeting Safety-Related Errors During Software Requirements Analysis, Robyn R. Lutz, In Proceedings SIGSOFT '93: Foundations Of Software Engineering, 1993.
  • Taxonomy-Based Risk Identification, M.J. Carr, et al, Software Engineering Institute, 1993.
  • Technical Airworthiness Management Manual (TAMM), Australian Air Publication 7001.053(AM1), Australian Defence Force, 21 October 2010.
  • Technical Airworthiness Manual - C-05-005-001/AG-001, Department of National Defence, Canada, October 8, 2003.
  • Techniques For Prediction Analysis And Recalibration, Sarah Brocklehurst, Bev Littlewood, In Handbook Of Software Reliability Engineering, Edited by Michael R. Lyu, IEEE Computer Society Press, ISBN 0-07-039400-8, 1996.
  • Technology And Assessment Of Safety-Critical Systems, Proceedings Of The Safety-Critical Systems Symposium, Edited by Felix Redmill, Tom Anderson, ISBN 3-540-19859-8, 1994.
  • Temporal Logics And Their Applications, Edited by A. Galton, Academic Press, New York, 1987.
  • Testing Computer Software, Cem Kaner, Jack Falk, Hung Quoc Nguyen, International Thomson Computer Press, ISBN 1-85032-847-1, 1993.
  • Testing Safety-Related Software: A Practical Handbook, Stewart Gardiner, Springer-Verlag, ISBN 1852330341, January 1, 1999.
  • Testing Very Big Systems, D.M. Marks, ISBN 0-07-040433-X, 1992.
  • The Application Of HAZOP Studies To Integrated Requirements Models For Control Systems, P.C. Fencott, B.D. Hebbron, In Proceedings of SAFECOMP '94, Oct. 1994.
  • The Application Of Probabilistic Risk Assessment Techniques To Energy Technologies, Norman C. Rasmussen, In Readings In Risk, Edited by Theodore S. Glickman, Michael Gough, Resources for the Future, New York, 1990, pp 195-205.
  • The Art Of Software Testing, G. Myers, John Wiley & Sons, 1979.
  • The Basics of FMEA, Robin E. McDermott, Raymond J. Mikulak, Michael R. Beauregard, Quality Resources, ISBN 0527763209, 1996.
  • The Bug Heard 'Round The World, John R. Garman, ACM SIGSOFT Software Engineering Notes, Vol. 6, No. 5, October 1981, pp 3-10.
  • The Byzantine Generals Problem, L. Lamport, R. Shostak, M. Pease, ACM Transactions on Programming Languages and Systems, Vol. 4, No. 3, July 1982, pp 382-401.
  • The Challenger Launch Decision : Risky Technology, Culture, and Deviance at NASA, Diane Vaughan, University of Chicago Press, ISBN 0-226-85176-1, 1996.
  • The Choice Of Computer Languages In Safety-Critical Systems, W.J. Cullyer, S.J. Goodenough, B.A. Wichmann, Software Engineering Journal, Vol. 6, No. 2, March 1991, pp 51-58.
  • The Consistent Comparison Problem In N-Version Programming, Susan Brilliant, John C. Knight, Nancy G. Leveson, IEEE Transactions on Software Engineering, Vol. 15, No. 11, November 1989, pp 1481-1485.
  • The Craft Of Software Testing, B. Marick, Prentice-Hall, 1995.
  • The Definition Of Human Error And A Taxonomy For Technical System Design, Jens Rasmussen, In New Technology And Human Error, Edited by Jens Rasmussen, K. Duncan, J. Leplat, John Wiley, 1987.
  • The Evolution Of The Recovery Block Concept, Brian Randell, Jie Xu, In Software Fault Tolerance, Edited by Michael R. Lyu, ISBN 0-471-95068-8, 1995.
  • The Flixborough Cyclohexane Disaster, Trevor A. Kletz, Loss Prevention, 9, 1975.
  • The Flixborough Disaster - Report Of The Court Of Inquiry, Her Majesty's Stationery Office, ISBN 0-11-361075-0, 1975.
  • The FMEA Pocket Handbook, Kenneth Dailey, DW Publishing, ISBN 097472212X, March 19, 2004.
  • The Future Engineering Of Software: A Management Perspective, J.D. Musa, V.R. Basili, IEEE Computer, September 1991, pp 90-96.
  • The Impact Of Diversity Upon Common Mode Failures, Bev Littlewood, Reliability Engineering and System Safety, Vol. 51, No. 1, 1996, pp 101-113.
  • The Infeasibility Of Experimental Quantification Of Life-Critical Software Reliability, Ricky W. Butler, George B. Finelli, In Proceedings of the ACM SIGSOFT '91 Conference On Software For Critical Systems, New Orleans, Louisianna, December 1991, pp 66-76.
  • The Limits Of Safety: Organizations, Accidents, And Nuclear Weapons, Scott D. Sagan, Princeton University Press, N.J., 1993.
  • The Methodology Of N-Version Programming, A. Avizienis, In Software Fault Tolerance, Edited by Michael R. Lyu, ISBN 0-471-95068-8, 1995.
  • The N-Version Approach To Fault Tolerant Software, A. Avizienis, IEEE Transactions On Software Engineering, Vol. 11, 1985, pp 1491-1501.
  • The Operational Profile, J.D. Musa, G. Fuoco, N. Irving, B. Juhlin, D. Kropfl, In Handbook Of Software Reliability Engineering, Edited by Michael R. Lyu, IEEE Computer Society Press, ISBN 0-07-039400-8, 1996.
  • The Primary Flight Computer For The Boeing 777 - A Description, A.D. Hills, GEC Review, Vol. 11, No. 1, 1996.
  • The Psychology Of Everyday Things, D.A. Norman, Basic Books, New York, 1988.
  • The Risks Of Software, Bev Littlewood, Lorenzo Strigini, Scientific American, November 1992, pp 62-75.
  • The Role Of Management In Accident Prevention, Juoko Suokas, In First International Congress On Industrial Engineering And Management, Paris, June 11-13, 1986.
  • The Role of Data in Safety-Related Railway Control Systems, Neil Storey, 19th International System Safety Society Conference, Huntsville, Alabama, 2001.
  • The Science Of Programming, David Gries,Springer Verlag, ISBN 0387964800, 1998.
  • The SHIP Safety Case Approach: A Combination Of System And Software Methods, P.G. Bishop, R.E. Bloomfield, In Proceedings of the Twelfth Annual CSR Workshop On Safety And Reliability Of Software Based Systems - Bruges - 12-15 September 1995, Edited by Roger Shaw, Springer-Verlag, ISBN 3-540-76034-2, 1996.
  • The Therac-25 Experience, Ed Miller, In Conference of State Radiation Control Program Directors, 1987.
  • The Tolerability Of Risk From Nuclear Power Stations, Health & Safety Executive, Her Majesty's Stationery Office, ISBN 0-11-886368-1, 1992.
  • The Use Of Computers In Safety-Critical Applications, Health & Safety Commission, Professor B Littlewood, et al, 1998.
  • The Use Of Self-Checks And Voting In Software Error Detection: An Empirical Study, Nancy G. Leveson, Stephen S. Cha, John C. Knight, T.J. Shimeall, IEEE Transactions On Software Engineering, Vol. 16, No. 4, April 1990.
  • The Vital Coded Processor, G. Guiho, Presentation to the meeting of the IFIP Working Group 10.4, Martinique, 1990.
  • The Way Of Z: Practical Programming With Formal Methods, Jonathan Jacky, Cambridge University Press, ISBN 0-521-55041-6, 1997.
  • The Z Reference Manual, J.M. Spivey, Prentice-Hall International Series in Computer Science, 2nd Edition, 1992.
  • To Engineer Is Human: The Role Of Failure In Successful Design, Henry Petroski, St. Martin's Press, New York, ISBN 0-33-340673-7, 1985.
  • Towards A Formal Semantics Of Parnas Tables, R. Janicki, In Proceedings of 17th International Conference on Software Engineering, Seattle, Washington, April 1995.
  • Towards Integrated Safety Analysis And Design, P. Fenelon, J.A. McDermid, M. Nicholson, D.J. Pumfrey, ACM Applied Computing Review, Aug. 1994.
  • Train Door Emergency Egress and Access and Emergency Evacuation Procedures - Safety Report, ITSRR, Transport Safety Regulation Division, ISBN 0975691317, November 2004.
  • Trust Me, I'm Your Software, Evan I. Schwartz, Discover Magazine, May 1996.
  • Tutorial: Software Testing And Validation Techniques, E. Miller, W. Howden, IEEE Press, 1981.