Abordagem sistemática para teste de sistemas autônomos

Abstract

Sistemas autônomos oferecem varias oportunidades sem precedentes de se aumentar a eficiência de muitas tarefas, desde exploração espacial até tarefas domésticas. Ao mesmo tempo, o risco de mau funcionamento desses sistemas culmina em relutâncias na implantação de novas e complexas tecnologias que esses sistemas permitem utilizar. A questão principal relacionada a esse risco de mau funcionamento é a validação incompleta de sistemas autônomos. Nesse trabalho foi desenvolvida uma abordagem de testes sistemática para sistemas autônomos, que tem como objetivo promover a detecção de falhas, lidando com partes específicas desses sistemas. A ferramenta desenvolvida nesse trabalho foi validada em simulação para a detecção de falhas em um modelo de sistema em máquina de estados.