Skip to content

SAFARI: An Industrial Benchmark for LLM-Assisted Hazard Analysis and Risk Assessment

Sep 2026 · 0 citations · 28 references
Computer Science

Abstract

Large language models (LLMs) are increasingly considered for safety-critical engineering, yet their reliability in regulated functional-safety workflows remains underexplored. We introduce SAFARI (Safety-Aware Functional Automotive Risk Inference), the first industrial benchmark for LLM-assisted automotive Hazard Analysis and Risk Assessment (HARA) under ISO 26262. It contains 3,000 de-identified industrial HARA cases and evaluates two coupled tasks: open-ended hazard analysis and standards-grounded risk assessment. To evaluate open-ended HARA artifacts, we propose the first reference-anchored LLM-as-a-judge protocol with high expert correlation. Experiments with nine frontier LLMs show that models often produce plausible hazard narratives but remain weak at ISO 26262 risk classification, with the best ASIL macro-F1 reaching only 0.261. Chain-of-Thought prompting provides limited benefit and often degrades categorical risk assessment. Error analysis further localizes major failures to scenario-critical context omissions during hazard generation and to controllability misjudgments during risk assessment, indicating where expert oversight should be concentrated. The dataset can be obtained from https://github.com/xixi47520-hash/HARA.

View source

Similar papers

Open access 2026

An Empirical Study of Large Language Models for Risk Verification in Automotive Binary Programs

Large Language Models (LLMs) have become a key driver of productivity advancement; however, research on LLMs in the context of automotive conformity assessment remains limited. This paper investigates the application of LLMs to risk verification under automotive conformity assessment. First, through expert manual analy...

Ya-Nan Zhang, Long-Hai Yu, Qian-Chuang Zhi et al. · 0 citations
#artificial intelligence Preprint Oct 2026

Towards a Benchmark for Fire Safety Code Interpretation in the Hong Kong AEC Industry

Large Language Models (LLMs) are increasingly explored in the Architecture, Engineering, and Construction (AEC) domain, yet their reliability in regulatory compliance remains uncertain. In this study, we evaluate the performance of LLMs on Hong Kong fire safety codes. In collaboration with domain experts, we create a l...

Le Qiu, Zhuan-Lei Zhang, H. Chan et al. · 0 citations
Open access Sep 2026

Development of a Framework for Evaluating Large Language Model Safety and Reliability: a Proof-of-Concept Evaluation

In this single-centre proof-of-concept, aggregate accuracy was insufficient for safety characterisation: models with indistinguishable mean accuracy carried different catastrophic-failure tiers and reproducibility profiles.

Fang-Yan Liu, Zhi Liu, Xiaolu Fei et al. · 0 citations
#artificial intelligence Preprint Oct 2026

DRYLAB-Bench: Benchmarking the Biosecurity Risk of Agentic LLM Mutation Design

As large language models (LLMs) acquire advanced biological design capabilities, they offer substantial research benefits but simultaneously introduce severe dual-use risks, such as engineering enhanced pathogens or drug-resistant bacteria. While biosecurity frameworks recognize these threats, the actual risk of LLMs e...

Yu-Zhen Wang, Chun-Xiao Li, Bai-Chen Le et al. · 0 citations

Evaluation of Prompt Engineering for LLM-Based Construction Contract Risk Analysis

Large language models (LLMs) show increasing potential for complex analytical tasks; however, their reliability in high-stakes domains such as construction contract interpretation remains insufficiently understood. This study presents a controlled, human-in-the-loop evaluation of how prompt-engineering strategies inf...

Saad Rasool, Yu-Ting Chen, Chika Udeaja et al. · 0 citations
#artificial intelligence Preprint Oct 2026

POLAR: Ontology-Guided Risk Prevention for Tool-Calling LLM Agents

LLM tool-use agents operate in dynamic environments where many actions carry operational risk. However, most safety mechanisms react only after errors manifest. Existing pre-emptive approaches either fine-tune the agent on chain-of-thought deliberation or compile natural-language guardrails into runtime checks, but the...

Yun-Ju Kang, Seonghyeon Cho, Irene Li et al. · 0 citations

Related blog posts

Microsoft Research Blog Oct 22, 2026

Flint-interactive: A language for creating interactive data visualizations

Flint-interactive gives AI agents a language for creating interactive visualizations. Click a chart, filter data, highlight related content, and explore beyond the view the author originally chose. The post Flint-interactive: A language for creating interactive data visualizations appeared first on Microsoft Research.

MIT News · Artificial Intelligence Oct 15, 2026

AI model decodes the language cells use to communicate

A new computational approach reveals how cells communicate to assemble into tissues. This could accelerate stem cell engineering, improve disease models, and inform therapies.

Microsoft Research Blog Oct 15, 2026

Proof-based general-purpose computing with Magnetar

Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream with support for standard programming languages, major speed gains, and quantum-resistant security. The post Proof-based general-purpose computing with Magnetar appeared first on Microsoft Research.

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.