RiskStructures : A Design Algebra for Risk-Aware Machines

Gleirscher, Mario orcid.org/0000-0002-9445-6863, Calinescu, Radu orcid.org/0000-0002-2678-9260 and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2021) RiskStructures : A Design Algebra for Risk-Aware Machines. Formal Aspects of Computing. ISSN 0934-5043

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: Funding Information: Mario Gleirscher was supported in part by the German Research Foundation (DFG) under the Fellowship Grant no. 381212925. Work by Radu Calinescu and Mario Gleirscher was partially supported by the Lloyd's Register Foundation under the Autonomy Assurance International Programme (AAIP) Grant CSI:Cobot. Radu Calinescu was additionally supported by the UKRI Project EP/V026747/1 "Trustworthy Autonomous Systems Node in Resilience". We would like to thank Simon Foster for inspiring discussions on the use of relational specification; Ana Cavalcanti and Cliff Jones for insightful questions about the abstraction, composition, and methodology underlying RiskStructures; James Baxter, AlvaroMiyazawa, and Pedro Ribeiro for enlightening conversations about CSP. We are also thankful to Sam Clark for helpful feedback on an early version of the introductory and closing sections. Funding Information: Radu Calinescu was additionally supported by the UKRI Project EP/V026747/1 "Trustworthy Autonomous Systems Node in Resilience". Acknowledgements Publisher Copyright: © 2021, The Author(s).
Keywords: Correct construction,Formal development,Risk awareness,Run-time mitigation,Safety controllers,Robots and autonomous systems,Theoretical Computer Science,Software
Dates:
  • Accepted: 11 March 2021
  • Published (online): 26 May 2021
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 15 Mar 2021 10:30
Last Modified: 29 Nov 2021 00:38
Published Version: https://doi.org/10.1007/s00165-021-00545-4
Status: Published online
Refereed: Yes
Identification Number: https://doi.org/10.1007/s00165-021-00545-4
Related URLs:

Download

Filename: Gleirscher2021_Article_RiskStructuresADesignAlgebraFo.pdf

Description: Gleirscher2021_Article_RiskStructuresADesignAlgebraFo

Licence: CC-BY 2.5

Share / Export

Statistics