.png){kind=icon}
返回
Composable models and guarantees for aggregate systems
.png){kind=icon}
PRE
AI
DOI：10.1007/s10009-026-00860-2.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
开发面向安全关键应用的大规模集体自适应系统需要巨大的努力，涉及分布式编程技术与实时性保证的数学证明的交互。这一努力可通过允许系统开发者依赖预定义算法库来显著降低。通过利用此类算法，分布式行为和（硬）实时性保证可自动推断，从而将验证负担从系统设计者转移到算法开发者。继先前关于聚合计算算法实时性保证的工作后，我们论证聚合计算可为此目标提供便捷框架。作为第一步，我们详细描述不同类型的模型，可将各类聚合程序解释为数学函数。在此基础上，我们研究如何以组合方式指定实时行为约束，提出若干可组合的规范模式，并识别出若干潜在的基本算法库，可构成实时聚合计算库。我们通过示例评估方案，描述每个模型的一系列示例算法，并探讨在分布式网络直径估计典型场景中某些算法的两种可能组合。在这两个示例中，我们通过比较解释结果与模拟结果实验证明模型的有效性，实现高度吻合。总体而言，所提框架为实时聚合计算库提供路线图，其有望成为支持安全关键大规模集体自适应系统严谨工程的重要资产。
Keyword:
Self-organising systems
Real-time guarantees
Aggregate computing
Programming abstractions
期刊
I
IF:
1.4
论文数:
37
被引数:
842
机构
引用论文
暂无论文信息