2 papers
cs.SE2025
Safety Factories - a Manifesto
Carmen Cârlan, Daniel Ratiu, Michael Wagner
Modern cyber-physical systems are operated by complex software that increasingly takes over safety-critical functions. Software enables rapid iterations and continuous delivery of…
cs.SE2024
The Open Autonomy Safety Case Framework
Michael Wagner, Carmen Carlan
A system safety case is a compelling, comprehensible, and valid argument about the satisfaction of the safety goals of a given system operating in a given environment supported by…