English
Related papers

Related papers: The Open Autonomy Safety Case Framework

200 papers

Connected and autonomous vehicles, also known as CAVs, are a general trend in the evolution of the automotive industry that can be utilized to make transportation safer, improve the number of mobility options available, user costs will go…

Cryptography and Security · Computer Science 2023-10-17 S M Mostaq Hossain , Shampa Banik , Trapa Banik , Ashfak Md Shibli

This paper proposes an extensive overview of safety applications and approaches as it relates to automated driving from the prospectives of sensor configurations, vehicle dynamics modelling, tyre modeling, and estimation approaches. First,…

Systems and Control · Electrical Eng. & Systems 2022-11-21 Hazem Fahmy , Sabita Mahrajan

Recently, autonomous driving development ignited competition among car makers and technical corporations. Low-level automation cars are already commercially available. But high automated vehicles where the vehicle drives by itself without…

Robotics · Computer Science 2019-05-24 Hengyu Zhao , Yubo Zhang , Pingfan Meng , Hui Shi , Li Erran Li , Tiancheng Lou , Jishen Zhao

Recent advances in machine learning technologies and sensing have paved the way for the belief that safe, accessible, and convenient autonomous vehicles may be realized in the near future. Despite tremendous advances within this context,…

Autonomous driving has made significant progress in both academia and industry, including performance improvements in perception task and the development of end-to-end autonomous driving systems. However, the safety and robustness…

Robotics · Computer Science 2025-04-08 Jingzheng Li , Xianglong Liu , Shikui Wei , Zhijun Chen , Bing Li , Qing Guo , Xianqi Yang , Yanjun Pu , Jiakai Wang

One of the major impediments in deployment of Autonomous Driving Systems (ADS) is their safety and reliability. The primary reason for the complexity of testing ADS is that it operates in an open world characterized by its…

Safety Case has become an integral component for safety-certification in various Cyber Physical System domains including automotive, aviation, medical devices, and military. The certification processes for these systems are stringent and…

Robotics · Computer Science 2020-03-12 Shreyas Ramakrishna , Charles Hartsell , Abhishek Dubey , Partha Pal , Gabor Karsai

Safety and mission performance validation of autonomous vehicles (AVs) is a major challenge. In this paper we describe a methodology for constructing and applying assertion checks to validate the behaviour of an AV operating either in…

Databases · Computer Science 2022-05-16 Christopher Harper , Greg Chance , Abanoub Ghobrial , Saquib Alam , Tony Pipe , Kerstin Eder

Autonomous vehicles (AV) look set to become common on our roads within the next few years. However, to achieve the final breakthrough, not only functional progress is required, but also satisfactory safety assurance must be provided. Among…

Robotics · Computer Science 2025-06-04 Peter Popov , Lorenzo Strigini , Cornelius Buerkle , Fabian Oboril , Michael Paulitsch

Vehicular Communication (VC) systems are on the verge of practical deployment. Nonetheless, their security and privacy protection is one of the problems that have been addressed only recently. In order to show the feasibility of secure VC,…

Cryptography and Security · Computer Science 2016-11-18 F. Kargl , P. Papadimitratos , L. Buttyan , M. Muter , B. Wiedersheim , E. Schoch , T. -V. Thong , G. Calandriello , A. Held , A. Kung , J. -P. Hubaux

Rules or specifications for autonomous vehicles are currently formulated on a case-by-case basis, and put together in a rather ad-hoc fashion. As a step towards eliminating this practice, we propose a systematic procedure for generating a…

Systems and Control · Electrical Eng. & Systems 2019-09-13 Tung Phan-Minh , Karena X. Cai , Richard M. Murray

The automotive industry has witnessed an increasing level of development in the past decades; from manufacturing manually operated vehicles to manufacturing vehicles with a high level of automation. With the recent developments in…

Human-Computer Interaction · Computer Science 2021-11-11 Daniel Omeiza , Helena Webb , Marina Jirotka , Lars Kunze

Assuring safety for ``AI-based'' systems is one of the current challenges in safety engineering. For automated driving systems, in particular, further assurance challenges result from the open context that the systems need to operate in…

Systems and Control · Electrical Eng. & Systems 2025-07-29 Marcus Nolte , Nayel Fabian Salem , Olaf Franke , Jan Heckmann , Christoph Höhmann , Georg Stettinger , Markus Maurer

As Autonomous Systems (AS) become more ubiquitous in society, more responsible for our safety and our interaction with them more frequent, it is essential that they are trustworthy. Assessing the trustworthiness of AS is a mandatory…

Artificial Intelligence · Computer Science 2023-05-12 Gregory Chance , Dhaminda B. Abeywickrama , Beckett LeClair , Owen Kerr , Kerstin Eder

Safety-critical software systems are those whose failure or malfunction could result in casualty and/or serious financial loss. In such systems, safety assurance cases (SACs) are an emerging approach that adopts a proactive strategy to…

Software Engineering · Computer Science 2018-03-23 Jinghui Cheng , Micayla Goodrum , Ronald Metoyer , Jane Cleland-Huang

A computational system is called autonomous if it is able to make its own decisions, or take its own actions, without human supervision or control. The capability and spread of such systems have reached the point where they are beginning to…

An overview of the process to develop a safety case for an autonomous robot deployment on a nuclear site in the UK is described and a safety case for a hypothetical robot incorporating AI is presented. This forms a first step towards a…

Robotics · Computer Science 2023-10-05 Christopher R. Anderson , Louise A. Dennis

Vision-Language-Action (VLA)-based driving systems represent a significant paradigm shift in autonomous driving since, by combining traffic scene understanding, linguistic interpretation, and action generation, these systems enable more…

Robotics · Computer Science 2026-03-19 Gerhard Yu , Fuyuki Ishikawa , Oluwafemi Odu , Alvine Boaye Belle

Autonomous systems are often deployed in complex sociotechnical environments, such as public roads, where they must behave safely and securely. Unlike many traditionally engineered systems, autonomous systems are expected to behave…

Robotics · Computer Science 2023-04-27 Georgios Bakirtzis , Steven Carr , David Danks , Ufuk Topcu

Fatal accidents are a major issue hindering the wide acceptance of safety-critical systems using machine-learning and deep-learning models, such as automated-driving vehicles. Quality assurance frameworks are required for such machine…

Computers and Society · Computer Science 2018-12-10 Hiroshi Kuwajima , Hirotoshi Yasuoka , Toshihiro Nakae