Risk Structures: Towards Engineering Risk-aware Autonomous Systems
arXiv:1904.10386 · doi:10.1007/s00165-021-00545-4
Abstract
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 capture fragments of the space of risky events likely to occur when operating a machine in a given environment. Moreover, one can build such models into machines such as autonomous robots, to equip them with the ability of risk-aware perception, monitoring, decision making, and control. With the notion of a risk factor as the modelling primitive, the framework provides several means to construct and shape risk models. Relational and algebraic properties are investigated and proofs support the validity and consistency of these properties over the corresponding models. Several examples throughout the discussion illustrate the applicability of the concepts. Overall, this work focuses on the qualitative treatment of risk with the outlook of transferring these results to probabilistic refinements of the discussed framework.
References in corpus (11)
- On a Formal Model of Safe and Scalable Self-driving Cars
- Formal Methods in Dependable Systems Engineering: A Survey of Professionals from Europe and North America
- New Opportunities for Integrated Formal Methods
- Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP
- Advancing Dynamic Fault Tree Analysis
- Safety Controller Synthesis for Collaborative Robots
- Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern
- From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case
- Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles
- Proceedings First Workshop on Formal Verification of Autonomous Vehicles
- YAP: Tool Support for Deriving Safety Controllers from Hazard Analysis and Risk Assessments