{"product_id":"identificacao-de-erros-em-programas-de-controle-escritos-em-ladder-von-cleber-alves-sarmento","title":"Identificação de erros em programas de controle escritos em Ladder","description":"\u003cp\u003eOs 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 de controle 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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9786202030403\"\u003e\u003ch3\u003eUma abordagem baseada em Model Checking (e com a aplicação da ferramenta UPPAAL)\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9786202030403","offer_id":40149763817565,"sku":"9786202030403","price":64.9,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/2075a714-e38f-4a33-845c-4c0443af74db.jpg?v=1773124248","url":"https:\/\/shop.autorenwelt.de\/products\/identificacao-de-erros-em-programas-de-controle-escritos-em-ladder-von-cleber-alves-sarmento","provider":"Autorenwelt Shop","version":"1.0","type":"link"}