中文
相关论文

相关论文: Introducing a Novel Systems Thinking approach insp…

200 篇论文

System-Theoretic Process Analysis (STPA) is a recommended method for analysing complex systems, capable of identifying thousands of safety requirements often missed by traditional techniques such as Failure Mode and Effects Analysis (FMEA)…

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

Real-time safety metrics are important for the automated driving system (ADS) to assess the risk of driving situations and to assist the decision-making. Although a number of real-time safety metrics have been proposed in the literature,…

机器人学 · 计算机科学 2024-01-04 Xintao Yan , Shuo Feng , David J. LeBlanc , Carol Flannagan , Henry X. Liu

Trajectory prediction is one of the key components of the autonomous driving software stack. Accurate prediction for the future movement of surrounding traffic participants is an important prerequisite for ensuring the driving efficiency…

机器人学 · 计算机科学 2023-05-17 Wenbo Shao , Jun Li , Hong Wang

The capability to follow a lead-vehicle and avoid rear-end collisions is one of the most important functionalities for human drivers and various Advanced Driver Assist Systems (ADAS). Existing safety performance justification of the…

机器人学 · 计算机科学 2022-05-25 Bowen Weng , Minghao Zhu , Keith Redmill

Existing definitions and associated conceptual frameworks for computer-based system safety should be revisited in light of real-world experiences from deploying autonomous vehicles. Current terminology used by industry safety standards…

机器人学 · 计算机科学 2024-08-14 Philip Koopman , William Widen

Automated vehicles require efficient and safe planning to maneuver in uncertain environments. Largely this uncertainty is caused by other traffic participants, e.g., surrounding vehicles. Future motion of surrounding vehicles is often…

系统与控制 · 电气工程与系统科学 2022-06-09 Tim Brüdigam , Michael Olbrich , Dirk Wollherr , Marion Leibold

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…

系统与控制 · 电气工程与系统科学 2019-12-05 Joakim Oscarsson , Max Stolz-Sundnes , Naveen Mohan , Viacheslav Izosimov

Operators performing high-stakes, safety-critical tasks - such as air traffic controllers, surgeons, or mission control personnel - must maintain exceptional cognitive performance under variable and often stressful conditions. This paper…

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…

机器人学 · 计算机科学 2025-06-04 Peter Popov , Lorenzo Strigini , Cornelius Buerkle , Fabian Oboril , Michael Paulitsch

Over the last years, we have seen several security incidents that compromised system safety, of which some caused physical harm to people. Meanwhile, various risk assessment methods have been developed that integrate safety and security,…

密码学与安全 · 计算机科学 2017-07-10 Sabarathinam Chockalingam , Dina Hadziosmanovic , Wolter Pieters , Andre Teixeira , Pieter van Gelder

Robotic telesurgical systems are one of the most complex medical cyber-physical systems on the market, and have been used in over 1.75 million procedures during the last decade. Despite significant improvements in design of robotic surgical…

Due to road traffic accidents, 6941 Filipinos died in 2010, and thousands more were wounded or disabled. Head and neck injuries are the main cause of death, severe injury, and motorcycle users disabilities. Motorcycle users make up a large…

计算机与社会 · 计算机科学 2021-01-18 Carlo H Godoy

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,…

系统与控制 · 电气工程与系统科学 2022-11-21 Hazem Fahmy , Sabita Mahrajan

Sustainability aspects of transportation infrastructure systems primarily focus on system performance based on environmental, social, and economic impacts. In contrast, resilience aspects demonstrate the ability to withstand external shocks…

系统与控制 · 电气工程与系统科学 2022-08-23 H M Imran Kays , Arif Mohaimin Sadri

A collision hazard measure that has the essential characteristics to provide a measurement of safety that will be useful to AV developers, traffic infrastructure developers and managers, regulators and the public is introduced here. The…

机器人学 · 计算机科学 2022-05-19 Erik K. Antonsson , Ph. D. , P. E. , N. A. E

Traditional manual driving and single-vehicle-based intelligent driving have limitations in real-time and accurate acquisition of the current driving status and intentions of surrounding vehicles, leading to vehicles typically maintaining…

计算机与社会 · 计算机科学 2025-03-18 Tao Li , Xiang Dong , Junfeng Hao , Ping Yin , Xiaoxue Xu , Maokai Lai , Yuan Li , Ting Peng

This paper considers the design-phase safety analysis of vehicle guidance systems. The proposed approach constructs dynamic fault trees (DFTs) to model a variety of safety concepts and E/E architectures for drive automation. The fault trees…

软件工程 · 计算机科学 2019-03-14 Majdi Ghadhab , Sebastian Junges , Joost-Pieter Katoen , Matthias Kuntz , Matthias Volk

This work in progress considers reachability-based safety analysis in the domain of autonomous driving in multi-agent systems. We formulate the safety problem for a car following scenario as a differential game and study how different…

系统与控制 · 电气工程与系统科学 2021-12-30 Gilbert Bahati , Marsalis Gibson , Alexandre Bayen

The complexity of the operating environment and required technologies for highly automated driving is unprecedented. A different type of threat to safe operation besides the fault-error-failure model by Laprie et al. arises in the form of…

人工智能 · 计算机科学 2023-03-08 Roman Gansch , Ahmad Adee