SYSTEM SAFETY, SOFTWARE SAFETY,
HUMAN FACTORS ENGINEERING,
RELIABILITY, AVAILABILITY, MAINTAINABILITY
REFERENCE MATERIAL
Click here to see our scheduled system safety and software safety courses.
- CAD: Computer Aided Disaster, P. Mellor, Journal Of High Integrity Systems, 1(2), pp 101-156, 1994.
- Calculus Of Communicating Systems, Robin A. Milner, ECS-LFCS-86-7, Laboratory For The Foundations Of Computer Science, Edinburgh University, 1986.
- Canadian Electrical Code, Part I (22nd Edition), Safety Standard for Electrical Installations - C22.1-12, Canadian Standards Association, 2012.
- Certification Considerations For Highly-Integrated Or Complex Aircraft Systems - SAE ARP4754A, December 2010.
- Chemical Process Hazards Analysis - DOE-HDBK-1100, Department Of Energy, February 1996.
- Coding Regulations For Safety Critical Software Development, Franco Mazzanti, In Proceedings of 2nd IEEE International Software Engineering Standards Symposium, August 1995, pp 134-138.
- Colored Petri Nets: A High-Level Language For System Design And Analysis, K. Jensen, In High-Level Petri Nets: Theory and Application, Springer-Verlag, 1991, pp 44-119.
- Combination Of Predictions Obtained From Different Software Reliability Growth Models, Bev Littlewood, M. Lu, S. Brocklehurst, In Proceedings of Annual Software Reliability Symposium, Denver, Colorado, June 1992, also reprinted in Journal of Computer and Software Engineering, Vol. 1, No. 4, 1993, pp 303-324.
- Communicating Sequential Processes, C.A.R. Hoare, Prentice-Hall International, London, 1986.
- Completeness, Robustness, And Safety Of Real-Time Requirements Specification, Matthew S. Jaffe, PhD Thesis, University Of California, Irvine, California, 1988.
- Computer-Based Control System Safety Requirements, International Space Station Alpha Program, NASA, SSP 50038, April 4, 1994.
- Computer-Based Safety Systems - The Elements Of An Acceptable Safety Case, D.W. Hunns, 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.
- Computer Control And Human Error, Trevor A. Kletz, P.W. Chung, E. Broomfield, C. Shen-Orr, Institution of Chemical Engineers, 1995.
- Computer-Related Accidental Deaths: An Empirical Exploration, D. MacKenzie, Science & Public Policy, Vol. 21, No. 4, August 1994.
- Computer Related Risks, Peter G. Neumann, Addison-Wesley, 1995.
- Conceptual Modelling Of Coincident Failures In Multi-Version Software, Bev Littlewood, D.R. Miller, IEEE Transactions on Software Engineering, Vol. 15, No. 12, December 1989, pp 1596-1614.
- Contribution Of Programming Languages To Software Quality, B.A. Wichmann, IEE Software Engineering Journal, January 1994.
- C Traps And Pitfalls, A. Koenig, Addison-Wesley, 1988.