research
∙
06/26/2023
Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains
In this paper, a quantitative risk assessment approach is discussed for ...
share
research
∙
02/19/2023
Qualification of Proof Assistants, Checkers, and Generators: Where Are We and What Next?
Cyber-physical systems, such as learning robots and other autonomous sys...
research
∙
03/16/2022
Sound Development of Safety Supervisors
Safety supervisors are controllers enforcing safety properties by keepin...
research
∙
12/23/2021
A Manifesto for Applicable Formal Methods
Formal methods were frequently shown to be effective and, perhaps becaus...
research
∙
11/15/2021
Proceedings First Workshop on Applicable Formal Methods
This volume contains the proceedings of the 1st International Workshop o...
research
∙
10/25/2021
Complete Test of Synthesised Safety Supervisors for Robots and Autonomous Systems
Verified controller synthesis uses world models that comprise all potent...
research
∙
06/11/2021
Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration
We present a tool-supported approach for the synthesis, verification and...
research
∙
06/10/2021
Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs
We extend a semantic verification framework for hybrid systems with the ...
research
∙
02/05/2021
Maintaining driver attentiveness in shared-control autonomous driving
We present a work-in-progress approach to improving driver attentiveness...
research
∙
12/03/2020
YAP: Tool Support for Deriving Safety Controllers from Hazard Analysis and Risk Assessments
Safety controllers are system or software components responsible for han...
research
∙
09/25/2020
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM
Assurance cases are often required to certify critical systems. The use ...
research
∙
07/17/2020
Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots
The coordinated assurance of interrelated critical properties, such as s...
research
∙
07/07/2020
Safety Controller Synthesis for Collaborative Robots
In human-robot collaboration (HRC), software-based automatic safety cont...
research
∙
06/16/2020
Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles
The use of autonomous vehicles in real-world applications is often precl...
research
∙
05/15/2019
Mechanised Assurance Cases with Integrated Formal Methods in Isabelle
Assurance cases are often required as a means to certify a critical syst...
research
∙
04/23/2019
Risk Structures: Towards Engineering Risk-aware Autonomous Systems
Inspired by widely-used techniques of causal modelling in risk, failure,...
research
∙
02/14/2019
Assurance of System Safety: A Survey of Design and Argument Patterns
The specification, design, and assurance of safety encompasses various c...
research
∙
12/25/2018
New Opportunities for Integrated Formal Methods
Formal methods have provided approaches for investigating software engin...
research
∙
12/25/2018
Assuring Autonomous Systems: Opportunities for Integrated Formal Methods?
Formal methods have provided approaches for investigating software engin...
research
∙
12/20/2018
Formal Methods: Oversold? Underused? A Survey
Context: Formal methods (FM) have been around for a while, still being u...
research
∙
12/20/2018
Safety Practice and its Practitioners: Exploring a Diverse Profession
System safety refers to a diverse engineering discipline assessing and i...
research
∙
11/05/2018
SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles
This report summarizes the discussions, open issues, take-away messages,...
research
∙
02/22/2018
From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case
Vehicle safety depends on (a) the range of identified hazards and (b) th...
research
∙
09/08/2017