中文
相关论文

相关论文: Safety of the Intended Functionality Concept Integ…

200 篇论文

Perception algorithms in autonomous driving systems confront great challenges in long-tail traffic scenarios, where the problems of Safety of the Intended Functionality (SOTIF) could be triggered by the algorithm performance insufficiencies…

计算机视觉与模式识别 · 计算机科学 2022-11-08 Liang Peng , Jun Li , Wenbo Shao , Hong Wang

Automated Driving Systems (ADSs) are being manufactured at an accelerated rate, leading to improvements in traffic safety, reduced energy consumption, pollution, and congestion. ADS relies on various data streams from onboard sensors,…

网络与互联网体系结构 · 计算机科学 2023-11-27 André Budel , Reem Alhabib , Mark Nicholson , Poonam Yadav

As the landscape of devices that interact with the electrical grid expands, also the complexity of the scenarios that arise from these interactions increases. Validation methods and tools are typically domain specific and are designed to…

软件工程 · 计算机科学 2023-09-15 Catalin Gavriluta , Georg Lauss , Thomas I. Strasser , Juan Montoya , Ron Brandl , Panos Kotsampopoulos

Formal verification and testing are complementary approaches which are used in the development process to verify the functional correctness of software. However, the correctness of software cannot ensure the safe operation of…

软件工程 · 计算机科学 2016-12-12 Asim Abdulkhaleq , Stefan Wagner , Nancy Leveson

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…

密码学与安全 · 计算机科学 2025-06-23 Cheng Chen , Grant Xiao , Daehyun Lee , Lishan Yang , Evgenia Smirni , Homa Alemzadeh , Xugui Zhou

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…

机器人学 · 计算机科学 2025-07-04 Reem Alhabib , Poonam Yadav

With the increasing complexity of software permeating critical domains such as autonomous driving, new challenges are emerging in the ways the engineering of these systems needs to be rethought. Autonomous driving is expected to continue…

软件工程 · 计算机科学 2023-03-17 Dasa Kusnirakova , Barbora Buhnova

Highly automated driving (HAD) vehicles are complex systems operating in an open context. Complexity of these systems as well as limitations and insufficiencies in sensing and understanding the open context may result in unsafe and…

系统与控制 · 电气工程与系统科学 2023-03-08 Ahmad Adee , Roman Gansch , Peter Liggesmeyer

Autonomous Driving Systems (ADS) use complex decision-making (DM) models with multimodal sensory inputs, making rigorous validation and verification (V&V) essential for safety and reliability. These models pose challenges in diagnosing…

软件工程 · 计算机科学 2025-10-07 Halit Eris , Stefan Wagner

Simulation-based testing has become a standard approach to validating autonomous driving agents prior to real-world deployment. A high-quality validation campaign will exercise an agent in diverse contexts comprised of varying static…

软件工程 · 计算机科学 2026-03-12 Joy Saha , Trey Woodlief , Sebastian Elbaum , Matthew B. Dwyer

The mass production of complex software has made it impossible to manually test it for security vulnerabilities. Automated security testing tools come in a variety of flavors, function at various stages of software development, and target…

软件工程 · 计算机科学 2023-01-18 Yan Wu , Jingyi Su , David D. Moran , Chris D. Near

To enable highly automated vehicles where the driver is no longer a safety backup, the vehicle must deal with various Functional Insufficiencies (FIs). Thus-far, there is no widely accepted functional architecture that maximizes the…

机器人学 · 计算机科学 2024-01-17 C. A. J. Hanselaar , E. Silvas , A. Terechko , W. P. M. H. Heemels

Ensuring the safety and reliability of Automated Driving Systems (ADS) remains a critical challenge, as traditional verification methods such as large-scale on-road testing are prohibitively costly and time-consuming.To address…

软件工程 · 计算机科学 2025-12-18 Ji Zhou , Yongqi Zhao , Yixian Hu , Hexuan Li , Zhengguo Gu , Nan Xu , Arno Eichberger

Despite the rapid improvement of autonomous driving technology in recent years, automotive manufacturers must resolve liability issues to commercialize autonomous passenger car of SAE J3016 Level 3 or higher. To cope with the product…

机器人学 · 计算机科学 2022-11-21 Ho Suk , Taewoo Kim , Hyungbin Park , Pamul Yadav , Junyong Lee , Shiho Kim

Ensuring the functional safety of motion planning modules in autonomous vehicles remains a critical challenge, especially when dealing with complex or learning-based software. Online verification has emerged as a promising approach to…

机器人学 · 计算机科学 2025-07-11 Korbinian Moller , Rafael Neher , Marvin Seegert , Johannes Betz

The kind of closed-loop verification likely to be required for autonomous vehicle (AV) safety testing is beyond the reach of traditional test methodologies and discrete verification. Validation puts the autonomous vehicle system to the test…

机器学习 · 计算机科学 2020-05-29 Hyun Jae Cho , Madhur Behl

Scenario-based approaches for the validation of highly automated driving functions are based on the search for safety-critical characteristics of driving scenarios using software-in-the-loop simulations. This search requires information…

Before introducing an Automated Driving System (ADS) on the road at scale, the manufacturer must conduct some sort of safety assurance. To structure and harmonize the safety assurance process, the UNECE WP.29 Working Party on…

机器人学 · 计算机科学 2025-07-31 Olaf Op den Camp , Erwin de Gelder

Software-in-the-loop (SIL) simulation is a widely used method for the rapid development and testing of autonomous vehicles because of its flexibility and efficiency. This paper presents a case study on the validation of an in-house…

软件工程 · 计算机科学 2024-06-06 Zhennan Fei , Mikael Andersson , Andreas Tingberg

Registers are primary storage elements in System-on-chip~(SoC) designs and play an important role in maintaining state information and processing data in digital systems. With respect to the ISO26262 standard, these registers require high…

形式语言与自动机理论 · 计算机科学 2025-05-26 Shuhang Zhang , Bryan Olmos