Formal design on GHENeSys IEC-1131 compatible of discrete event systems with PLCs
Journal of Engineering and Technology for Industrial Applications
Formal design on GHENeSys IEC-1131 compatible of discrete event systems with PLCs
Autor Correspondente: Elio R. Avila Rodríguez | [email protected]
Palavras-chave: Petri Nets, Programmable Logic Controllers, Discrete Event Systems, Verification and Validation.
Resumos Cadastrados
Resumo Inglês:
Although when is demonstrated the effectiveness of the modelling of Petri nets as a formal method of design automation with PLCs, with a strong interest in both teaching professionals such as engineering, their use in industrial solutions is not widespread, mainly given fact by the complexity of application that sometimes involves, as well as the limitations that still exist in the correspondence model-code program PLC. This paper discusses the use of a formal design methodology, which uses the extended hierarchical network GHENeSys IEC-1131 Compatible, to particular case of automation with PLCs of Discrete Event Systems. This has among its purposes to contribute to the solution of the above limitations.
Resumo Espanhol:
Aún cuando se ha demostrado la efectividad del modelado sobre redes de Petri como método formal de diseño de automatizaciones con PLCs, con marcado interés de profesionales tanto de la docencia como la ingeniería, su utilización en soluciones industriales no resulta ampliamente difundido, hecho dado principalmente por la complejidad que en ocasiones implica su aplicación, así como por las limitaciones que todavía existen en la correspondencia modelo-programa en código PLC. El presente trabajo trata sobre el empleo de una metodología de diseño formal, que utiliza la red jerárquica extendida GHENeSys IEC-1131 Compatible, al caso particular de automatizaciones con PLCs de Sistemas de Eventos Discretos. Esta tiene entre sus propósitos contribuir a la solución de las limitaciones antes mencionadas.
