TY - GEN
T1 - A 3-layer method for analysis of cooperative behaviors of physical devices in cyber-physical systems
AU - Ren, Gang
AU - Deng, Pan
AU - Yang, Chao
N1 - Publisher Copyright:
© Springer International Publishing AG 2017.
PY - 2017
Y1 - 2017
N2 - With wide application of wireless sensor technology, more and more physical devices are being connected to Cyber-Physical Systems (CPSs). On the other hand, CPS applications have made their way into the domain of Safety-Critical Systems (SCSs), where there is a higher requirement for temporal correctness of cooperative behaviors of physical devices. Therefore, it has been becoming a challenging task for practicing engineers to ensure temporal correctness of cooperative behaviors. In practice, practicing engineers mainly depend on graphic modeling methods or formal modeling methods to analyse cooperative behaviors. However, since different methods have their own features, a single method can’t ensure temporal correctness of cooperative behaviors very well. To address this issue, in this paper, a 3-layer method, consisting of the graphic modeling layer, the formal specification layer, and the formal verification layer, is proposed. This method combines the advantages of graphic methods and formal methods and can provide a more thorough analysis for cooperative behaviors. Moreover, due to adoption of 3-layer architecture, this method has a good extensibility in structure. The usability of the proposed method is illustrated by a practical application scenario.
AB - With wide application of wireless sensor technology, more and more physical devices are being connected to Cyber-Physical Systems (CPSs). On the other hand, CPS applications have made their way into the domain of Safety-Critical Systems (SCSs), where there is a higher requirement for temporal correctness of cooperative behaviors of physical devices. Therefore, it has been becoming a challenging task for practicing engineers to ensure temporal correctness of cooperative behaviors. In practice, practicing engineers mainly depend on graphic modeling methods or formal modeling methods to analyse cooperative behaviors. However, since different methods have their own features, a single method can’t ensure temporal correctness of cooperative behaviors very well. To address this issue, in this paper, a 3-layer method, consisting of the graphic modeling layer, the formal specification layer, and the formal verification layer, is proposed. This method combines the advantages of graphic methods and formal methods and can provide a more thorough analysis for cooperative behaviors. Moreover, due to adoption of 3-layer architecture, this method has a good extensibility in structure. The usability of the proposed method is illustrated by a practical application scenario.
KW - Cooperative behaviours
KW - Cyber-Physical systems
KW - Formal model
KW - Formal verification
KW - Graphic model
UR - https://www.scopus.com/pages/publications/85026378788
U2 - 10.1007/978-3-319-60033-8_63
DO - 10.1007/978-3-319-60033-8_63
M3 - 会议稿件
AN - SCOPUS:85026378788
SN - 9783319600321
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 741
EP - 754
BT - Wireless Algorithms, Systems, and Applications - 12th International Conference, WASA 2017, Proceedings
A2 - Zhang, Yan
A2 - Khreishah, Abdallah
A2 - Yan, Mingyuan
A2 - Ma, Liran
PB - Springer Verlag
T2 - 12th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2017
Y2 - 19 June 2017 through 21 June 2017
ER -