English
Related papers

Related papers: On STPA for Distributed Development of Safe Autono…

200 papers

Autonomous systems are becoming increasingly prevalent in new vehicles. Due to their environmental friendliness and their remarkable capability to significantly enhance road safety, these vehicles have gained widespread recognition and…

Robotics · Computer Science 2025-07-04 Reem Alhabib , Poonam Yadav

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…

Automated Driving Systems (ADSs) have seen rapid progress in recent years. To ensure the safety and reliability of these systems, extensive testings are being conducted before their future mass deployment. Testing the system on the road is…

Software Engineering · Computer Science 2021-12-03 Ziyuan Zhong , Yun Tang , Yuan Zhou , Vania de Oliveira Neves , Yang Liu , Baishakhi Ray

Highly automated, cooperative driving vehicles will allow for a more fluid flow of traffic, resulting in more efficient, eco-friendly and safe traffic situations. The automotive industry however, is safety critical and current safety…

Systems and Control · Electrical Eng. & Systems 2019-12-05 Joakim Oscarsson , Max Stolz-Sundnes , Naveen Mohan , Viacheslav Izosimov

Generating accurate runtime safety estimates for autonomous systems is vital to ensuring their continued proliferation. However, exhaustive reasoning about future behaviors is generally too complex to do at runtime. To provide scalable and…

Logic in Computer Science · Computer Science 2023-03-30 Matthew Cleaveland , Oleg Sokolsky , Insup Lee , Ivan Ruchkin

As the era of autonomous cyber-physical systems (ACPSs), such as unmanned aerial vehicles and self-driving cars, unfolds, the demand for robust testing methodologies is key to realizing the adoption of such systems in real-world scenarios.…

Software Engineering · Computer Science 2024-05-03 Christian Birchler , Sajad Khatiri , Pooja Rani , Timo Kehrer , Sebastiano Panichella

The risen complexity of automotive systems requires new development strategies and methods to master the upcoming challenges. Traditional methods need thus to be changed by an increased level of automation, and a faster continuous…

Software Engineering · Computer Science 2024-04-04 Romina Eramo , Hamzeh Eyal Salman , Matteo Spezialetti , Darko Stern , Pierre Quinton , Antonio Cicchetti

While there was great progress regarding the technology and its implementation for vehicles equipped with automated driving systems (ADS), the problem of how to proof their safety as a necessary precondition prior to market launch remains…

Software Engineering · Computer Science 2021-09-09 Nico Weber , Christoph Thiem , Ulrich Konigorski

This research paper delves into the field of autonomous vehicle technology, examining the vulnerabilities inherent in each component of these transformative vehicles. Autonomous vehicles (AVs) are revolutionizing transportation by…

Cryptography and Security · Computer Science 2025-05-06 Ian Alexis Wong Paz , Anuvinda Balan , Sebastian Campos , Ehud Orenstain , Sudip Dhakal

Systems Theoretic Process Analysis (STPA) is a widely recommended method for analysing complex system safety. STPA can identify numerous Unsafe Control Actions (UCAs) and requirements depending on the level of granularity of the analysis…

Systems and Control · Electrical Eng. & Systems 2025-08-15 Halima El Badaoui

Advanced Driver-Assistance Systems (ADAS) is one of the primary drivers behind increasing levels of autonomy, driving comfort in this age of connected mobility. However, the performance of such systems is a function of execution rate which…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-04-14 Anirban Ghose , Srijeeta Maity , Arijit Kar , Kaustubh Maloo , Soumyajit Dey

According to the latest provisional statistics released by the UK Department for Transport, Great Britain recorded 1,633 road deaths in 2024, representing a slight increase from 2023 and raising concerns about safety progress, which…

Recent advances in the field of deep learning and impressive performance of deep neural networks (DNNs) for perception have resulted in an increased demand for their use in automated driving (AD) systems. The safety of such systems is of…

Machine Learning · Computer Science 2024-07-15 Stephanie Abrecht , Alexander Hirsch , Shervin Raafatnia , Matthias Woehrle

Autonomous driving systems (ADS) are increasingly deployed in real traffic, yet testing remains fundamentally challenging due to open environments, complex scenarios, and the lack of established processes and metrics. Despite extensive…

Software Engineering · Computer Science 2026-05-04 Qunying Song , Ali Nouri , Håkan Sivencrona , Federica Sarro

Static Application Security Testing (SAST) is a popular quality assurance technique in software engineering. However, integrating SAST tools into industry-level product development and security assessment poses various technical and…

Software Engineering · Computer Science 2021-03-25 Anh Nguyen-Duc , Manh Viet Do , Quan Luong Hong , Kiem Nguyen Khac

As our lives, our businesses, and indeed our world economy become increasingly reliant on the secure operation of many interconnected software systems, the software engineering research community is faced with unprecedented research…

Software Engineering · Computer Science 2024-09-27 Marcel Böhme , Eric Bodden , Tevfik Bultan , Cristian Cadar , Yang Liu , Giuseppe Scanniello

Validating Advanced Driver Assistance Systems (ADAS) is a strategic issue, since such systems are becoming increasingly widespread in the automotive field. ADAS bring extra comfort to drivers, and this has become a selling point. But these…

The operational capabilities and application domains of AI-enabled autonomous systems have expanded significantly in recent years due to advances in robotics and machine learning (ML). Demonstrating the safety of autonomous systems…

Artificial Intelligence · Computer Science 2025-10-27 Victoria J. Hodge , Colin Paterson , Ibrahim Habli

Advanced driver assistance systems (ADAS) are often used in the automotive industry to highlight innovative improvements in vehicle safety. However, today it is unclear whether certain automation (e.g., adaptive cruise control, lane…

Human-Computer Interaction · Computer Science 2021-09-27 Sophie Le Page , Jason Millar , Kelly Bronson , Shalaleh Rismani , AJung Moon

Drivers are becoming increasingly reliant on advanced driver assistance systems (ADAS) as autonomous driving technology becomes more popular and developed with advanced safety features to enhance road safety. However, the increasing…

Cryptography and Security · Computer Science 2025-06-23 Cheng Chen , Grant Xiao , Daehyun Lee , Lishan Yang , Evgenia Smirni , Homa Alemzadeh , Xugui Zhou