中文
相关论文

相关论文: Open Problems in Engineering and Quality Assurance…

200 篇论文

The dependency on the correct functioning of embedded systems is rapidly growing, mainly due to their wide range of applications, such as micro-grids, automotive device control, health care, surveillance, mobile devices, and consumer…

计算机科学中的逻辑 · 计算机科学 2017-03-01 Lucas Cordeiro

End-to-end learning has emerged as a major paradigm for developing autonomous systems. Unfortunately, with its performance and convenience comes an even greater challenge of safety assurance. A key factor of this challenge is the absence of…

机器学习 · 计算机科学 2024-06-21 Zhenjiang Mao , Carson Sobolewski , Ivan Ruchkin

Machine learning has become prevalent across a wide variety of applications. Unfortunately, machine learning has also shown to be susceptible to deception, leading to errors, and even fatal failures. This circumstance calls into question…

软件工程 · 计算机科学 2022-05-03 Dusica Marijan , Arnaud Gotlieb

In this discussion paper, we survey recent research surrounding robustness of machine learning models. As learning algorithms become increasingly more popular in data-driven control systems, their robustness to data uncertainty must be…

机器学习 · 计算机科学 2022-09-28 Brendon G. Anderson , Tanmay Gautam , Somayeh Sojoudi

As deep learning continues to dominate all state-of-the-art computer vision tasks, it is increasingly becoming an essential building block for robotic perception. This raises important questions concerning the safety and reliability of…

机器人学 · 计算机科学 2021-07-13 Quazi Marufur Rahman , Peter Corke , Feras Dayoub

Security of (semi)-autonomous vehicles is a growing concern, first, due to the increased exposure of the functionality to the potential attackers; second, due to the reliance of car functionalities on diverse (semi)-autonomous systems;…

密码学与安全 · 计算机科学 2018-10-02 Anupam Chattopadhyay , Kwok-Yan Lam

Systems engineering approaches use high-level models to capture the architecture and behavior of the system. However, when safety engineers conduct safety and reliability analysis, they have to create formal models, such as fault-trees,…

软件工程 · 计算机科学 2020-04-29 Simon József Nagy , Bence Graics , Kristóf Marussy , András Vörös

Autonomous driving vehicles provide a vast potential for realizing use cases in the on-road and off-road domains. Consequently, remarkable solutions exist to autonomous systems' environmental perception and control. Nevertheless, proof of…

机器人学 · 计算机科学 2024-03-29 Patrick Wolf

As AI technologies increase in capability and ubiquity, AI accidents are becoming more common. Based on normal accident theory, high reliability theory, and open systems theory, we create a framework for understanding the risks associated…

计算机与社会 · 计算机科学 2024-03-13 Heather M. Williams , Roman V. Yampolskiy

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

Embedding artificial intelligence into systems introduces significant challenges to modern engineering practices. Hazard analysis tools and processes have not yet been adequately adapted to the new paradigm. This paper describes initial…

软件工程 · 计算机科学 2022-03-30 Nikolas Martelaro , Carol J. Smith , Tamara Zilovic

Closure problems are omnipresent when simulating multiscale systems, where some quantities and processes cannot be fully prescribed despite their effects on the simulation's accuracy. Recently, scientific machine learning approaches have…

数值分析 · 数学 2024-09-13 Benjamin Sanderse , Panos Stinis , Romit Maulik , Shady E. Ahmed

Context: Across different domains, Artificial Neural Networks (ANNs) are used more and more in safety-critical applications in which erroneous outputs of such ANN can have catastrophic consequences. However, the development of such neural…

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 an envisaged future of transportation, self-driving cars are being discussed from various perspectives, including social, economical, engineering, computer science, design, and ethics. On the one hand, self-driving cars present new…

计算机与社会 · 计算机科学 2018-02-13 Tobias Holstein , Gordana Dodig-Crnkovic , Patrizio Pelliccione

Autonomous Systems (AS) are increasingly proposed, or used, in Safety Critical (SC) applications. Many such systems make use of sophisticated sensor suites and processing to provide scene understanding which informs the AS' decision-making.…

系统与控制 · 电气工程与系统科学 2022-08-19 John Molloy , John McDermid

Large language models (LLMs) have achieved remarkable success across natural language processing tasks, yet their widespread deployment raises pressing concerns around privacy, copyright, security, and bias. Machine unlearning has emerged…

计算与语言 · 计算机科学 2026-01-21 Tyler Lizzo , Larry Heck

The rapid development of Machine Learning (ML) has demonstrated superior performance in many areas, such as computer vision, video and speech recognition. It has now been increasingly leveraged in software systems to automate the core…

密码学与安全 · 计算机科学 2023-12-19 Huaming Chen , M. Ali Babar

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

Although machine learning is widely used in practice, little is known about practitioners' understanding of potential security challenges. In this work, we close this substantial gap and contribute a qualitative study focusing on…

密码学与安全 · 计算机科学 2022-06-30 Lukas Bieringer , Kathrin Grosse , Michael Backes , Battista Biggio , Katharina Krombholz