中文
相关论文

相关论文: The Open Autonomy Safety Case Framework

200 篇论文

Increasing communication and self-driving capabilities for road vehicles lead to threats imposed by attackers. Especially attacks leading to safety violations have to be identified to address them by appropriate measures. The impact of an…

密码学与安全 · 计算机科学 2021-08-11 Christian Wolschke , Behrooz Sangchoolie , Jacob Simon , Stefan Marksteiner , Tobias Braun , Hayk Hamazaryan

The specification, design, and assurance of safety encompasses various concepts and best practices, subject of reuse in form of patterns. This work summarizes applied research on such concepts and practices with a focus on the last two…

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

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

The increasing pressure within VUCA (volatility, uncertainty, complexity and ambiguity) driven environments causes traditional, plan-driven Systems Engineering approaches to no longer suffice. Agility is then changing from a "nice-to-have"…

软件工程 · 计算机科学 2023-11-22 Jan Heine , Herbert Palm

Various automobile and mobility companies, for instance Ford, Uber and Waymo, are currently testing their pre-produced autonomous vehicle (AV) fleets on the public roads. However, due to rareness of the safety-critical cases and,…

机器人学 · 计算机科学 2018-09-11 Mansur Arief , Peter Glynn , Ding Zhao

Each new concept of operation and equipment generation in aviation becomes more automated, integrated and interconnected. In the case of Unmanned Aircraft Systems (UAS), this evolution allows drastically decreasing aircraft weight and…

As safety-critical autonomous vehicles (AVs) will soon become pervasive in our society, a number of safety concepts for trusted AV deployment have recently been proposed throughout industry and academia. Yet, achieving consensus on an…

机器人学 · 计算机科学 2022-06-22 Karen Leung , Andrea Bajcsy , Edward Schmerling , Marco Pavone

Regulatory approval and safety guarantees for autonomous vehicles facing frequent functional updates and complex software stacks, including artificial intelligence, are a challenging topic. This paper proposes a concept and guideline for…

系统与控制 · 电气工程与系统科学 2020-05-19 Tim Stahl , Matthis Eicher , Johannes Betz , Frank Diermeyer

The rapid advancement of open-source foundation models has brought transparency and accessibility to this groundbreaking technology. However, this openness has also enabled the development of highly-capable, unsafe models, as exemplified by…

计算机与社会 · 计算机科学 2024-06-18 Terrence Neumann , Bryan Jones

As AI models scale to billions of parameters and operate with increasing autonomy, ensuring their safe, reliable operation demands engineering-grade security and assurance frameworks. This paper presents an enterprise-level, risk-aware,…

密码学与安全 · 计算机科学 2025-05-13 Krti Tallam

The autonomous vehicle (AV) is a safety-critical system relying on complex sensors and algorithms. The AV may confront risk conditions if these sensors and algorithms misunderstand the environment and situation, even though all components…

图像与视频处理 · 电气工程与系统科学 2022-10-18 Xingyu Xing , Tong Jia , Junyi Chen , Lu Xiong , Zhuoping Yu

Autonomous Vehicles (AV)'s wide-scale deployment appears imminent despite many safety challenges yet to be resolved. The modern autonomous vehicles will undoubtedly include machine learning and probabilistic techniques that add significant…

机器人学 · 计算机科学 2022-03-16 Dhanoop Karunakaran , Julie Stephany Berrio , Stewart Worrall , Eduardo Nebot

With increasing complexity of Automated Driving Systems (ADS), ensuring their safety and reliability has become a critical challenge. The Verification and Validation (V&V) of these systems are particularly demanding when AI components are…

计算机科学中的逻辑 · 计算机科学 2023-11-17 Srajan Goyal , Alberto Griggio , Jacob Kimblad , Stefano Tonetta

Assurance cases are used to demonstrate confidence in system properties of interest (e.g. safety and/or security). A number of system assurance approaches are adopted by industries in the safety-critical domain. However, the task of…

软件工程 · 计算机科学 2024-06-11 Ran Wei , Tim P. Kelly , Xiaotian Dai , Shuai Zhao , Richard Hawkins

When autonomous vehicles encounter untrained scenarios, ensuring safety hinges on effective safety verification to prevent accidents stemming from unexpected model decisions. Reachability analysis, a method of safety verification, offers…

系统与控制 · 电气工程与系统科学 2025-12-05 Lingxiang Fan , Linxuan He , Haoyuan Ji , Shuo Feng

Autonomous electric vehicles (AEVs) hold great promise for the future of automotive engineering, but safety remains a significant challenge in their development and commercialization. Therefore, conducting a comprehensive analysis of AEV…

系统与控制 · 电气工程与系统科学 2023-06-21 Qasim Ajao , Olukotun Oludamilare

With the increasing presence of autonomous SAE level 3 and level 4, which incorporate artificial intelligence software, along with the complex technical challenges they present, it is essential to maintain a high level of functional safety…

软件工程 · 计算机科学 2024-12-13 Vikas Vyas , Zheyuan Xu

AI advancements have been significantly driven by a combination of foundation models and curiosity-driven learning aimed at increasing capability and adaptability. Within this landscape, open-endedness, where AI agents autonomously and…

人工智能 · 计算机科学 2026-05-06 Ivaxi Sheth , Jan Wehner , Sahar Abdelnabi , Ruta Binkyte , Mario Fritz

Automotive companies increasingly adopt scaled agile methods to allow them to deal with their organisational and product complexity. Suitable methods are needed to ensure safety when developing automotive systems. On a small scale, R-Scrum…

软件工程 · 计算机科学 2019-12-02 Jan-Philipp Steghöfer , Eric Knauss , Jennifer Horkoff , Rebekka Wohlrab

Learning enabled autonomous systems provide increased capabilities compared to traditional systems. However, the complexity of and probabilistic nature in the underlying methods enabling such capabilities present challenges for current…

软件工程 · 计算机科学 2023-01-03 Christian Ellis , Maggie Wigness , Lance Fiondella
‹ 上一页 1 8 9 10 下一页 ›