Slide 1 Lionel Briand 2010 1 Safety Analysis Slide 2 Lionel Briand 2010 2 Safety-critical Software Systems whose failure can threaten human life or cause serious…