COM S 415: Software System Safety
(Dual-listed with COM S 515). (3-0) Cr. 3.
Prereq: COM S 309 or COM S 311; for graduate credit: graduate standing or permission of instructor
An introduction to the hazard analysis, safety requirements, design, and testing 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.