English
Related papers

Related papers: Systematic Hazard Analysis for Frontier AI using S…

200 papers

To effectively address potential harms from AI systems, it is essential to identify and mitigate system-level hazards. Current analysis approaches focus on individual components of an AI system, like training data or models, in isolation,…

Artificial Intelligence · Computer Science 2024-10-31 Shalaleh Rismani , Roel Dobbe , AJung Moon

A major concern amongst AI safety practitioners is the possibility of loss of control, whereby humans lose the ability to exert control over increasingly advanced AI systems. The range of concerns is wide, spanning current day risks to…

Computers and Society · Computer Science 2026-02-04 Steve Barrett , Anna Bruvere , Sean P. Fillingham , Catherine Rhodes , Stefano Vergani

Self-adaptive systems are able to change their behaviour at run-time in response to changes. Self-adaptation is an important strategy for managing uncertainty that is present during the design of modern systems, such as autonomous vehicles.…

Systems and Control · Electrical Eng. & Systems 2023-04-04 Simon Diemert , Jens H. Weber

Safety analysis is used to identify hazards and build knowledge during the design phase of safety-relevant functions. This is especially true for complex AI-enabled and software intensive systems such as Autonomous Drive (AD).…

Software Engineering · Computer Science 2024-03-20 Ali Nouri , Christian Berger , Fredrik Törner

Systems Theoretic Process Analysis (STPA) is a systematic approach for hazard analysis that has been used across many industrial sectors including transportation, energy, and defense. The unstoppable trend of using Machine Learning (ML) in…

Software Engineering · Computer Science 2023-07-18 Yi Qi , Yi Dong , Siddartha Khastgir , Paul Jennings , Xingyu Zhao , Xiaowei Huang

A key goal of the System-Theoretic Process Analysis (STPA) hazard analysis technique is the identification of loss scenarios - causal factors that could potentially lead to an accident. We propose an approach that aims to assist engineers…

Logic in Computer Science · Computer Science 2023-06-08 Craig Innes , Andrew Ireland , Yuhui Lin , Subramanian Ramamoorthy

Machine learning (ML) components are increasingly integrated into software products, yet their complexity and inherent uncertainty often lead to unintended and hazardous consequences, both for individuals and society at large. Despite these…

Software Engineering · Computer Science 2025-09-15 Yining Hong , Christopher S. Timperley , Christian Kästner

As autonomous driving technology continues to advance, end-to-end models have attracted considerable attention owing to their superior generalisation capability. Nevertheless, such learning-based systems entail numerous safety risks…

Robotics · Computer Science 2025-05-22 Hongrui Kou , Zhouhang Lyu , Ziyu Wang , Cheng Wang , Yuxin Zhang

Formal verification and testing are complementary approaches which are used in the development process to verify the functional correctness of software. However, the correctness of software cannot ensure the safe operation of…

Software Engineering · Computer Science 2016-12-12 Asim Abdulkhaleq , Stefan Wagner , Nancy Leveson

Safety has become of paramount importance in the development lifecycle of the modern automobile systems. However, the current automotive safety standard ISO 26262 does not specify clearly the methods for safety analysis. Different methods…

Software Engineering · Computer Science 2020-02-04 Asim Abdulkhaleq , Stefan Wagner , Daniel Lammering , Hagen Boehmert , Pierre Blueher

As reinforcement learning (RL) deployments expand into safety-critical domains, existing evaluation methods fail to systematically identify hazards arising from the black-box nature of neural network enabled policies and distributional…

Modern general-purpose artificial intelligence (AI) systems present an urgent risk management challenge, as their rapidly evolving capabilities and potential for catastrophic harm outpace our ability to reliably assess their risks. Current…

Artificial Intelligence · Computer Science 2025-07-03 Anna Katariina Wisakanto , Joe Rogero , Avyay M. Casheekar , Richard Mallah

Software safety is a crucial aspect during the development of modern safety-critical systems. Software is becoming responsible for most of the critical functions of systems. Therefore, the software components in the systems need to be…

Software Engineering · Computer Science 2016-12-12 Asim Abdulkhaleq , Stefan Wagner

As artificial intelligence (AI) becomes increasingly embedded in digital, social, and institutional infrastructures, and AI and platforms are merged into hybrid structures, systemic risk has emerged as a critical but undertheorized…

Computers and Society · Computer Science 2026-05-26 Philipp Hacker , Lilian Edwards , Atoosa Kasirzadeh

In many safety-critical engineering domains, hazard analysis techniques are an essential part of requirement elicitation. Of the methods proposed for this task, STPA (System-Theoretic Process Analysis) represents a relatively recent…

Software Engineering · Computer Science 2025-03-18 Ali Raeisdanaei , Juho Kim , Michael Liao , Sparsh Kochhar

The transition to the smart grid introduces complexity to the design and operation of electric power systems. This complexity has the potential to result in safety-related losses that are caused, for example, by unforeseen interactions…

Software Engineering · Computer Science 2023-09-15 Paul Smith , Eva Piatkowska , Edmund Widl , Filip Pröstl Andrén , Thomas I. Strasser

Frontier AI systems are being adopted across Africa, yet most AI safety evaluations are designed and validated in Western environments. In this paper, we argue that the portability gap can leave Africa-centric pathways to severe harm…

As artificial intelligence systems grow more capable and autonomous, frontier AI development poses potential systemic risks that could affect society at a massive scale. Current practices at many AI labs developing these systems lack…

Computers and Society · Computer Science 2025-06-03 Aidan Kierans , Kaley Rittichier , Utku Sonsayar , Avijit Ghosh

Recent advancements in the field of Artificial Intelligence (AI) establish the basis to address challenging tasks. However, with the integration of AI, new risks arise. Therefore, to benefit from its advantages, it is essential to…

Machine Learning · Computer Science 2024-12-20 Ronald Schnitzer , Andreas Hapfelmeier , Sven Gaube , Sonja Zillner

Rapidly advancing artificial intelligence (AI) systems introduce novel, uncertain, and potentially catastrophic risks. Managing these risks requires a mature risk-management infrastructure whose cornerstone is rigorous risk modeling. We…

‹ Prev 1 2 3 10 Next ›