物联网服务建模: 一种基于环境建模的方法

Li, Ge; Wei, Qiang; Jin, Zhi; Xu, Ya‐Qiong; Zheng, Liwei

doi:10.1360/n112013-00031

Cited by 7 publications

(1 citation statement)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Exact acceleration is an excellent means of abstraction to reduce required storage space and can alleviate state-space explosion. For practical issues such as protocol validation (Zhang et al, 2013), IoT system modeling (Li et al, 2013), and smart contract security verification in blockchain (Cruz, Kaji & Yanai, 2018;Grishchenko, Maffei & Schneidewind, 2018), exact acceleration technology is an efficient way of minimizing required storage space and time.…”

Section: Introductionmentioning

confidence: 99%

Exact acceleration of complex real-time model checking based on overlapping cycle

Wang

Zhuang

Shen

et al. 2020

PeerJ Computer Science

View full text Add to dashboard Cite

When real-time systems are modeled as timed automata, different time scales may lead to substantial fragmentation of the symbolic state space. Exact acceleration solves the fragmentation problem without changing system reachability. The relatively mature technology of exact acceleration has been used with an appended cycle or a parking cycle, which can be applied to the calculation of a single acceleratable cycle model. Using these two technologies to develop a complex real-time model requires additional states and consumes a large amount of time cost, thereby influencing acceleration efficiency. In this paper, a complex real-time exact acceleration method based on an overlapping cycle is proposed, which is an application scenario extension of the parking-cycle technique. By comprehensively analyzing the accelerating impacts of multiple acceleratable cycles, it is only necessary to add a single overlapping period with a fixed length without relying on the windows of acceleratable cycles. Experimental results show that the proposed timed automaton model is simple and effectively decreases the time costs of exact acceleration. For the complex real-time system model, the method based on an overlapping cycle can accelerate the large scale and concurrent states which cannot be solved by the original exact acceleration theory.

show abstract