Formal modeling and analysis of the modbus protocol

IFIP International Federation for Information Processing

Volumn 253, Issue , 2007, Pages 189-204

  Dutertre, Bruno ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

Formal methods; Modbus; Modeling; Test case generation

Indexed keywords

EID: 36248990245     PISSN: 15715736     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-0-387-75462-8_14     Document Type: Conference Paper

References (13)

1. P. Ammann, P. Black and W. Majurski, Using model checking to generate tests from specifications, Proceedings of the Second IEEE International Conference on Formal Engineering Methods, pp. 46-54, 1998.
2. L. de Moura, S. Owre, H. Ruess, J. Rushby, N. Shankar, M. Sorea and A. Tiwari, SAL 2, in Proceedings of the Sixteenth International Conference on Computer Aided Verification (LNCS 3114), R. Alur and D. Peled (Eds.), Springer, Berlin-Heidelberg, Germany, pp. 496-500, 2004.
3. L. de Moura, S. Owre and N. Shankar, The SAL Language Manual, Technical Report SRI-CSL-01-02, SRI International, Menlo Park, California, 2003.
4. B. Dutertre, Formal Modeling and Analysis of the Modbus Protocol, Technical Report, SRI International, Menlo Park, California, 2006.
5. A. Gargantini and C. Heitmeyer, Using model checking to generate tests from requirements specifications, in Proceedings of the Seventh European Software Engineering Conference (LNCS 1687), O. Nierstrasz and M. Lemoine (Eds.), Springer, Berlin-Heidelberg, Germany, pp. 146-162, 1999.
6. D. Geist, M. Farkas, A. Landver, Y. Lichtenstein, S. Ur and Y. Wolfsthal, Coverage-directed test generation using symbolic techniques, in Proceedings of the First International Conference on Formal Methods in Computer-Aided Design (LNCS 1166), M. Srivas and A. Camilleri (Eds.), Springer, Berlin-Heidelberg, Germany, pp. 143-158, 1996.
7. G. Hamon, L. de Moura and J. Rushby, Generating efficient test sets with a model checker, Proceedings of the Second International Conference on Software Engineering and Formal Methods, pp. 261-270, 2004.
8. Modbus IDA, MODBUS Application Protocol Specification v1.1a, North Grafton, Massachusetts (www.modbus.org/specs.php), June 4, 2004.
9. Modbus IDA, MODBUS Messaging on TCP/IP Implementation Guide v1.0a, North Grafton, Massachusetts (www.modbus.org/specs.php), June 4, 2004.
10. Modbus.org, MODBUS over Serial Line Specification and Implementation Guide v1.0, North Grafton, Massachusetts (www.modbus.org/specs.php), February 12, 2002.
11. S. Owre, J. Rushby, N. Shankar and F. von Henke, Formal verification for fault-tolerant architectures: Prolegomena to the design of PVS, IEEE Transactions on Software Engineering, vol. 21(2), pp. 107-125, 1995.
12. S. Rayadurgam and M Heimdahl, Coverage based test-case generation using model checkers, Proceedings of the Eighth Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, pp. 83-91, 2001.
13. V. Rusu, L. du Bousquet and T. Jéron, An approach to symbolic test generation, in Proceedings of the Second International Conference on Integrated Formal Methods (LNCS 1945), W. Grieskamp, T. Santen and B. Stoddart (Eds.), Springer, Berlin-Heidelberg, Germany, pp. 338-357, 2000.