An Algorithm for Siemens STL representation in TNCES

System engineering process supported by the formal methods should improve the quality of the developed product. Here, a single step in formalization of industrial programming is highlighted together with its place in the whole framework for formal validation of industrial systems. This paper describes an algorithm of translating statement list language to the timed net condition/event systems that forms a controller model. Thus controller models can be generated for the industrial automated systems implemented in statement list.

[1]  Lothar Litz,et al.  Formal methods in PLC programming , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.

[2]  I. Moon.  Modeling programmable logic controllers for logic verification , 1994, IEEE Control Systems.

[3]  A. Lobov,et al.  Application of UML in plant modeling for model-based verification: UML translation to TNCES , 2005, INDIN '05. 2005 3rd IEEE International Conference on Industrial Informatics, 2005..

[4]  Valeriy Vyatkin,et al.  Formal validation of intelligent-automated production systems: towards industrial applications , 2006, Int. J. Manuf. Technol. Manag..

[5]  H.-M. Hanisch,et al.  Net condition/event systems with multiple condition outputs , 1995, Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95.

[6]  Valeriy Vyatkin,et al.  Object-oriented modular place/transition formalism for systematic modeling and validation of industrial automation systems , 2003, IEEE International Conference on Industrial Informatics, 2003. INDIN 2003. Proceedings..

[7]  H.-M. Hanisch,et al.  Modeling of PLC behavior by means of timed net condition/event systems , 1997, 1997 IEEE 6th International Conference on Emerging Technologies and Factory Automation Proceedings, EFTA '97.

[8]  Hanno Wupper,et al.  Timed automaton models for simple programmable logic controllers , 1999, Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99.

[9]  R. W. Lewis,et al.  Programming Industrial Control Systems Using IEC 1131-3 , 1995 .

[10]  Valeriy Vyatkin,et al.  Modelling and Verification of PLC-Based Systems Programmed with Ladder Diagrams , 2004 .

[11]  Valeriy Vyatkin,et al.  Methodology for modeling visual flowchart control programs using net condition/event systems formalism in distributed environments , 2003, EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.03TH8696).