56 citations · 343 across the 31 of their papers we have counts for
32 papers
Mixed-Reality Feedback Control: Towards Blending of Control and Digital Twinning
Melisa Soydan, Mario Gleirscher
Technologies, such as co-simulation, in particular, digital twins (DTs) are used for comprehensive and reliable prototyping, verification and validation (V&V) of control systems. T…
Engineering Reliable Autonomous Systems: Challenges and Solutions
Marie Farrell, Matt Luckcuck, Angelo Ferrando +28
Engineering reliable autonomous systems is an important and growing topic in computer science. As autonomous systems become more prevalent, easy-to-use techniques for building them…
Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study
Till Schnittka, Mario Gleirscher
When designing correct-by-construction controllers for autonomous collectives, three key challenges are the task specification, the modelling, and its use at practical scale. In th…
Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems
Marie Farrell, Matt Luckcuck, Mario Gleirscher +1
This EPTCS volume contains the proceedings for the Fifth International Workshop on Formal Methods for Autonomous Systems (FMAS 2023), which was held on the 15th and 16th of Novembe…
Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains
Mario Gleirscher, Anne E. Haxthausen, Jan Peleska
In this paper, a quantitative risk assessment approach is discussed for the design of an obstacle detection function for low-speed freight trains with grade of automation (GoA)~4.…
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…
Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration
Mario Gleirscher, Radu Calinescu, James Douthwaite +5
We present a tool-supported approach for the synthesis, verification and validation of the control software responsible for the safety of the human-robot interaction in manufacturi…
Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs
Simon Foster, Jonathan Julián Huerta y Munive, Mario Gleirscher +1
We extend a semantic verification framework for hybrid systems with the Isabelle/HOL proof assistant by an algebraic model for hybrid program stores, a shallow expression model for…
Maintaining driver attentiveness in shared-control autonomous driving
Radu Calinescu, Naif Alasmari, Mario Gleirscher
We present a work-in-progress approach to improving driver attentiveness in cars provided with automated driving systems. The approach is based on a control loop that monitors the…
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…
Mechanised Assurance Cases with Integrated Formal Methods in Isabelle
Yakoub Nemouchi, Simon Foster, Mario Gleirscher +1
Assurance cases are often required as a means to certify a critical system. Use of formal methods in assurance can improve automation, and overcome problems with ambiguity, faulty…
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…