中文
相关论文

相关论文: Security Assurance Cases for Road Vehicles: an Ind…

200 篇论文

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…

机器人学 · 计算机科学 2025-04-08 Jingzheng Li , Xianglong Liu , Shikui Wei , Zhijun Chen , Bing Li , Qing Guo , Xianqi Yang , Yanjun Pu , Jiakai Wang

The safety of automated driving systems must be justified by convincing arguments and supported by compelling evidence to persuade certification agencies, regulatory entities, and the general public to allow the systems on public roads.…

软件工程 · 计算机科学 2024-10-28 Jonas Krook , Yuvaraj Selvaraj , Wolfgang Ahrendt , Martin Fabian

In the future, AI will increasingly find its way into systems that can potentially cause physical harm to humans. For such safety-critical systems, it must be demonstrated that their residual risk does not exceed what is acceptable. This…

人工智能 · 计算机科学 2022-02-14 Michael Kläs , Lisa Jöckel , Rasmus Adler , Jan Reich

Context: Continuous Software Engineering is increasingly adopted in highly regulated domains, raising the need for continuous compliance. Adherence to especially security regulations -- a major concern in highly regulated domains -- renders…

软件工程 · 计算机科学 2024-08-02 Florian Angermeir , Jannik Fischbach , Fabiola Moyón , Daniel Mendez

The openness of modern IT systems and their permanent change make it challenging to keep these systems secure. A combination of regression and security testing called security regression testing, which ensures that changes made to a system…

密码学与安全 · 计算机科学 2023-09-19 Irdin Pekaric , Clemens Sauerwein , Michael Felderer

Safety architectures play a crucial role in the safety assurance of automated driving vehicles (ADVs). They can be used as safety envelopes of black-box ADV controllers, and for graceful degradation from one ODD to another. Building on our…

机器人学 · 计算机科学 2023-08-22 Clovis Eberhart , Jérémy Dubut , James Haydon , Ichiro Hasuo

Software security has been an important research topic over the years. The community has proposed processes and tools for secure software development and security analysis. However, a significant number of vulnerabilities remains in…

软件工程 · 计算机科学 2024-06-07 Steven Arzt , Linda Schreiber , Dominik Appelt

Robotics and Autonomous Systems are increasingly deployed in safety-critical domains, so that demonstrating their safety is essential. Assurance Cases (ACs) provide structured arguments supported by evidence, but generating and maintaining…

软件工程 · 计算机科学 2026-02-04 Fang Yan , Simon Foster , Ana Cavalcanti , Ibrahim Habli , James Baxter

The increasing adoption of autonomous vehicles is bringing a major shift in the automotive industry. However, as these vehicles become more connected, cybersecurity threats have emerged as a serious concern. Protecting the security and…

密码学与安全 · 计算机科学 2025-04-30 Sai varun reddy Bhemavarapu

Nowadays, systematic security risk analysis plays a vital role in the automotive domain. The demand for advanced driver assistance systems and connectivity of vehicles to the internet makes cyber-security a crucial requirement for vehicle…

密码学与安全 · 计算机科学 2023-07-06 Mohamed Abouelnaga , Christine Jakobs

Assurance cases provide an organized and explicit argument for correctness. They can dramatically improve the certification of Scientific Computing Software (SCS). Assurance cases have already been effectively used for safety cases for real…

软件工程 · 计算机科学 2020-01-01 Spencer Smith , Mojdeh Sayari Nejad , Alan Wassyng

"This article describes software engineering techniques to be used in order to ensure the necessary quality of intelligent and therefore massive software-based systems in vehicles. Quality assurance for intelligent software is achieved…

软件工程 · 计算机科学 2014-10-16 Bernhard Rumpe , Christian Berger , Holger Krahn

Scenario-based testing has become a promising approach to overcome the complexity of real-world traffic for safety assurance of automated vehicles. Within scenario-based testing, a system under test is confronted with a set of predefined…

软件工程 · 计算机科学 2024-04-03 Christoph Glasmacher , Hendrik Weber , Lutz Eckstein

System assurance is confronted by significant challenges. Some of these are new, for example, autonomous systems with major functions driven by machine learning and AI, and ultra-rapid system development, while others are the familiar,…

软件工程 · 计算机科学 2021-01-15 Robin Bloomfield , John Rushby

Allowing swift release cycles, Continuous Delivery has become popular in application software development and is starting to be applied in safety-critical domains such as the automotive industry. These domains require thorough analysis…

软件工程 · 计算机科学 2017-11-15 Sebastian Vöst , Stefan Wagner

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…

密码学与安全 · 计算机科学 2023-10-17 S M Mostaq Hossain , Shampa Banik , Trapa Banik , Ashfak Md Shibli

Through international regulations (most prominently the latest UNECE regulation) and standards, the already widely perceived higher need for cybersecurity in automotive systems has been recognized and will mandate higher efforts for…

密码学与安全 · 计算机科学 2021-09-07 Stefan Marksteiner , Peter Priller

Automated Driving Systems (ADS) hold great potential to increase safety, mobility, and equity. However, without public acceptance, none of these promises can be fulfilled. To engender public trust, many entities in the ADS community…

计算机与社会 · 计算机科学 2023-07-03 Scott Schnelle , Francesca M. Favaro

This paper discusses ongoing work in demonstrating research in mobile autonomy in challenging driving scenarios. In our approach, we address fundamental technical issues to overcome critical barriers to assurance and regulation for…

计算机与社会 · 计算机科学 2020-05-06 Matthew Gadd , Daniele De Martini , Letizia Marchegiani , Paul Newman , Lars Kunze

As autonomous systems (AS) increasingly become part of our daily lives, ensuring their trustworthiness is crucial. In order to demonstrate the trustworthiness of an AS, we first need to specify what is required for an AS to be considered…