Simulation of Industrial Applications using the Execution Environment SCXML

The design engineers need to use high level formalisms to facilitate the development, maintenance, and documentation of the industrial control systems. These formalisms must permit the modeling, formal validation, and code generation to PLC. This paper discusses statechart for modeling of industrial systems, and presents a case study that simulates the general schema of the industrial automation process, based in PLC. The case study was implemented with Java technologies, and was simulated using the execution environment developed by the Jakarta Project Commons SCXML.