Application of symbolic and bounded model checking to the verification of logic control systems

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

Volumn 1 2 VOLS, Issue , 2005, Pages 247-250

  Loeis, Kingliana ^a   Younis, Mohammed Bani ^a   Frey, Georg ^a  

^a University of Koblenz Landau   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CYCLIC BEHAVIOR; LOGIC CONTROL SYSTEMS; MODEL CHECKING TECHNIQUE;

COMPUTATIONAL COMPLEXITY; COMPUTER SOFTWARE; CONTROL SYSTEM ANALYSIS; FORMAL LANGUAGES; FORMAL LOGIC; RELIABILITY;

PROGRAMMABLE LOGIC CONTROLLERS;

EID: 33847253826     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. NuSMV homepage: http://nusmv.irst.itc.it/
2. 20 States and Beyond", Information and Computation, 98(2): pp. 142-170, June 1992.
3. A. Biere, A. Cimatti, E. M. Clarke, Y. Zhu, "Symbolic Model Checking without BDDs", In TACAS'99, LNCS 1579. Springer, pp. 193-207, 1999.
4. International Electrotechnical Commission, IEC International Standard 1131-3, Programmable Controllers, Part 3, Programming Languages, 1993.
5. M. Bani Younis, G. Frey, "Formalization of PLC Programs to Sustain Reliability," Proceeding IEEE, RAM-2 004, Singapore, pp. 613-618, Dec. 2004.
6. M. Bani Younis and G. Frey, Visualization of PLC Programs Using XML. Proceedings of the American Control Conference (ACC2004), Boston, USA, June 30 - July 2, pp. 3082-3087, 2004
7. L. Litz, Grundlagen der Automatisierungstechnik, Oldenburg Verlag München, 2005.
8. D. Evrot, Identification de machines séquentielles parallèles en tenant compte de la structure PO. D. E. A. De Production Automatisée, Ecole Normale Supérieure de Cachan, July 2004.
9. G. Frey, Design and Formal Analysis of Pétri Net Based Logic Control Algorithms, ISBN 3-8322-0043-6, Dissertation, University of Kaiserslautern, Shaker Verlag, Aachen, April 2002.
10. R. David, H. Alla, Petri Nets & Grafcet Tools for Modelling Discrete Event Systems, Prentice Hall, New York, London, 1992.