Livros de Engenharia Mecânica

Checagem de arquiteturas de controle de veículos submarinos: uma abordagem baseada em...

Downloads: 71         Páginas: 144

Publicado há: 3 años

Qualificação:   Calificado: 0 veces Vote

  • 1 estrella
  • 2 estrellas
  • 3 estrellas
  • 4 estrellas
  • 5 estrellas

Autor:

       Publicidad

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

SOBRE O AUTOR

Fábio Henrique de Assis

Você pode estar interessado...

eBooks à Venda

  • Huyendo del egoísmo
    Huyendo del egoísmo Autoayuda por Joselito Montero
    Huyendo del egoísmo
    Huyendo del egoísmo

    Downloads:
    1

    Páginas:
    53

    Publicado:
    Feb 2014

    Los seres humanos, de por sí, nacemos ciegos y morimos ciegos, y este aparente progreso que existe en la actualidad nos ha enceguecido más aun. Esa ceguera co...

    Formatos: PDF, TXT

  • Un oscuro perfil
    Un oscuro perfil Acción, Aventura por Freddy Darino Díaz
    Un oscuro perfil
    Un oscuro perfil

    Downloads:
    1

    Páginas:
    252

    Publicado:
    Nov 2013

    Llegó al abandonado pueblito de Herreros con un propósito y allí se hizo realidad aquello “de tomar un camino y tener que torcerlo…” al encontrar que detrás d...

    Formatos: PDF, Epub, Kindle, TXT

  • Merinas
    Merinas Novela Historica por José Fernando Criado Juárez
    Merinas
    Merinas

    Downloads:
    1

    Páginas:
    608

    Publicado:
    Nov 2013

    A comienzos del siglo XV un caballero español, antiguo militar, luchador en la Reconquista de la España musulmana, huyendo de una situación injusta, se enrola...

    Formatos: PDF, Epub, Kindle, TXT