Slide 1 Software Safety Basics (Herrmann, Ch. 2) 1CS 3090: Safety Critical Programming in C Slide 2 Patriot missile defense system failure On February 25, 1991, a Patriot…