COMS 4150: Software System Safety
(Dual-listed with COMS 5150).
Credits: 3. Contact Hours: Lecture 3.
Prereq: COMS 3090 or COMS 3110
An introduction to the hazard analysis, safety requirements, design, and verification of software for safety-critical and high-dependability systems. Safety analysis techniques, fault identification and recovery, and certification issues. Emphasizes a case-based and systematic approach to software's role in safe systems.