Identificacao de erros em programas de controle escritos em Ladder

Os sistemas produtivos (SPs) podem utilizar controladores programveis (CPs) como dispositivos de realizao do controle. Neste contexto, programas de controle executados por CPs podem ser desenvolvidos de forma a no estarem em conformidade com as especificaes de projeto, o que poder provocar o surgimento de erros funcionais associados execuo destes programas. Tais erros podem levar os SPs sob controle a situaes de acidentes. Esta questo tem motivado o surgimento de diversas abordagens para identificar a existncia de erros em programas de controle de CPs, de forma a permitir a correo dos mesmos, e garantir, consequentemente, maior confiabilidade operacional. Esta obra tem por objetivo ilustrar como identificar a existncia de erros em programas de controle baseados em linguagem Ladder (LD). Para isto, prope-se um processo de criao de modelos em Mquinas de Estados Finitos Estendidas (MEFEs), que so gerados a partir do mapeamento dos rungs contidos no programa de controle que se deseja identificar os erros. Uma vez desenvolvidos tais modelos, possvel a utilizao da ferramenta de model checking UPPAAL, a qual indicar a existncia (ou no) destes erros.