The development of fully autonomous vehicles is an ambition that took seed in the
automotive industry a few years ago and is now growing in the railways considering their …

As frontier artificial intelligence (AI) systems become more capable, it becomes more
important that developers can explain why their systems are sufficiently safe. One way to do …

Frontier artificial intelligence (AI) systems pose increasing risks to society, making it
essential for developers to provide assurances about their safety. One approach to offering …

A safety case is a hierarchical argument supported by evidence, whose scope is defined by
contextual information. The goal is to show that the conclusion of such argument, typically …

Safety arguments, also called safety cases, are commonly used to demonstrate that
adequate efforts have been made to achieve safety goals. Assessing the confidence of such …

The International Workshop for Autonomous System Safety (IWASS) is a joint effort by the B.
John Garrick Institute for the Risk Sciences at the University of California Los Angeles …

Some safety standards (eg, ISO 26262 in automotive industry) propose the use of argument
structures to justify that the high-level safety properties of a system have been ensured. The …

Trust and trustworthiness have been popular words in computing and communications for
many years. Yet few studies investigate in-depth their definitions and how to engineer …

为解决现有民机机载系统安全性评估中逻辑推理不明确, 可读性不强等问题,
首先基于安全论证法和目标结构化标记(GSN) 语言, 通过分析系统安全性要求的符合性验证思路 …

This paper realizes the evaluation and optimal decision of the spoofing effect on the global
navigation satellite system (GNSS) under navigation countermeasures based on the game …