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. Lecture Notes in Computer Science. Springer, pp. 281-293.

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)
Date Deposited: 06 Jun 2025 11:20
Last Modified: 27 Feb 2026 16:00
Published Version: https://doi.org/10.1007/978-3-032-02018-5_21
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Identification Number: 10.1007/978-3-032-02018-5_21
Open Archives Initiative ID (OAI ID):

Download

Accepted Version

Filename: SASSUR_2025_paper_7_accepted_version.pdf

Description: SASSUR_2025_paper_7_accepted_version

Licence: CC-BY 2.5

CLICK TO DOWNLOAD [thumbnail of SASSUR_2025_paper_7_accepted_version]

Export

Statistics

View Altmetric information about this item.


CORE (COnnecting REpositories)