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 …

Validating the safety of Highly Automated Vehicles (HAVs) is a significant autonomy
challenge. HAV safety validation strategies based solely on brute force on-road testing …

Increasingly sophisticated mathematical modelling processes from Machine Learning are
being used to analyse complex data. However, the performance and explainability of these …

This paper details the results of a survey on safety and reliability of commercial Unmanned
Aerial Systems (UAS), issued to 1500 companies in the UK, with a 10% response rate. The …

A significant challenge to deploying mission-and safety-critical autonomous systems is the
difficulty of creating a credible assurance argument. This paper collects lessons learned …

Autonomous Vehicles (AVs), also known as self-driving cars, are a potentially transformative
technology, but developing and demonstrating AV safety remains an open question. AVs …

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 …

Railway standard EN50129 clarifies the safety acceptance conditions of safety-related
electronic systems for signalling. It requires using a structured argumentation, named Safety …

Assurance cases are collections of standard-mandated documents that entail the
specification of system's objectives and a collection of processes, development or …