Dr. Salamah Salamah  

Office phone: (915)-747-6671   Email: isalamah@utep.edu

CS 5371 Software Safety & Risk Analysis

Course Description

Principles of software development for safety and mission critical systems. Topics include safety-related analysis, specification, design, implementation, and maintenance techniques; survey of programming language and operating system issues for implementing safety-related software; safety requirements, hazard and risk analyses, fault tolerance, basics of software reliability, and issues of verification, validation, and certification; models for safety in a distributed system; safety standards and guidelines across application domain and selected tools supporting safety assurance of software components.

Course Material

• Course Syllabus
• Engineering a Safer World - Nancy G. Leveson
• Joint Software System Safety Committee Software System Safety Handbook
• Research Paper Guidlines

Lecture Slides

• Lecture 1 - Course Intro

• Lecture 2 - Introduction to Software Safety

• Lecture 3 - Fault Tree Analysis

• Lecture 4 - Event Tree Analysis

• Propositional Logic and Proof Systems Lecture Notes

• Lecture 5 - Propositional Logic and Proof Systems Exercises

• Propositional Logic and Proof Systems Exercises Handout

• Lecture 6 - Software Model Checking