@inproceedings{5b27f9123e934e8491f91dea0673fd9e,
title = "A Runtime Verification Tool for Distributed Simulation Systems",
abstract = "Distributed simulation systems are complex systems that may suffer from runtime uncertainty or runtime errors. The core of defect detection in distributed simulation systems is to effectively traverse the state space of communication between nodes in the system. In a distributed simulation system, simulation nodes communicate and exchange data through event requests. Different event interaction sequences constitute different states of system behavior. Therefore, an efficient traversal of the state space can be transformed into sequential control of event requests in the system. This paper mainly studies the hybrid method based on software testing and model checking to perform runtime verification of the temporal properties of distributed simulation systems. We develop the runtime verification tool TempoRV. It monitors the distributed simulation system and responds immediately when the behavior of the system violated certain temporal properties. Finally, to illustrate the effectiveness of the proposed tool, we conduct a case study to show that TempoRV provides an important guarantee for the temporal correctness of distributed simulation systems.",
keywords = "Distributed simulation, Runtime verification, Temporal properties",
author = "Lianyi Zhang and Duzheng Qing and Han Zhang and Qingyun Wang and Yuanjun Laili",
note = "Publisher Copyright: {\textcopyright} 2022, The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.; 5th China Conference on Intelligent Networked Things, CINT 2022 ; Conference date: 07-08-2022 Through 08-08-2022",
year = "2022",
doi = "10.1007/978-981-19-8915-5\_45",
language = "英语",
isbn = "9789811989148",
series = "Communications in Computer and Information Science",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "525--539",
editor = "Lin Zhang and Wensheng Yu and Haijun Jiang and Yuanjun Laili",
booktitle = "Intelligent Networked Things - 5th China Conference, CINT 2022, Revised Selected Papers",
address = "德国",
}