Descrição HTML

Checagem de arquiteturas de controle de veículos submarinos: uma abordagem baseada em especificações formais Escola Politécnica / Engenharia de Controle e Automação Mecânica Universidade de São Paulo "O desenvolvimento de arquiteturas de controle para veículos submarinos é uma tarefa complexa. [...] Neste contexto, o modelo comportamental pode levar a fenômenos como deadlocks, livelocks, disputa por recursos, entre outros. A fim de se tentar minimizar os efeitos de tais dificuldades, neste trabalho será apresentado um método para checagem de modelos de arquiteturas de controle de veículos submarinos baseado em Especificações Formais. [...] O desenvolvimento de uma arquitetura de controle reativa para um ROV denominado VSOR (Veículo Submarino Operado Remotamente) é utilizado como exemplo de uso do método proposto. Toda a arquitetura de controle é codificada utilizando a linguagem Ada com o perfil RavenSPARK e embarcada em um computador do tipo PC104 com o sistema operacional de tempo real VxWorks, da Windriver, Inc." Baixar livros de Especificações Formais em formato pdf mobipocket epub txt HTML Download ebooks grátis