中文
相关论文

相关论文: Security Risk Analysis Methodologies for Automotiv…

200 篇论文

A key goal of the System-Theoretic Process Analysis (STPA) hazard analysis technique is the identification of loss scenarios - causal factors that could potentially lead to an accident. We propose an approach that aims to assist engineers…

计算机科学中的逻辑 · 计算机科学 2023-06-08 Craig Innes , Andrew Ireland , Yuhui Lin , Subramanian Ramamoorthy

Assuring safety of artificial intelligence (AI) applied to safety-critical systems is of paramount importance. Especially since research in the field of automated driving shows that AI is able to outperform classical approaches, to handle…

计算机与社会 · 计算机科学 2025-04-28 Lars Ullrich , Michael Buchholz , Klaus Dietmayer , Knut Graichen

As autonomous driving technology continues to advance, end-to-end models have attracted considerable attention owing to their superior generalisation capability. Nevertheless, such learning-based systems entail numerous safety risks…

机器人学 · 计算机科学 2025-05-22 Hongrui Kou , Zhouhang Lyu , Ziyu Wang , Cheng Wang , Yuxin Zhang

We propose a holistic methodology for designing automotivesystems that consider security a central concern at every design stage.During the concept design, we model the system architecture and definethe security attributes of its…

The growing advancements in Autonomous Vehicles (AVs) have emphasized the critical need to prioritize the absolute safety of AV maneuvers, especially in dynamic and unpredictable environments or situations. This objective becomes even more…

机器人学 · 计算机科学 2023-05-30 Dimia Iberraken , Lounis Adouane

Collective remote attestation (CRA) is a security service that aims to efficiently identify compromised (often low-powered) devices in a (heterogeneous) network. The last few years have seen an extensive growth in CRA protocol proposals,…

密码学与安全 · 计算机科学 2024-07-15 Sharar Ahmadi , Jay Le-Papin , Liqun Chen , Brijesh Dongol , Sasa Radomirovic , Helen Treharne

Ensuring the safety of autonomous vehicles (AVs) is of utmost importance and testing them in simulated environments is a safer option than conducting in-field operational tests. However, generating an exhaustive test suite to identify…

软件工程 · 计算机科学 2023-11-30 Neelofar , Aldeida Aleti

Despite the increasing testing operations of automated vehicles on public roads, media reports on incidents show that safety issues caused by automated driving systems persist to this day. Manufacturers face high development uncertainty…

系统与控制 · 电气工程与系统科学 2025-07-08 Marvin Loba , Nayel Fabian Salem , Marcus Nolte , Andreas Dotzler , Dieter Ludwig , Markus Maurer

Access to resources by users may need to be granted only upon certain conditions and contexts, perhaps particularly in cyber-physical settings. Unfortunately, creating and modifying context-sensitive access control solutions in dynamic…

密码学与安全 · 计算机科学 2021-08-31 Jinxin Liu , Murat Simsek , Burak Kantarci , Melike Erol-Kantarci , Andrew Malton , Andrew Walenstein

Probabilistic security assessment and real-time dynamic security assessments (DSA) are promising to better handle the risks of system operations. The current methodologies of security assessments may require many time-domain simulations for…

系统与控制 · 电气工程与系统科学 2023-01-06 Jochen L. Cremer , Goran Strbac

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

We present a practical verification method for safety analysis of the autonomous driving system (ADS). The main idea is to build a surrogate model that quantitatively depicts the behaviour of an ADS in the specified traffic scenario. The…

人工智能 · 计算机科学 2022-11-24 Renjue Li , Tianhang Qin , Pengfei Yang , Cheng-Chao Huang , Youcheng Sun , Lijun Zhang

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…

软件工程 · 计算机科学 2021-03-25 Anh Nguyen-Duc , Manh Viet Do , Quan Luong Hong , Kiem Nguyen Khac

This article provides a taxonomy for risk-based testing that serves as a tool to define, tailor, or assess risk-based testing approaches in general and to instantiate risk-based testing approaches for the current testing standards…

软件工程 · 计算机科学 2019-05-28 Jürgen Großmann , Michael Felderer , Johannes Viehmann , Ina Schieferdecker

Runtime assurance (RTA) addresses the problem of keeping an autonomous system safe while using an untrusted (or experimental) controller. This can be done via logic that explicitly switches between the untrusted controller and a safety…

计算机科学中的逻辑 · 计算机科学 2023-06-08 Kristina Miller , Christopher K. Zeitler , William Shen , Mahesh Viswanathan , Sayan Mitra

The paper introduces an approach to telematics devices data application in automotive insurance. We conduct a comparative analysis of different types of devices that collect information on vehicle utilization and driving style of its…

应用统计 · 统计学 2019-10-07 Konstantin Korishchenko , Ivan Stankevich , Nikolay Pilnik , Daria Petrova

Automated vehicles (AVs) are expected to increase traffic safety and traffic efficiency, among others by enabling flexible mobility-on-demand systems. This is particularly important in Singapore, being one of the world's most densely…

机器人学 · 计算机科学 2021-12-20 J. Ploeg , E. de Gelder , M. Slavík , E. Querner , T. Webster , N. de Boer

Vehicle safety depends on (a) the range of identified hazards and (b) the operational situations for which mitigations of these hazards are acceptably decreasing risk. Moreover, with an increasing degree of autonomy, risk ownership is…

软件工程 · 计算机科学 2018-02-26 Mario Gleirscher , Stefan Kugele

System security assurance provides the confidence that security features, practices, procedures, and architecture of software systems mediate and enforce the security policy and are resilient against security failure and attacks. Alongside…

密码学与安全 · 计算机科学 2022-08-04 Ankur Shukla , Basel Katt , Livinus Obiora Nweke , Prosper Kandabongee Yeng , Goitom Kahsay Weldehawaryat

In order to optimize the usage of testing efforts and to assess risks of software-based systems, risk-based testing uses risk (re-)assessments to steer all phases in a test process. Several risk-based testing approaches have been proposed…

软件工程 · 计算机科学 2018-01-23 Michael Felderer , Juergen Grossmann , Ina Schieferdecker