COMS 5150: Software System Safety
(Dual-listed with COMS 4150).
Credits: 3. Contact Hours: Lecture 3.
Prereq: [(COMS 3090 or COMS 3110) and Permission of Instructor] OR Graduate Classification
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.