Statecharts: A visual formalism for complex systems
Science of Computer Programming
A Comparison of Statecharts Variants
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Synthesis and Implementation of Local Modular Supervisory Control for a Manufacturing Cell
WODES '02 Proceedings of the Sixth International Workshop on Discrete Event Systems (WODES'02)
A view of 20th and 21st century software engineering
Proceedings of the 28th international conference on Software engineering
Using statecharts for hardware description and synthesis
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Hi-index | 0.00 |
Despite the many studies that have attempted to develop ''friendly'' methods for industrial controller programming, they are still programmed by conventional ''trial-and-error'' methods and in practice, there is little written documentation on these systems. The ideal solution is to use a computational environment that allows industrial engineers to implement the system using high-level language and that follows international standards. Accordingly, this paper proposes a methodology to model and validate control programs for manufacturing systems that include sequential, parallel and timed operations, using a formalism based on Statecharts, denominated Basic Statechart (BSC). To improve the formal aspects of the original Statecharts, we introduce the semantic of the BSC using only characteristics relevant to the industrial area. We also present an algorithm that translates the control model described in BSC into Ladder diagrams, thereby enabling tests with actual PLCs. Finally, one typical example of application in the manufacturing area is discussed as case study to illustrate the proposed methodology.