A Deductive Approach to Safety Assurance:Formalising Safety Contracts with Subjective Logic

Herd, Benjamin, Burton, Simon orcid.org/0000-0001-9040-8752 and Zacchi, João Vitor (2024) A Deductive Approach to Safety Assurance:Formalising Safety Contracts with Subjective Logic. In: Ceccarelli, Andrea, Bondavalli, Andrea, Trapp, Mario, Schoitsch, Erwin, Gallina, Barbara and Bitsch, Friedemann, (eds.) Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops - DECSoS, SASSUR, TOASTS, and WAISE, Proceedings. 19th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems, DECSoS 2024, 11th International Workshop on Next Generation of System Assurance Approaches for Critical Systems, SASSUR 2024, Towards A Safer Systems architectur, 17 Sep 2024 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer Nature Switzerland , ITA , pp. 213-226.

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Editors:
  • Ceccarelli, Andrea
  • Bondavalli, Andrea
  • Trapp, Mario
  • Schoitsch, Erwin
  • Gallina, Barbara
  • Bitsch, Friedemann
Copyright, Publisher and Additional Information:

© The Author(s), under exclusive license to Springer Nature Switzerland AG 2024. This is an author-produced version of the published paper. Uploaded in accordance with the University’s Research Publications and Open Access policy.

Keywords: autonomous systems,safety assurance,uncertainty
Dates:
  • Accepted: 9 September 2024
  • Published: 9 September 2024
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 06 Aug 2025 09:30
Last Modified: 06 Aug 2025 09:30
Published Version: https://doi.org/10.1007/978-3-031-68738-9_16
Status: Published
Publisher: Springer Nature Switzerland
Series Name: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Identification Number: 10.1007/978-3-031-68738-9_16
Related URLs:
Open Archives Initiative ID (OAI ID):

Download

Filename: 2024_SASSUR_Herd_et_al_Camera_Ready.pdf

Description: 2024_SASSUR_Herd_et_al_Camera_Ready

Licence: CC-BY 2.5

Export

Statistics