paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Trustworthy Resolution of Requirement Conflicts at Runtime

运行时可信任的需求冲突消解
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 1/10 · 该论文研究运行时需求冲突管理与用户信任,属于需求工程/自主系统领域,与用户关注的静态分析、Agentic 程序、LLM 与程序分析交叉、浮点分析、贝叶斯程序分析几乎无交集。引用 0 inbox
Antonia Welzel
crossref: 2026-09-12

AI 速览

一句话:研究如何在运行时管理相互冲突的需求,以维护用户对自主系统的信任。

随着软件系统日益自主,信任成为影响用户接受与采用的关键因素。然而,系统需求之间的冲突可能导致意外甚至不希望的系统行为,尤其在动态且不确定环境中运行的自主系统中,冲突更易发生,必须以维护并积极影响用户信任的方式加以管理。本文研究如何在运行时管理冲突需求,从而保持用户信任。其贡献旨在建立面向可信任冲突管理的指南,确保冲突消解既有效,又与用户期望保持一致。摘要未报告具体评估结果,成果形式为目标性指南。

问题
自主系统在动态不确定环境中运行时,相互冲突的需求会导致意外行为,进而损害用户信任;如何管理这些冲突是核心问题。
方法
论文围绕运行时需求冲突管理展开研究,旨在形成可信任冲突管理的指南,使消解过程有效并符合用户期望。
评估
摘要未明确给出具体评估方式或实验结果;从摘要看,评估目标体现为所建立指南能否保证冲突消解有效且与用户期望一致。
原文摘要(Abstract)

As software systems become increasingly autonomous, trust has emerged as a critical factor that directly influences users’ acceptance and adoption of these systems. However, trust is challenged by conflicting system requirements, as they can lead to unexpected and potentially unwanted system behaviour. Particularly in autonomous systems that operate in dynamic and uncertain environments, conflicts are likely and need to be managed in a way that preserves and positively impacts the user’s trust. This thesis investigates how conflicting requirements can be managed at runtime in a way that maintains user trust. The resulting contributions aim to establish guidelines for trustworthy conflict management that ensure that conflict resolution is both effective and aligned with user expectations.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot11720,
  title = {Trustworthy Resolution of Requirement Conflicts at Runtime},
  author = {Antonia Welzel},
  booktitle = {ICSE},
  year = {2026},
  doi = {10.1145/3774748.3787668}
}