中文
相关论文

相关论文: Foundational Analysis of Safety Engineering Requir…

200 篇论文

By exploiting the increasing surface attack of systems, cyber-attacks can cause catastrophic events, such as, remotely disable safety mechanisms. This means that in order to avoid hazards, safety and security need to be integrated,…

计算机科学中的逻辑 · 计算机科学 2019-01-03 Vivek Nigam , Alexander Pretschner , Harald Ruess

We present SENTINEL, a framework for formally evaluating the physical safety of foundation model (FM)-based embodied agents. SENTINEL is the first to provide multi-level safety evaluation across semantic interpretation, plan generation, and…

Safety assessment plays a fundamental role in developing a new drug via clinical trials for ethical considerations. Due to complexity, manual review is typically conducted on the totality of data to draw safety conclusions. There are some…

应用统计 · 统计学 2026-05-06 Tianyu Zhan , Yabing Mai , Yihua Gu , Thao Doan , Xun Chen

Generative artificial intelligence (Gen AI) systems represent a critical technology with far-reaching implications across multiple domains of society. However, their deployment entails a range of risks and challenges that require careful…

计算机与社会 · 计算机科学 2025-10-31 Jorge Machado

This paper explores the role and challenges of Artificial Intelligence (AI) algorithms, specifically AI-based software elements, in autonomous driving systems. These AI systems are fundamental in executing real-time critical functions in…

人工智能 · 计算机科学 2024-03-01 Mandar Pitale , Alireza Abbaspour , Devesh Upadhyay

The conversation around artificial intelligence (AI) often focuses on safety, transparency, accountability, alignment, and responsibility. However, AI security (i.e., the safeguarding of data, models, and pipelines from adversarial…

密码学与安全 · 计算机科学 2025-04-24 Krti Tallam

With the rapid advancement of generative AI, synthetic content across images, videos, and audio has become increasingly realistic, amplifying the risk of misinformation. Existing detection approaches predominantly focus on binary…

机器学习 · 计算机科学 2025-07-23 Xu Yang , Qi Zhang , Shuming Jiang , Yaowen Xu , Zhaofan Zou , Hao Sun , Xuelong Li

Technical standards, or simply standards, are established documented guidelines and rules that facilitate the interoperability, quality, and accuracy of systems and processes. In recent years, we have witnessed an emerging paradigm shift…

计算机与社会 · 计算机科学 2025-03-10 Joseph Marvin Imperial , Matthew D. Jones , Harish Tayyar Madabushi

Adversarial scenario generation is a cost-effective approach for safety assessment of autonomous driving systems. However, existing methods are often constrained to a single, fixed trade-off between competing objectives such as…

人工智能 · 计算机科学 2026-05-06 Tong Nie , Yuewen Mei , Yihong Tang , Junlin He , Jie Sun , Haotian Shi , Wei Ma , Jian Sun

Engineering models created in Model-Based Systems Engineering (MBSE) environments contain detailed information about system structure and behavior. However, they typically lack symbolic planning semantics such as preconditions, effects, and…

人工智能 · 计算机科学 2025-09-16 Hamied Nabizada , Lasse Beers , Alain Chahine , Felix Gehlhoff , Oliver Niggemann , Alexander Fay

The integration of foundation models (FMs) into robotics has accelerated real-world deployment, while introducing new safety challenges arising from open-ended semantic reasoning and embodied physical action. These challenges require safety…

系统与控制 · 电气工程与系统科学 2026-02-05 Joonkyung Kim , Wenxi Chen , Davood Soleymanzadeh , Yi Ding , Xiangbo Gao , Zhengzhong Tu , Ruqi Zhang , Fan Fei , Sushant Veer , Yiwei Lyu , Minghui Zheng , Yan Gu

Foundation models show great promise for generative tasks in many domains. Here we discuss the use of foundation models to generate structured documents related to critical assets. A Failure Mode and Effects Analysis (FMEA) captures the…

计算与语言 · 计算机科学 2024-11-11 Karol Lynch , Fabio Lorenzi , John Sheehan , Duygu Kabakci-Zorlu , Bradley Eck

The widespread adoption of wearable sensors has the potential to provide massive and heterogeneous time series data, driving the use of Artificial Intelligence in human sensing applications. However, data collection remains limited due to…

机器学习 · 计算机科学 2025-12-04 Flavio Di Martino , Franca Delmastro

As modern software systems expand in scale and complexity, the challenges associated with their modeling and formulation grow increasingly intricate. Traditional approaches often fall short in effectively addressing these complexities,…

软件工程 · 计算机科学 2025-05-20 Tarik Houichime , Younes El Amrani

The construction industry is a vital sector of the global economy, but it faces many productivity challenges in various processes, such as design, planning, procurement, inspection, and maintenance. Generative artificial intelligence (AI),…

Engineering managers increasingly must decide how to introduce generative artificial intelligence (AI), retrieval-augmented generation, and coding agents into high-risk operational functions without weakening accountability, privacy, cost…

密码学与安全 · 计算机科学 2026-05-12 Elyson A. De La Cruz , Rishikesh Sahay , Md Rasel Al Mamun

As AI rapidly advances, the security risks posed by AI are becoming increasingly severe, especially in critical scenarios, including those posing existential risks. If AI becomes uncontrollable, manipulated, or actively evades safety…

人工智能 · 计算机科学 2025-08-29 Donglin Wang , Weiyun Liang , Chunyuan Chen , Jing Xu , Yulong Fu

AI-native 6G networks promise to transform the telecom industry by enabling dynamic resource allocation, predictive maintenance, and ultra-reliable low-latency communications across all layers, which are essential for applications such as…

人工智能 · 计算机科学 2026-04-03 Sunder Ali Khowaja , Kapal Dev , Engin Zeydan , Madhusanka Liyanage

Providing safety guarantees for autonomous systems is difficult as these systems operate in complex environments that require the use of learning-enabled components, such as deep neural networks (DNNs) for visual perception. DNNs are hard…

人工智能 · 计算机科学 2023-05-31 Corina Pasareanu , Ravi Mangal , Divya Gopinath , Huafeng Yu

Generative models lack rigorous statistical guarantees for their outputs and are therefore unreliable in safety-critical applications. In this work, we propose Sequential Conformal Prediction for Generative Models (SCOPE-Gen), a sequential…

机器学习 · 计算机科学 2025-02-18 Klaus-Rudolf Kladny , Bernhard Schölkopf , Michael Muehlebach