3 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.CY2024
Dynamic safety cases for frontier AI
Carmen Cârlan, Francesca Gomez, Yohan Mathew +4
Frontier artificial intelligence (AI) systems present both benefits and risks to society. Safety cases - structured arguments supported by evidence - are one way to help ensure the…
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…