4 papers
Targeting the Right Situations: Mutation Testing of Fuzzy-Powered Situation Hyperspace
Nawshin Mannan Proma
Ensuring the safety of autonomous Unmanned Aerial Vehicles (UAVs) operating in underground mines is challenging due to the vast and uncertain Operational Design Domain (ODD). Tradi…
Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
Gricel Vázquez, Calum Imrie, Sepeedeh Shahbeigi +5
Ensuring reliable performance in situations outside the Operational Design Domain (ODD) remains a primary challenge in devising resilient autonomous systems. We explore this challe…
Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach
Nawshin Mannan Proma, Gricel Vázquez, Sepeedeh Shahbeigi +2
As industrial autonomous ground vehicles are increasingly deployed in safety-critical environments, ensuring their safe operation under diverse conditions is paramount. This paper…
SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment
Nawshin Mannan Proma, Victoria J Hodge, Rob Alexander
The safety of autonomous systems in dynamic and hazardous environments poses significant challenges. This paper presents a testing approach named SCALOFT for systematically assessi…