Paper Info
Title
RiskStructures: A design algebra for risk-aware machines
Abstract
AbstractAbstractMachines, such as mobile robots and delivery drones, incorporate controllers responsible for a task while handling risk (e.g. anticipating and mitigating hazards; preventing and alleviating accidents). We refer to machines with this capability as risk-awaremachines. Risk awareness includes robustness and resilience and complicates monitoring (i.e., introspection, sensing, prediction), decision making, and control. From an engineering perspective, risk awareness adds a range of dependability requirements to system assurance. Such assurance mandates a correct-by-construction approach to controller design, based on mathematical theory.We introduce RiskStructures, an algebraic framework for risk modelling intended to support the design of safety controllers for risk-aware machines. Using the concept of a risk factor as a modelling primitive, this framework provides facilities to construct, examine, and assure these controllers.We prove desirable algebraic properties of these facilities, and demonstrate their applicability by using them to specify key aspects of safety controllers for risk-aware automated driving and collaborative robots.
Year
DOI
Venue
2021
10.1007/s00165-021-00545-4
Formal Aspects of Computing
Keywords
DocType
Volume
Correct construction, Formal development, Risk awareness, Run-time mitigation, Safety controllers, Robots and autonomous systems
Journal
33
Issue
ISSN
Citations 
4-5
0934-5043
0
PageRank 
References 
Authors
0.34
0
3
Name
Order
Citations
PageRank
Mario Gleirscher15711.88
Radu Calinescu290563.01
Jim Woodcock3212.62