An Algorithm for Siemens STL representation in TNCES

Abstract

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.