paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Evolve the Model Universe of a System Universe

演化系统宇宙的模型宇宙
ASE 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)2023匹配度 1/10 · 该论文是面向智能软件系统可信性与“模型宇宙”持续演化的研究愿景,核心结合软件工程、演化计算与机器学习,不涉及静态分析、程序分析、LLM/Agent 改进分析工具、浮点程序分析或贝叶斯程序分析。仅标签中的“机器学习与程序语言”与用户方向有极弱关联,但摘要未体现相关实质内容。引用 5 inbox
Tao Yue, Shaukat Ali
crossref: 2026-09-12dblp: 2026-09-12arxiv: 2026-09-12

AI 速览

一句话:提出融合软件工程、演化计算与机器学习以支持「模型宇宙」持续演化的研究愿景。

智能软件系统面临不确定、不可预测、实时且终身的演化,其运行故障会带来重大损失与安全危害,因此保障系统在不确定性下决策的可信性是首要挑战。作者提出,应在系统整个生命周期内持续监控、测试与精化系统及其运行环境,并借助数字孪生等技术保持同步,以反映系统最新状态。这类表示通常由基于先验知识的模型与机器学习模型共同构成,即所谓「模型宇宙」。论文的核心愿景是将软件工程、演化计算与机器学习的技术相结合,使模型宇宙随系统宇宙共同演化,从而支撑可信决策。本文为愿景性论文,未报告具体实验评估结果。

问题
智能软件系统在不确定、实时、终身演化的运行环境中容易发生故障,如何保证其不确定性下决策的可信性是亟待解决的核心挑战。
方法
提出融合软件工程、演化计算与机器学习的愿景,借助数字孪生等手段持续监控、测试与精化系统,使由先验知识模型与机器学习模型构成的「模型宇宙」随系统一同演化。
评估
本文为愿景/立场论文,以论述与展望方式提出研究议程,未进行实验评估。
原文摘要(Abstract)

Uncertain, unpredictable, real-time, and lifelong evolution causes operational failures in intelligent software systems, leading to significant damages, safety and security hazards, and tragedies. To fully unleash such systems' potential and facilitate their wider adoption, ensuring the trustworthiness of their decision-making under uncertainty is the prime challenge. To overcome this challenge, an intelligent software system and its operating environment should be continuously monitored, tested, and refined during its lifetime operation. Existing technologies, such as digital twins, can enable continuous synchronisation with such systems to reflect their most up-to-date states. Such representations are often in the form of prior-knowledge-based and machine-learning models, together called ‘model universe’. In this paper, we present our vision of combining techniques from software engineering, evolutionary computation, and machine learning to support the model universe evolution.

链接与引用

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

BibTeX
@inproceedings{abs-2309-13342,
  title = {Evolve the Model Universe of a System Universe},
  author = {Tao Yue and Shaukat Ali},
  booktitle = {ASE},
  year = {2023},
  doi = {10.1109/ase56229.2023.00022}
}