Dissertação

Verificação de modelos aplicada ao projeto de controladores digitais implementados em processadores de ponto-fixo

O uso extensivo de controladores digitais implementados em ponto-fixo demandam um maior esforço para prevenir erros de projeto que aparecem no domínio discreto. Este trabalho descreve uma nova metodologia de verificação que emprega verificação de modelos limitada baseada em satisfação booleana e...

ver descrição completa

Autor principal: Ismail, Hussama Ibrahim
Outros Autores: http://lattes.cnpq.br/0237240942570724
Grau: Dissertação
Idioma: por
Publicado em: Universidade Federal do Amazonas 2016
Assuntos:
Controladores digitais
Verificação de modelos
Sistemas de controle
Controladores programáveis - Software
ENGENHARIAS: ENGENHARIA ELÉTRICA
Acesso em linha: http://tede.ufam.edu.br/handle/tede/4984
id oai:https:--tede.ufam.edu.br-handle-:tede-4984
recordtype dspace
spelling oai:https:--tede.ufam.edu.br-handle-:tede-49842016-04-28T05:00:48Z Verificação de modelos aplicada ao projeto de controladores digitais implementados em processadores de ponto-fixo Ismail, Hussama Ibrahim Cordeiro, Lucas Carvalho http://lattes.cnpq.br/0237240942570724 http://lattes.cnpq.br/5005832876603012 Cordeiro, Lucas Carvalho http://lattes.cnpq.br/5005832876603012 de Lima Filho, Eddie Batista http://lattes.cnpq.br/7827981023232761 D'Angelo, Marcos Flávio Silveira Vasconcelos http://lattes.cnpq.br/9939989630342277 Controladores digitais Verificação de modelos Sistemas de controle Controladores programáveis - Software ENGENHARIAS: ENGENHARIA ELÉTRICA O uso extensivo de controladores digitais implementados em ponto-fixo demandam um maior esforço para prevenir erros de projeto que aparecem no domínio discreto. Este trabalho descreve uma nova metodologia de verificação que emprega verificação de modelos limitada baseada em satisfação booleana e teorias do módulo da satisfatibilidade, para verificar a ocorrência de erros de projetos em controladores digitais causados pelos efeitos da palavra finita. Neste trabalho, serão comparados os desempenhos das realizações na formas delta e as tradicionais formas diretas. Os resultados mostram que a forma delta reduz substancialmente a fragilidade de controladores digitais, se comparados com as formas diretas. A metodologia proposta é eficiente para verificar controladores digitais do mundo real. Ela foi conclusiva em aproximadamente 89% dos casos de teste. The extensive use of fixed-point digital controllers demands a growing effort to prevent design errors that appear in discrete-time domain. The present work describes a novel verification methodology, which employs bounded model checking based on boolean satisfiability and satisfiability modulo theories to verify the occurrence of design errors, due to the finite word-length format, in fixed-point digital controllers. Here, the performance of digital controllers realizations that use delta operators are compared to those that use traditional direct forms. Experimental results show that the delta-form realization substantially reduces the digital controllers’ fragility when compared to the direct-form realization. Additionally, the proposed methodology is very effective and efficient to verify real-world digital controllers, where conclusive results are obtained in nearly 89% of the benchmarks. Não informada 2016-04-27T20:06:56Z 2015-11-11 Dissertação ISMAIL, Hussama Ibrahim. Verificação de modelos aplicada ao projeto de controladores digitais implementados em processadores de ponto-fixo. 2015. 95 f. Dissertação (Mestrado em Engenharia Elétrica ) - Universidade Federal do Amazonas, Manaus, 2015. http://tede.ufam.edu.br/handle/tede/4984 por Acesso Aberto application/pdf Universidade Federal do Amazonas Faculdade de Tecnologia Brasil UFAM Programa de Pós-graduação em Engenharia Elétrica
institution TEDE - Universidade Federal do Amazonas
collection TEDE-UFAM
language por
topic Controladores digitais
Verificação de modelos
Sistemas de controle
Controladores programáveis - Software
ENGENHARIAS: ENGENHARIA ELÉTRICA
spellingShingle Controladores digitais
Verificação de modelos
Sistemas de controle
Controladores programáveis - Software
ENGENHARIAS: ENGENHARIA ELÉTRICA
Ismail, Hussama Ibrahim
Verificação de modelos aplicada ao projeto de controladores digitais implementados em processadores de ponto-fixo
topic_facet Controladores digitais
Verificação de modelos
Sistemas de controle
Controladores programáveis - Software
ENGENHARIAS: ENGENHARIA ELÉTRICA
description O uso extensivo de controladores digitais implementados em ponto-fixo demandam um maior esforço para prevenir erros de projeto que aparecem no domínio discreto. Este trabalho descreve uma nova metodologia de verificação que emprega verificação de modelos limitada baseada em satisfação booleana e teorias do módulo da satisfatibilidade, para verificar a ocorrência de erros de projetos em controladores digitais causados pelos efeitos da palavra finita. Neste trabalho, serão comparados os desempenhos das realizações na formas delta e as tradicionais formas diretas. Os resultados mostram que a forma delta reduz substancialmente a fragilidade de controladores digitais, se comparados com as formas diretas. A metodologia proposta é eficiente para verificar controladores digitais do mundo real. Ela foi conclusiva em aproximadamente 89% dos casos de teste.
author_additional Cordeiro, Lucas Carvalho
author_additionalStr Cordeiro, Lucas Carvalho
format Dissertação
author Ismail, Hussama Ibrahim
author2 http://lattes.cnpq.br/0237240942570724
author2Str http://lattes.cnpq.br/0237240942570724
title Verificação de modelos aplicada ao projeto de controladores digitais implementados em processadores de ponto-fixo
title_short Verificação de modelos aplicada ao projeto de controladores digitais implementados em processadores de ponto-fixo
title_full Verificação de modelos aplicada ao projeto de controladores digitais implementados em processadores de ponto-fixo
title_fullStr Verificação de modelos aplicada ao projeto de controladores digitais implementados em processadores de ponto-fixo
title_full_unstemmed Verificação de modelos aplicada ao projeto de controladores digitais implementados em processadores de ponto-fixo
title_sort verificação de modelos aplicada ao projeto de controladores digitais implementados em processadores de ponto-fixo
publisher Universidade Federal do Amazonas
publishDate 2016
url http://tede.ufam.edu.br/handle/tede/4984
_version_ 1831969375901450240
score 11.753735

Registros relacionados