Publicação

Conversão sistemática do comportamento definido nos blocos funcionais da norma IEC 61 131-3 para autómatos finitos temporizados

Ver documento

Detalhes bibliográficos
Resumo:Nesta dissertação é proposto um conjunto de modelos de alguns blocos funcionais da norma IEC 61 131-3 tendo em conta a Simulação e a verificação formal da especificação de comando de um sistema mecatrónico. A modelação destes blocos funcionais é feita utilizando TA (Timed Automata) e o software de simulação e verificação (UPPAAL), que permite simular e realizar model checking sobre modelos em TA. Todos os comportamentos dos blocos funcionais considerados relevantes foram transponíveis para um modelo em autómatos finitos temporizados e foi possível tirar conclusões sobre a Simulação e verificação formal do comportamento dos mesmos. Um estudo de caso foi considerado para ilustração dos resultados obtidos e, também, permitiu extrapolar conclusões tiradas, para outros casos similares.
Autores principais:Galvão, Joel Maurício Rocha
Assunto:Blocos funcionais da norma IEC 61 131-3 Simulação de sistemas automatizados Sistemas de eventos discretos Verificação formal Model-In-the-loop Model checking Autómatos finitos temporizados Sequential function chart UPPAAL IEC 61 131-3 function blocks Simulation of automation systems Discrete event systems Formal verification Timed automata
Ano:2015
País:Portugal
Tipo de documento:dissertação de mestrado
Tipo de acesso:acesso aberto
Instituição associada:Universidade do Minho
Idioma:português
Origem:RepositóriUM - Universidade do Minho

Registos relacionados

Registos relacionados