![]() These five types of attributes verify the credibility of Modbus TCP/IP protocol. Five types of attributes are verified by UPPAAL tool, including the verification of unreachable attributes found by STM modeling. Finally, it is transformed into UPPAAL model. In order to clearly understand the model and avoid some mistakes in the early stage of modeling, we first establish STM model for Modbus TCP/IP protocol. ![]() In this paper, we use the method of transforming STM (State Transition Matrix) model to UPPAAL (a tool for verifying real-time system) model. ![]() At the same time, industrial communication protocols will face more security threats. With the informatization of industrial control system, industrial communication protocol is facing greater data pressure.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |