paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Engineering Future Critical CPSs with Trustworthy GenAI Across the Lifecycle

面向全生命周期的可信生成式AI驱动的未来关键CPS工程
ICSE Proceedings of the IEEE/ACM 48th International Conference on Software Engineering2026匹配度 2/10 · 该论文是关于可信生成式AI在安全关键CPS软件工程全生命周期中的高层愿景与研发议程,未具体涉及静态分析、程序分析、浮点程序分析、贝叶斯程序分析或Agentic程序分析等核心方向,仅与AI辅助软件工程泛泛相关。引用 0 inbox
Alessio Bucaioni, Antonio Cicchetti, Gordana Dodig Crnkovic, Romina Spalazzese, Emma Söderberg, Dániel Varró
crossref: 2026-09-12

AI 速览

一句话:提出用可信生成式AI贯穿关键信息物理系统全生命周期的软件工程愿景与研发议程。

本文关注生成式人工智能被引入安全攸关、软件密集型信息物理系统(CPS)开发后带来的机遇与风险。作者综合软件工程、人工智能、AI伦理与社会维度,探讨如何以安全、透明且以人类价值为中心的方式利用这类技术。论文的贡献包括:面向未来可信安全攸关CPS的软件工程愿景,指导在生成式AI影响下的系统构建;批判性分析三项既有认证原则如何被用来缓解生成式AI采纳所引发的社会与技术张力;并提出研究与实践的议程,以确保未来CPS的开发与运维循环在系统(硬件与软件)和社会两个层面都保持可信。

问题
生成式AI正被广泛引入自动驾驶、工业机器人等关键CPS的开发,但其安全、透明与可信性缺乏覆盖全生命周期的工程与认证框架。
方法
从软件工程、AI、AI伦理与社会视角出发,构建愿景,并批判性分析既有认证原则在应对生成式AI带来的社会与技术张力时的作用。
评估
论文以愿景论述与认证原则分析为主,提出研究与实践中需遵循的议程,而非开展具体系统实现或实证基准评估。
原文摘要(Abstract)

One of the most transformative developments today is the integration of generative artificial intelligence into the development of critical software-intensive cyber-physical systems. From autonomous vehicles to industrial robotics, these systems are entering a new era shaped by artificial intelligence-driven development and automation. In this paper, we consider software engineering, artificial intelligence, artificial intelligence ethics, and social aspects, to explore how such technologies can be harnessed safely, transparently, and with human values at the center. Our contributions include a vision for software engineering, guiding the engineering of future trustworthy safety-critical cyber-physical systems under the influence of generative artificial intelligence. We critically analyze how three established certification principles can be leveraged to cope with the societal and technical tensions introduced by generative artificial intelligence adoption, and propose a research and practice agenda to ensure that future cyber-physical systems development and operations cycle remain trustworthy, both from a system (hardware and software) and from a societal perspective.

链接与引用

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

BibTeX
@inproceedings{paperbot11988,
  title = {Engineering Future Critical CPSs with Trustworthy GenAI Across the Lifecycle},
  author = {Alessio Bucaioni and Antonio Cicchetti and Gordana Dodig Crnkovic and Romina Spalazzese and Emma Söderberg and Dániel Varró},
  booktitle = {ICSE},
  year = {2026},
  doi = {10.1145/3786581.3786936}
}