56 citations · 343 across the 31 of their papers we have counts for
19 papers · 1 filter
Qualification of Proof Assistants, Checkers, and Generators: Where Are We and What Next?
Mario Gleirscher, Robert Sachtleben, Jan Peleska
Cyber-physical systems, such as learning robots and other autonomous systems, employ high-integrity software in their safety-critical control. This software is developed using a ra…
Sound Development of Safety Supervisors
Mario Gleirscher, Lukas Plecher, Jan Peleska
Safety supervisors are controllers enforcing safety properties by keeping a system in (or returning it to) a safe state. The development of such high-integrity components can benef…
A Manifesto for Applicable Formal Methods
Mario Gleirscher, Jaco van de Pol, Jim Woodcock
Formal methods were frequently shown to be effective and, perhaps because of that, practitioners are interested in using them more often. Still, these methods are far less applied…
Proceedings First Workshop on Applicable Formal Methods
Mario Gleirscher, Jaco van de Pol, Jim Woodcock
This volume contains the proceedings of the 1st International Workshop on Applicable Formal Methods (AppFM 2021), 23 November 2021, held online as part of the 24th International Sy…
Complete Test of Synthesised Safety Supervisors for Robots and Autonomous Systems
Mario Gleirscher, Jan Peleska
Verified controller synthesis uses world models that comprise all potential behaviours of humans, robots, further equipment, and the controller to be synthesised. A world model ena…
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…
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…
Risk Structures: Towards Engineering Risk-aware Autonomous Systems
Mario Gleirscher
Inspired by widely-used techniques of causal modelling in risk, failure, and accident analysis, this work discusses a compositional framework for risk modelling. Risk models captur…
Assurance of System Safety: A Survey of Design and Argument Patterns
Mario Gleirscher, Stefan Kugele
The specification, design, and assurance of safety encompasses various concepts and best practices, subject of reuse in form of patterns. This work summarizes applied research on s…
Safety Practice and its Practitioners: Exploring a Diverse Profession
Mario Gleirscher, Anne Nyokabi
System safety refers to a diverse engineering discipline assessing and improving various aspects of safety in socio-technical systems and their software-intensive sub-systems. Whil…
New Opportunities for Integrated Formal Methods
Mario Gleirscher, Simon Foster, Jim Woodcock
Formal methods have provided approaches for investigating software engineering fundamentals and also have high potential to improve current practices in dependability assurance. In…
Formal Methods in Dependable Systems Engineering: A Survey of Professionals from Europe and North America
Mario Gleirscher, Diego Marmsoler
Context: Formal methods (FMs) have been around for a while, still being unclear how to leverage their benefits, overcome their challenges, and set new directions for their improvem…
SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles
Mario Gleirscher, Sven Linker, Stefan Kugele
This report summarizes the discussions, open issues, take-away messages, and conclusions of the 2nd SCAV workshop.
From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case
Mario Gleirscher, Stefan Kugele
Vehicle safety depends on (a) the range of identified hazards and (b) the operational situations for which mitigations of these hazards are acceptably decreasing risk. Moreover, wi…
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…
Introduction of Static Quality Analysis in Small and Medium-Sized Software Enterprises: Experiences from Technology Transfer
Mario Gleirscher, Dmitriy Golubitskiy, Maximilian Irlbeck +1
Today, small and medium-sized enterprises (SMEs) in the software industry face major challenges. Their resource constraints require high efficiency in development. Furthermore, qua…
On the Benefit of Automated Static Analysis for Small and Medium-Sized Software Enterprises
Mario Gleirscher, Dmitriy Golubitskiy, Maximilian Irlbeck +1
Today's small and medium-sized enterprises (SMEs) in the software industry are faced with major challenges. While having to work efficiently using limited resources they have to pe…
Model-based Hazard and Impact Analysis
Sonila Dobi, Mario Gleirscher, Maria Spichkova +1
Hazard and impact analysis is an indispensable task during the specification and development of safety-critical technical systems, and particularly of their software-intensive cont…