56 citations · 343 across the 31 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
eess.SY2017★ 2 cited
Run-Time Risk Mitigation in Automated Vehicles: A Model for Studying Preparatory Steps
Mario Gleirscher
We assume that autonomous or highly automated driving (AD) will be accompanied by tough assurance obligations exceeding the requirements of even recent revisions of ISO 26262 or SO…
cs.SE2017★ 12 cited
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…