56 citations · 343 across the 31 of their papers we have counts for
5 papers · 1 filter
YAP: Tool Support for Deriving Safety Controllers from Hazard Analysis and Risk Assessments
Mario Gleirscher
Safety controllers are system or software components responsible for handling risk in many machine applications. This tool paper describes a use case and a workflow for YAP, a rese…
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM
Simon Foster, Yakoub Nemouchi, Mario Gleirscher +2
Assurance cases are often required to certify critical systems. The use of formal methods in assurance can improve automation, increase confidence, and overcome errant reasoning. H…
Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots
Mario Gleirscher, Nikita Johnson, Panayiotis Karachristou +3
The coordinated assurance of interrelated critical properties, such as system safety and cyber-security, is one of the toughest challenges in critical systems engineering. In this…
Safety Controller Synthesis for Collaborative Robots
Mario Gleirscher, Radu Calinescu
In human-robot collaboration (HRC), software-based automatic safety controllers (ASCs) are used in various forms (e.g. shutdown mechanisms, emergency brakes, interlocks) to improve…
Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles
Simon Foster, Mario Gleirscher, Radu Calinescu
The use of autonomous vehicles in real-world applications is often precluded by the difficulty of providing safety guarantees for their complex controllers. The simulation-based te…