Cleber Alves Sarmento

Identificação de erros em programas de controle escritos em Ladder

Uma abordagem baseada em Model Checking (e com a aplicação da ferramenta UPPAAL)

• Broschiertes Buch

Produktbeschreibung

Os sistemas produtivos (SPs) podem utilizar controladores programáveis (CPs) como dispositivos de realização do controle. Neste contexto, programas de controle executados por CPs podem ser desenvolvidos de forma a não estarem em conformidade com as especificações de projeto, o que poderá provocar o surgimento de erros funcionais associados à execução destes programas. Tais erros podem levar os SPs sob controle a situações de acidentes. Esta questão tem motivado o surgimento de diversas abordagens para identificar a existência de erros em programas de controle de CPs, de forma a permitir a correção dos mesmos, e garantir, consequentemente, maior confiabilidade operacional. Esta obra tem por objetivo ilustrar como identificar a existência de erros em programas de controle baseados em linguagem Ladder (LD). Para isto, propõe-se um processo de criação de modelos em Máquinas de Estados Finitos Estendidas (MEFEs), que são gerados a partir do mapeamento dos rungs contidos no programa decontrole que se deseja identificar os erros. Uma vez desenvolvidos tais modelos, é possível a utilização da ferramenta de model checking UPPAAL, a qual indicará a existência (ou não) destes erros.

Produktdetails

• Verlag: Novas Edicioes Academicas
• Seitenzahl: 160
• Erscheinungstermin: 9. Oktober 2017
• Portugiesisch
• Abmessung: 220mm x 150mm x 10mm
• Gewicht: 256g
• ISBN-13: 9786202030403
• ISBN-10: 6202030402
• Artikelnr.: 49475367

Autorenporträt

Atuado em diversas atividades por mais de 20 anos. No meio acadêmico, além do trabalho de base (apresentado à Universidade de São Paulo) para elaboração deste livro, publicou 2 artigos para congressos internacionais do IEEE e IFAC. Na área industrial, além do amplo konw-how em CPs e robôs, dedica-se, atualmente, à eletrônica veicular embarcada.