Efficient Coordination for Distributed Discrete-Event Systems

Autor:	Jun, Byeonggil, Lee, Edward A., Lohstroh, Marten, Kim, Hokeun
Rok vydání:	2024
Předmět:	Computer Science - Distributed Parallel and Cluster Computing Electrical Engineering and Systems Science - Systems and Control
Druh dokumentu:	Working Paper
Popis:	Timing control while preserving determinism is often a key requirement for ensuring the safety and correctness of distributed cyber-physical systems (CPS). Discrete-event (DE) systems provide a suitable model of computation (MoC) for time-sensitive distributed CPS. The high-level architecture (HLA) is a useful tool for the distributed simulation of DE systems, but its techniques can be adapted for implementing distributed CPS. However, HLA incurs considerable overhead in network messages conveying timing information between the distributed nodes and the centralized run-time infrastructure (RTI). This paper gives a novel approach and implementation that reduces such network messages while preserving DE semantics. An evaluation of our runtime demonstrates that our approach significantly reduces the volume of messages for timing information in HLA. Comment: To appear in Proceedings of the 22nd ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'24)
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2410.06454 Zobrazit plný text záznamu View this record from Arxiv