Timed Automatas
Mostrando 1-1 de 1 artigos, teses e dissertações.
-
1. Gungnir uma ferramenta para geração e execução automática de testes de conformidade utilizando autômatos temporizados. / Gungnir A tool for executing and generating conformance tests using timed automatas.
Oobjetivo neste trabalho é aumentar a confiança no funcionamento de sistemas da automação através do uso de uma ferramenta de geração e execução automática de testes de conformidade. A ferramenta desenvolvida chama-se Gungnir e utiliza modelos formais, cujo padrão utilizado é o formalismo de Autômato Temporizado (AT). Os sistemas de controle sã
Publicado em: 2010