![](/images/graphics-bg.png)
A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems
Joint Authors
Zhang, Long
Hu, Wenyan
Qu, Wanxia
Guo, Yang
Li, Sikun
Source
Issue
Vol. 2017, Issue 2017 (31 Dec. 2017), pp.1-10, 10 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2017-05-10
Country of Publication
Egypt
No. of Pages
10
Main Subjects
Telecommunications Engineering
Abstract EN
Mobile cyber-physical systems (CPSs) are very hard to verify, because of asynchronous communication and the arbitrary number of components.
Verification via model checking typically becomes impracticable due to the state space explosion caused by the system parameters and concurrency.
In this paper, we propose a formal approach to verify the safety properties of parameterized protocols in mobile CPS.
By using counter abstraction, the protocol is modeled as a Petri net.
Then, a novel algorithm, which uses IC3 (the state-of-the-art model checking algorithm) as the back-end engine, is presented to verify the Petri net model.
The experimental results show that our new approach can greatly scale the verification capabilities compared favorably against several recently published approaches.
In addition to solving the instances fast, our method is significant for its lower memory consumption.
American Psychological Association (APA)
Zhang, Long& Hu, Wenyan& Qu, Wanxia& Guo, Yang& Li, Sikun. 2017. A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems. Mobile Information Systems،Vol. 2017, no. 2017, pp.1-10.
https://search.emarefa.net/detail/BIM-1189106
Modern Language Association (MLA)
Zhang, Long…[et al.]. A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems. Mobile Information Systems No. 2017 (2017), pp.1-10.
https://search.emarefa.net/detail/BIM-1189106
American Medical Association (AMA)
Zhang, Long& Hu, Wenyan& Qu, Wanxia& Guo, Yang& Li, Sikun. A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems. Mobile Information Systems. 2017. Vol. 2017, no. 2017, pp.1-10.
https://search.emarefa.net/detail/BIM-1189106
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-1189106