English
Related papers

Related papers: Foundational Analysis of Safety Engineering Requir…

200 papers

While the efficacy of deep learning models heavily relies on data, gathering and annotating data for specific tasks, particularly when addressing novel or sensitive subjects lacking relevant datasets, poses significant time and resource…

Computer Vision and Pattern Recognition · Computer Science 2025-06-25 Quang-Binh Nguyen , Trong-Vu Hoang , Ngoc-Do Tran , Tam V. Nguyen , Minh-Triet Tran , Trung-Nghia Le

Continual learning aims to incrementally acquire new concepts in data streams while resisting forgetting previous knowledge. With the rise of powerful pre-trained models (PTMs), there is a growing interest in training incremental learning…

Machine Learning · Computer Science 2024-11-05 Linglan Zhao , Xuerui Zhang , Ke Yan , Shouhong Ding , Weiran Huang

As AI assistants become integrated into safety engineering workflows for Physical AI systems, a critical question emerges: does AI assistance improve safety analysis quality, or introduce systematic blind spots that surface only through…

Artificial Intelligence · Computer Science 2026-03-30 Umair Siddique

Generative Artificial Intelligence (AI) has seen mainstream adoption lately, especially in the form of consumer-facing, open-ended, text and image generating models. However, the use of such systems raises significant ethical and safety…

Computers and Society · Computer Science 2023-08-10 Avijit Ghosh , Dhanya Lakshmi

The aim of this paper is to propose a rigorous and complete design framework for complex system based on system engineering (SE) principles. The SE standard EIA-632 is used to guide the approach. Within this framework, two aspects are…

Software Engineering · Computer Science 2012-12-19 Romaric Guillerm , Hamid Demmou , Nabil Sadou

Deepfake or synthetic images produced using deep generative models pose serious risks to online platforms. This has triggered several research efforts to accurately detect deepfake images, achieving excellent performance on publicly…

Cryptography and Security · Computer Science 2024-04-26 Sifat Muhammad Abdullah , Aravind Cheruvu , Shravya Kanchi , Taejoong Chung , Peng Gao , Murtuza Jadliwala , Bimal Viswanath

Assurance cases are used to communicate and assess confidence in critical system properties such as safety and security. Historically, assurance cases have been manually created documents, which are evaluated by system stakeholders through…

Software Engineering · Computer Science 2024-06-11 Ran Wei , Simon Foster , Haitao Mei , Fang Yan , Ruizhe Yang , Ibrahim Habli , Colin O'Halloran , Nick Tudor , Tim Kelly , Yakoub Nemouchi

Software-intensive Systems-of-Systems (SoS) refer to an arrangement of managerially and operationally independent systems(i.e., constituent systems), which work collaboratively towards the achievement of global missions. Because some SoS…

Software Engineering · Computer Science 2020-07-15 Cristiane Aparecida Lana , Milena Guessi , Pablo Oliveira Antonino , Dieter Rombach , Elisa Yumi NakagawaA

When users work with AI agents, they form conscious or subconscious expectations of them. Meeting user expectations is crucial for such agents to engage in successful interactions and teaming. However, users may form expectations of an…

Artificial Intelligence · Computer Science 2025-09-26 Akkamahadevi Hanni , Jonathan Montaño , Yu Zhang

Context: The active involvement of users and customers in agile software development remains a persistent challenge in practice. For this reason, it is important that students in higher education become familiar with good practices in Agile…

Software Engineering · Computer Science 2026-03-16 Eva-Maria Schön , Michael Neumann , Tiago Silva da Silva

This white paper examines the technical foundations of European AI standardization under the AI Act. It explains how harmonized standards enable the presumption of conformity mechanism, describes the CEN/CENELEC standardization process, and…

Computers and Society · Computer Science 2026-02-03 Piercosma Bisconti , Marcello Galisai

The intersection of Safety of Intended Functionality (SOTIF) and Functional Safety (FuSa) analysis of driving automation features has traditionally excluded Quality Management (QM) components (components that has no ASIL requirements…

Software Engineering · Computer Science 2026-04-01 Alireza Abbaspour , Shabin Mahadevan , Kilian Zwirglmaier , Jeff Stafford

Enterprise AI systems, built on large language models, retrieval pipelines and autonomous agents, introduce a class of risks that traditional software quality assurance was never designed to address. These systems are probabilistic,…

Software Engineering · Computer Science 2026-05-25 Chitra Badagi , Divye Singh , Animesh Sen , Adinath Shirsath

Insecure default values in software settings can be exploited by attackers to compromise the system that runs the software. As a countermeasure, there exist security-configuration guides specifying in detail which values are secure.…

Software Engineering · Computer Science 2023-08-03 Patrick Stöckle , Michael Sammereier , Bernd Grobauer , Alexander Pretschner

Coordination behavior in robot swarms is inherently multi-modal in nature. That is, there are numerous ways in which a swarm of robots can avoid inter-agent collisions and reach their respective goals. However, the problem of generating…

Robotics · Computer Science 2025-02-03 Simon Idoko , B. Bhanu Teja , K. Madhava Krishna , Arun Kumar Singh

The importance of mission or safety critical software systems in many application domains of embedded systems is continuously growing, and so is the effort and complexity for reliability and safety analysis. Model driven development is…

Software Engineering · Computer Science 2021-06-01 Kai Hoefig , Andreas Joanni , Marc Zeller , Francesco Montrone , Martin Rothfelder , Rakshith Amarnath , Peter Munk , Arne Nordmann

Although many AI applications of interest require specialized multi-modal models, relevant data to train such models is inherently scarce or inaccessible. Filling these gaps with human annotators is prohibitively expensive, error-prone, and…

Artificial Intelligence · Computer Science 2026-04-01 Tim R. Davidson , Benoit Seguin , Enrico Bacis , Cesar Ilharco , Hamza Harkous

Multimodal IE in social media is difficult because a post may attach multiple images that are weakly related, redundant, or even misleading with respect to the text. In this setting, always-on multimodal fusion wastes computation and can…

Computer Vision and Pattern Recognition · Computer Science 2026-05-21 Miaobo Hu , Shuhao Hu , Bokun Wang , Rui Chen , Xin Wang , Xiaobo Guo , Daren Zha , Jun Xiao

Todays industrial control systems consist of tightly coupled components allowing adversaries to exploit security attack surfaces from the information technology side, and, thus, also get access to automation devices residing at the…

Software Engineering · Computer Science 2023-06-26 Mukund Bhole , Wolfgang Kastner , Thilo Sauter

In this report, we propose the implementation of national registries for frontier AI models as a foundational tool for AI governance. We explore the rationale, design, and implementation of such registries, drawing on comparisons with…

Computers and Society · Computer Science 2024-10-15 Elliot McKernon , Gwyn Glasser , Deric Cheng , Gillian Hadfield
‹ Prev 1 8 9 10 Next ›