SCALOFT:An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment

Proma, Nawshin Mannan orcid.org/0000-0002-8869-3977, Hodge, Victoria J. orcid.org/0000-0002-2469-0224 and Alexander, Rob orcid.org/0000-0003-3818-0310 (2025) SCALOFT:An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment. In: SASSUR 2025:12th International Workshop on Next Generation of System Assurance Approaches for Critical Systems. 12th International Workshop on Next Generation of System Assurance Approaches for Critical Systems, 09 Sep 2025, Stockholm. (In Press)

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Copyright, Publisher and Additional Information:

This is an author-produced version of the published paper. Uploaded in accordance with the University’s Research Publications and Open Access policy.
Dates:
  • Accepted: 4 June 2025
  • Published: 9 September 2025
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 Jun 2025 11:20
Last Modified: 27 Aug 2025 10:00
Status: In Press
Open Archives Initiative ID (OAI ID):

Download

Accepted Version


Embargoed until: 9 September 2025

Filename: SASSUR_2025_paper_7_accepted_version.pdf

Description: SASSUR_2025_paper_7_accepted_version

Licence: CC-BY 2.5

Request a copy

file not available

Export

Statistics


CORE (COnnecting REpositories)