Chapter 15: Software Hazard and Requirements Analysis
Chapter 16: Designing for Safety
IEEE Software Magazine on Safety-Critical Software
Be More Familiar with Our Enemies and Pave the Way Forward:
A Review of the Roles Bugs Played in Software Failures,
W. Eric Wong, Xuelin Li, and Philip A. Laplante,
Journal of Systems and Software, Volume 133, pp. 68-94, November 2017
Basic Concepts and Taxonomy of Dependable and Secure Computing
A. Avizienis, J.C. Laprie, B. Randell, and C. Landwehr,
IEEE Transactions on Dependable and Secure Computing,
Volume 1, Issue 1, pp. 11-33, January 2004
What Is Undergraduate Research and Why Does It Matter?
Fault Tree Handbook U.S. Nuclear Regulatory Commission
[download]
[local]
Lectures for Summer 2020
Introduction to Software Safety I
[Slides]
[Video]
Introduction to Software Safety II
[Slides]
[Video]
Software Architecture and Design I
[Slides]
[Video]
Software Architecture and Design II
[Slides]
[Video]
UML & Object Oriented Analysis & Design I
[Slides]
[Video]
UML & Object Oriented Analysis & Design II
[Slides]
[Video]
Software Project Planning and Management
[Slides]
[Video]
Ethics and Professional Responsibility for CS & SE
[Slides]
[Video]
Additional Reading Materials
Requirements Development, Verification, and Validation Exhibited in Famous Failures
Terry Bahill and Steven Henderson
[download]