中文
相关论文

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

200 篇论文

Amidst the growing demand for implementing advanced control and decision-making algorithms|to enhance the reliability, resilience, and stability of power systems|arises a crucial concern regarding the safety of employing machine learning…

系统与控制 · 电气工程与系统科学 2025-07-25 Amr S. Mohamed , Emily Nguyen , Deepa Kundur

Requirements specification patterns have received much attention as they promise to guide the structured specification of natural language requirements. By using them, the intention is to reduce quality problems related to requirements…

软件工程 · 计算机科学 2024-04-29 T. Chuprina , D. Méndez , V. Nigam , M. Reich , A. Schweiger

It is well recognised that ensuring fair AI systems is a complex sociotechnical challenge, which requires careful deliberation and continuous oversight across all stages of a system's lifecycle, from defining requirements to model…

人机交互 · 计算机科学 2025-05-14 Alpay Sabuncuoglu , Christopher Burr , Carsten Maple

As generative AI systems, including large language models (LLMs) and diffusion models, advance rapidly, their growing adoption has led to new and complex security risks often overlooked in traditional AI risk assessment frameworks. This…

密码学与安全 · 计算机科学 2024-10-21 Aviral Srivastava , Sourav Panda

This paper explores how generative AI can help automate and improve key steps in systems engineering. It examines AI's ability to analyze system requirements based on INCOSE's "good requirement" criteria, identifying well-formed and poorly…

系统与控制 · 电气工程与系统科学 2025-02-07 Oz Levy , Ilya Dikman , Natan Levy , Michael Winokur

The integration of Generative Artificial Intelligence (AI) into autonomous machines represents a major paradigm shift in how these systems operate and unlocks new solutions to problems once deemed intractable. Although generative AI agents…

机器人学 · 计算机科学 2024-10-22 Jason Jabbour , Vijay Janapa Reddi

This article explores how emerging generative artificial intelligence (GenAI) models, such as large language models (LLMs), can enhance solution methodologies within process systems engineering (PSE). These cutting-edge GenAI models,…

机器学习 · 计算机科学 2024-06-18 Benjamin Decardi-Nelson , Abdulelah S. Alshehri , Akshay Ajagekar , Fengqi You

Generative AI (GenAI) systems promise to transform knowledge work by automating a range of tasks, yet their deployment in enterprise settings remains hindered by the lack of systematic quality assurance mechanisms. We present an Expert…

软件工程 · 计算机科学 2026-01-21 Lucas Gren , Felix Dobslaw

The specification of requirements and tests are crucial activities in automotive development projects. However, due to the increasing complexity of automotive systems, practitioners fail to specify requirements and tests for distributed and…

Software engineering increasingly involves making high-stakes decisions under uncertainty, using signals from code, field data, and socio-technical processes. Recent AI-driven support (e.g., anomaly detection, predictive analytics, AIOps,…

软件工程 · 计算机科学 2026-05-05 Roberto Pietrantuono , Luca Giamattei , Stefano Russo , Julien Siebert , Neil Walkinshaw

Recent advances in Text-to-Speech (TTS) and Voice-Conversion (VC) using generative Artificial Intelligence (AI) technology have made it possible to generate high-quality and realistic human-like audio. This poses growing challenges in…

声音 · 计算机科学 2025-03-25 Xiang Li , Pin-Yu Chen , Wenqi Wei

Designing, assuring and releasing safe automated vehicles is a highly interdisciplinary process. As complex systems, automated driving systems will inevitably be subject to emergent properties, i. e., the properties of the overall system…

系统与控制 · 电气工程与系统科学 2025-02-11 Marcus Nolte , Markus Maurer

Increasingly sophisticated mathematical modelling processes from Machine Learning are being used to analyse complex data. However, the performance and explainability of these models within practical critical systems requires a rigorous and…

机器学习 · 计算机科学 2020-12-08 Xingyu Zhao , Alec Banks , James Sharp , Valentin Robu , David Flynn , Michael Fisher , Xiaowei Huang

Machine learning techniques have been widely applied in Internet companies for various tasks, acting as an essential driving force, and feature engineering has been generally recognized as a crucial tache when constructing machine learning…

机器学习 · 计算机科学 2020-03-10 Qitao Shi , Ya-Lin Zhang , Longfei Li , Xinxing Yang , Meng Li , Jun Zhou

This paper contributes to the nascent debate around safety cases for frontier AI systems. Safety cases are structured, defensible arguments that a system is acceptably safe to deploy in a given context. Historically, they have been used in…

计算机与社会 · 计算机科学 2026-03-11 Shaun Feakins , Ibrahim Habli , Phillip Morgan

Long-tail and rare event problems become crucial when autonomous driving algorithms are applied in the real world. For the purpose of evaluating systems in challenging settings, we propose a generative framework to create safety-critical…

机器人学 · 计算机科学 2020-07-24 Wenhao Ding , Baiming Chen , Minjun Xu , Ding Zhao

Foundation models have transformed automated code generation, yet autonomous software-engineering agents remain unreliable in realistic development settings. The dominant explanation locates this gap in model capability. We propose a…

软件工程 · 计算机科学 2026-05-14 Hailin Zhong , Shengxin Zhu

Generative AI is increasingly important in software engineering, including safety engineering, where its use ensures that software does not cause harm to people. This also leads to high quality requirements for generative AI. Therefore, the…

软件工程 · 计算机科学 2024-04-25 Florian Geissler , Karsten Roscher , Mario Trapp

Generative Artificial Intelligence (GenAI) presents a governance challenge for STEM assessment. Unrestricted GenAI access enables task outsourcing that undermines the validity of traditional assessments; blanket prohibitions are difficult…

计算机与社会 · 计算机科学 2026-05-26 Yizhu Gao , Zhongzhou Chen , Min Li , Xiaoming Zhai

Recent studies on the safety alignment of large language models (LLMs) have revealed that existing approaches often operate superficially, leaving models vulnerable to various adversarial attacks. Despite their significance, these studies…

密码学与安全 · 计算机科学 2025-06-02 Jianwei Li , Jung-Eun Kim