Modbus is a communication protocol that is widely used in SCADA systems and distributed control applications. This paper presents formal specifications of Modbus developed using PVS, a generic theorem prover; and SAL, a toolset for the automatic analysis of state-transition systems. Both formalizations are based on the Modbus Application Protocol, which specifies the format of Modbus request and response messages. This formal modeling effort is the first step in the development of automated methods for systematic and extensive testing of Modbus devices. © 2008 International Federation for Information Processin.
CITATION STYLE
Dutertre, B. (2007). Formal modeling and analysis of the modbus protocol. In IFIP International Federation for Information Processing (Vol. 253, pp. 189–204). https://doi.org/10.1007/978-0-387-75462-8_14
Mendeley helps you to discover research relevant for your work.