Dissertation Writing service Buy Dissertation Online essay writing service cheap essay writing Verificação automática de robôs educacionais | Departamento de Computação
 

Verificação automática de robôs educacionais

Resumo: Robótica educacional é uma área de interesse crescente dentro das instituições de ensino nos níveis fundamental, médio e superior.  Existe uma grande variedade de materiais didáticos para ensino da robótica voltados para a construção de robôs (hardware) e para sua programação (software). Devido ao seu baixo custo e facilidade de aquisição, ambientes virtuais de programação para robôs tem sido desenvolvidos para suportar o ensino de conceitos de computação, programação, robótica e inteligência artificial. A principal ferramenta de depuração disponível nestes ambientes é a simulação do robô dentro dos ambientes virtuais. Entretanto a depuração visual não permite análise mais avançada como saber se um programa vai convergir para um objetivo específico, ou, se uma versão de um programa é mais eficiente do que outra versão. Estes tipos de análise são ferramentas de ensino muito importantes para o estudo e aprimoramento dos programas de robô.  Verificação de modelos é uma abordagem para verificação de programas que tem se tornando cada vez mais popular na indústria de hardware quanto na de software. Viabiliza a análise automática de propriedades do comportamento de sistemas de forma consistente pela exploração de modelos matemáticos do software (modelos formais). O objetivo deste projeto é explorar abordagens automáticas para verificação de modelos de programas de robôs virtuais escritos em linguagens educativas de programação. O estudo destas abordagem vai viabilizar a criação de ferramentas avançadas para análise e depuração de programas de robôs virtuais. As abordagens podem ser utilizadas para responder perguntas a cerca do programa do robô como: O programa termina?, O programa chega no objetivo esperado? Uma programa precisa de menos passos para chegar no destino em comparação com outro programa considerando um mesmo mapa? Ressaltamos que, apesar do escopo estar voltado para linguagens educacionais, os resultados desta pesquisa podem ser utilizados em linguagens comerciais que se enquadrem dentro dos requisitos das soluções que serão encontradas. 

Período: 1/11/2015 - 1/12/2019

Contato: Prof. Sidney de Carvalho Nogueira

Buy Kicks | スニーカーの検索一覧【新着順】