English
Related papers

Related papers: Foundational Analysis of Safety Engineering Requir…

200 papers

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

Logic in Computer Science · Computer Science 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…

Applications · Statistics 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…

Computers and Society · Computer Science 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…

Artificial Intelligence · Computer Science 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…

Cryptography and Security · Computer Science 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…

Machine Learning · Computer Science 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…

Computers and Society · Computer Science 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…

Artificial Intelligence · Computer Science 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…

Artificial Intelligence · Computer Science 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…

Systems and Control · Electrical Eng. & Systems 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…

Computation and Language · Computer Science 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…

Machine Learning · Computer Science 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,…

Software Engineering · Computer Science 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…

Cryptography and Security · Computer Science 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…

Artificial Intelligence · Computer Science 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…

Artificial Intelligence · Computer Science 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…

Artificial Intelligence · Computer Science 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…

Machine Learning · Computer Science 2025-02-18 Klaus-Rudolf Kladny , Bernhard Schölkopf , Michael Muehlebach
‹ Prev 1 3 4 5 6 7 10 Next ›