Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern

Mario Gleirscher, Carmen Carlan

We observed that safety arguments are prone to stay too abstract, e.g. solutions refer to large packages, argument strategies to complex reasoning steps, contexts and assumptions l…