Livros de Engenharia Mecânica

Verificação formal de sistemas discretos distribuídos

Downloads: 15         Páginas: 186

Publicado há: 4 años

Qualificação:   Calificado: 1 veces Vote

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

Autor:

       Publicidad

Descrição

Escola Politécnica / Engenharia de Controle e Automação Mecânica Universidade de São Paulo "O presente trabalho trata da verificação e design de sistemas complexos, especificamente da verificação de sistemas de tempo real concorrentes e distribuídos. Propõe-se uma técnica enumerativa para a verificação formal de modelos que permite determinar a validade de propriedades quantitativas, além das qualitativas. [...] A demonstração da manutenção de propriedades como invariantes, vivacidade, limitação assim como da validade de fórmulas lógicas no processo de refinamento constitui um aspecto fundamental no projeto de sistemas complexos, e foi portanto revista em detalhes para a rede GHENeSys. Alguns exemplos práticos são apresentados para avaliar o desempenho dos algoritmos e um estudo de caso finaliza a apresentação, onde se pode contrastar os algoritmos propostos com os implementados na ferramenta UPPAAL." Obrigado por baixar livros de sistemas discretos distribuídos em formato pdf mobipocket epub txt HTML Download de ebook grátis

SOBRE O AUTOR

Pedro Manuel González Del Foyo

Você pode estar interessado...

eBooks à Venda