.png){kind=icon}
返回
DynSRV: Dynamically Updated Properties for Stream Runtime Verification
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-032-05435-7_7.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
自适环境或基于新要求变化的系统对运行时验证构成挑战。当系统需要在保留内部状态并持续监控的同时，在运行时更新属性或添加新属性时，复杂性会增加。在本工作中，我们提出DynSRV，一种流运行时验证语言，允许动态更新属性。该语言的核心优势在于其能够在运行时更新属性而无需重启监控器，并维持其余属性的内部状态。我们形式化了核心原语的语义，并展示了允许在特定约束下进行适应的设计模式。最后，我们介绍了DynSRV的实现，并描述了三种内存策略，以平衡内存使用和根据历史数据解析动态添加属性的能力。
Keyword:
Runtime Verification
Dynamic Properties
Stream Runtime Verification
Autonomous Systems
Dynamic Software Updating
Self-Adaptive Systems
期刊
R
IF:
0
论文数:
27
被引数:
0
机构
引用论文
.png){kind=icon}
分享收藏分享收藏Dynamic assessment approach for intelligent power distribution systems based on runtime verification with requirements updates基于运行时验证与需求更新的智能配电系统动态评估方法
OAAI
OAAI分享收藏分享收藏
查看更多内容