Name: 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)
SKU: 53044955
Price: 85.48 USD
Availability: InStock
Author: Cleber Alves Sarmento
ISBN: 9786202030403

portada 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)

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)

Formato

Libro Físico

Autor

Cleber Alves Sarmento

Encuadernación

Tapa Blanda

ISBN13

9786202030403

Categorías

Lenguajes de programación y extensión/scripting: general

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)

Cleber Alves Sarmento (Autor) · · Tapa Blanda

Libro Nuevo Importado

Envío: 22 a 27 días háb.

$ 142.47$ 85.48

-40%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 10 unidades

$ 85.48

Llega entre el 16 Dic y el 28 Dic a FL. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "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)"

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 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.