5 papers
Introducing a Novel Systems Thinking approach inspired by STPA: Road Safety Intervention design case study
Halima El Badaoui, Siddartha Khastgir, Mariat James Elizebeth +3
According to the latest provisional statistics released by the UK Department for Transport, Great Britain recorded 1,633 road deaths in 2024, representing a slight increase from 20…
Safety Analysis of eVTOL Operations based on STPA
Mariat James Elizebeth, Shufeng Chen, Halima El Badaoui +2
Electric Vertical Take-Off and Landing (eVTOL) aircraft are expected to be quieter and more cost-effective than helicopters, offering major economic and social benefits through imp…
A Scalable Framework for Safety Assurance of Self-Driving Vehicles based on Assurance 2.0
Shufeng Chen, Mariat James Elizebeth, Robab Aghazadeh Chakherlou +4
Assurance 2.0 is a modern framework developed to address the assurance challenges of increasingly complex, adaptive, and autonomous systems. Building on the traditional Claims-Argu…
A Scalable Framework for the Management of STPA Requirements: a Case Study on eVTOL Operations
Shufeng Chen, Halima El Badaoui, Mariat James Elizebeth +3
System-Theoretic Process Analysis (STPA) is a recommended method for analysing complex systems, capable of identifying thousands of safety requirements often missed by traditional…
ProTIP: Probabilistic Robustness Verification on Text-to-Image Diffusion Models against Stochastic Perturbation
Yi Zhang, Yun Tang, Wenjie Ruan +4
Text-to-Image (T2I) Diffusion Models (DMs) have shown impressive abilities in generating high-quality images based on simple text descriptions. However, as is common with many Deep…