Basic Statechart: A formalism to model industrial systems

Despite the many studies that have attempted to develop ldquofriendlyrdquo methods for industrial controller programming, they are still programmed by conventional ldquotrial-and-errorrdquo methods and there is little written documentation on these systems. Accordingly, this paper proposes a methodology to model control programs for manufacturing systems that include sequential, parallel and timed operations, using a formalism based on Statechart diagrams, denominated Basic Statechart (BSC). One typical example of application in the manufacturing area is presented as case study to illustrate the proposed methodology.