.png){kind=icon}
Return
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}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
Systems that adapt to their environment or change based on new requirements pose challenges for runtime verification. Complexity is increased when the system needs to retain its internal state and continue monitoring while also updating properties or adding new ones during runtime. In this work, we propose DynSRV, a Stream Runtime Verification language that allows for dynamic updates of properties. A core benefit of this language is its capability to update properties at runtime without requiring a restart of the monitor, maintaining the internal state of the remaining properties. We formalise the semantics of our core primitives and demonstrate design patterns for allowing adaptations under certain constraints. Finally, we present an implementation of DynSRV and describe three memory strategies that balance memory usage and the ability to resolve dynamically added properties depending on historical data.
Keywords:
Runtime Verification
Dynamic Properties
Stream Runtime Verification
Autonomous Systems
Dynamic Software Updating
Self-Adaptive Systems
Journal
R
IF:
0
Papers:
27
Citations:
0
Organization
Cited Papers
.png){kind=icon}
ShareSave
ShareSaveShareSaveShareSaveShareSaveShareSaveShareSave
View more