In COMS415, I applied systematic hazard analysis to safety-critical systems, from stereotactic radiosurgery devices to Mars lander software—using Fault Tree and Software Fault Tree methods to identify and prioritize failure conditions under worst-case scenarios.
Assignments included performing Software Failure Modes, Effects, and Criticality Analysis (SFMECA) on an infant incubator thermostat, constructing detailed event and data tables for safety functions, and deriving software safety requirements following Leveson's Safeware framework for human-computer interfaces.
I also leveraged static code analysis to verify safety-critical modules (e.g., Mars Polar Lander's software), devised test harnesses for “untestable” surgical systems, and analyzed real-world high-dependability incidents to recommend systems-based design and testing improvements.