A complete framework for controller verification in manufacturing

Proceedings of the 15th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2010

Volumn , Issue , 2010, Pages

  Gerber, Christian ^a   Preuße, Sebastian ^a   Hanisch, Hans Michael ^a  

^a MARTIN LUTHER UNIVERSITY HALLE WITTENBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CLOSED LOOPS; CONTROL SOFTWARE; CONTROLLER MODELS; FORMAL MODEL; FORMAL VALIDATION; FORMAL VERIFICATIONS; IEC61131-3; OPEN LOOPS; SOLUTION APPROACH; SYNTAX DEFINITION; TECHNICAL COMMITTEES; XML FORMAT;

FACTORY AUTOMATION; PROGRAMMABLE LOGIC CONTROLLERS; VERIFICATION;

CONTROLLERS;

EID: 78650548229     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ETFA.2010.5641220     Document Type: Conference Paper

References (20)

1. M. Bani Younis and G. Frey. Formalization of Existing PLC Programs: A Survey. In Proceedings of the IEEE/IMACS Multiconfrence on Computational Engineering in Systems Applications (CESA), pages S2-R-00-0239, Lille, France, June 2003.
2. N. Bauer, S. Engell, R. Huuck, S. Lohmann, B. Lukoschus, M. Remelhe, and O. Stursberg. Verification of PLC Programs given as Sequential Function Charts. Lecture Notes in Computer Science (LNCS), 3147:517-540, 2004.
3. D. F. Bender, B. Combemale, X. Crégut, J. M. Farines, B. Berthomieu, and F. Vernadat. Ladder Metamodeling and PLC Program Validation through Time Petri Nets. Lecture Notes in Computer Science (LNCS), 5095:121-136, 2008.
4. Beremiz. Open Source Software for Automation. URL, http://www.beremiz. org/, April 2010.
5. G. Canet, S. Couffin, J.-J. Lesage, A. Petit, and P. Schnoebelen. Towards the automatic verification of PLC programs written in Instruction List. In International Conference on Systems, Man and Cybernetics (SMC), volume 4, pages 2449-2454, Nashville, TN, USA, 2000.
6. C. Gerber, I. Ivanova-Vasileva, and H.-M. Hanisch. Formal Modelling of IEC 61499 Function Blocks with Integer-Valued Data Types. Control and Cybernetics, 39(1):197-231, 2010.
7. H.-M. Hanisch, J. Thieme, A. Lüder, and O. Wienhold. Modeling of PLC Behavior by Means of Timed Net Condition/Event Systems. In Conference on Emerging Technologies and Factory Automation (ETFA), pages 391-396, Los Angeles, USA, September 1997.
8. H.-M. Hanisch and V. Vyatkin. Application of Visual Specifications for Verification of Distributed Controllers. In International Conference on Systems, Man and Cybernetics (SMC), pages 646-651, Tucson, Ariz, USA, October 2001.
9. M. Heiner and T. Menzel. Instruction List Verification Using Petri Net Semantics. In International Conference on Systems, Man and Cybernetics (SMC), pages 716-721, San Diego, October 1998. Proceedings.
10. M. Heiner and T. Menzel. Time-related modelling of PLC systems with time-less Petri nets. In Discrete Event Systems, pages 275-282. Kluwer Academic Publishers, 2000.
11. R. Huuck. Semantics and Analysis of Instruction List Programs. Electron. Notes Theor. Comput. Sci., 115:3-18, 2005.
12. D. Missal, M. Hirsch, and H.-M. Hanisch. Hierarchical Distributed Controllers - Design and Verification. In Conference on Emerging Technologies and Factory Automation (ETFA), pages 657-664, Patras, Greece, 2007.
13. OMSIS. On-The-Fly-Migration and Instant-Start-Up of Automated Systems. URL, http://iai8292.inf.tudresden.de/omsis/en/index.html, April 2010.
14. S. Preuße, C. Gerber, and H.-M. Hanisch. Virtual Start-Up of Plants using Formal Methods. Int. J. of Modelling, Identification and Control (IJMIC), 2010. Manuscript submitted for publication.
15. S. Preuße, D. Missal, C. Gerber, M. Hirsch, and H.-M. Hanisch. On the Use of Model-Based IEC 61499 Controller Design. Int. J. of Discrete Event Control Systems (IJDESC), 2010. Manuscript submitted for publication.
16. B. Schlich, J. Brauer, J. Wernerus, and S. Kowalewski. Direct Model Checking of PLC Programs in IL. In Dependable Control of Discrete Systems (DCDS), Bari, Italy, 2009. Preprint.
17. C. Suender. Evaluation of Downtimeless System Evolution in Automation and Control Systems. PhD thesis, Vienna University of Technology, 2008.
18. E. Tisserant, L. Bessard, and M. de Sousa. An Open Source IEC 61131-3 Integrated Development Environment. In International Conference on Industrial Informatics (INDIN), pages 183-187, Vienna, Austria, 2007.
19. V. Vyatkin and H.-M. Hanisch. Verification of distributed control systems in intelligent manufacturing. In Journal of Intelligent Manufacturing (JIM), pages 123-136, 2003.
20. F. Wagner, P. Münch, S. Liu, and G. Frey. Development Process for dependable high-performance controllers using Petri Nets and FPGA Technology. In IFAC Workshop on Dependable Control of Discrete Systems (DCDS), pages 297-302, Cachan, France, June 2007.