paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Health of smart ecosystems

智能生态系统的健康
FSE Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2021匹配度 1/10 · 论文讨论智能生态系统(智慧城市/电网等)的可靠性概念与故障揭示方法,属于分布式系统与软件工程可靠性方向,与用户的静态分析、LLM/Agent、浮点程序分析、贝叶斯程序分析等核心研究方向没有直接交集。引用 6 inbox
Noura El Moussa, Davide Molinelli, Mauro Pezzè, Martin Tappler
crossref: 2026-09-12

AI 速览

一句话:提出面向智能生态系统的可靠性新概念,并探讨揭示其故障的新方法。

软件是智能生态系统的核心组成部分。这类大型“系统共同体”由自主、独立且高度异构的系统组合而成,如智慧城市、智能电网和智能建筑。其成员系统并非集中所有,彼此以显式和隐式方式交互,因而不可避免地产生矛盾与故障。这些独特性质给软件工程带来前所未有的问题。本文讨论其中一项重大挑战:为智能生态系统定义新的“可依赖性”概念,并探索揭示其故障的新方法。摘要未报告具体技术方案或实证评估。

问题
智能生态系统由非集中拥有、自主且异构的系统组成,系统间显隐式交互导致矛盾与故障,传统可靠性概念和方法难以直接适用。
方法
论文以挑战/展望形式讨论,主张为智能生态系统重新定义“可依赖性”,并探索揭示其故障的新途径。
评估
给出的摘要未包含具体评估或实证结果,属于问题与方向性讨论。
原文摘要(Abstract)

Software is a core component of smart ecosystems, large ’system communities’ that emerge from the composition of autonomous, independent, and highly heterogeneous systems, like smart cities, smart grids, smart buildings. The systems that comprise smart ecosystems are not centrally owned, and mutually interact both explicitly and implicitly, leading to unavoidable contradictions and failures. The distinctive characteristics of smart ecosystems challenge software engineers with problems never addressed so far. In this paper we discuss the big challenge of defining a new concept of ’dependability’ and new approaches to reveal smart ecosystem failures.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot6383,
  title = {Health of smart ecosystems},
  author = {Noura El Moussa and Davide Molinelli and Mauro Pezzè and Martin Tappler},
  booktitle = {FSE},
  year = {2021},
  doi = {10.1145/3468264.3473137}
}