发布/订阅网络的运行时验证容器
分布式、并行与集群计算
2024-08-14 v1 网络与互联网体系结构
摘要
发布/订阅（pub/sub）网络是现代分布式系统的基石，在物联网（IoT）和机器人等应用中发挥着关键作用。虽然运行时验证技术看似非常适合确保此类高度动态和大规模网络的正确性，但将运行时监控器无缝集成到现实世界的工业用例中仍面临重大挑战。本文研究了现代容器化技术，以部署运行时验证工具来监控发布/订阅网络，并重点关注性能。运行时验证容器轻量且可与其他容器化的发布者和订阅者参与者一同部署。每个运行时验证容器监控消息流，从而实现对网络行为的运行时验证。我们通过若干实验和软件定义车辆领域的真实案例研究，全面基准测试了基于容器的方法。
引用
@article{arxiv.2408.06380,
title = {Runtime Verification Containers for Publish/Subscribe Networks},
author = {Ali Mehran and Dogan Ulus},
journal= {arXiv preprint arXiv:2408.06380},
year = {2024}
}