Exportar registro bibliográfico

Revisão de modelos formais de sistemas de estados finitos (2007)

  • Authors:
  • Autor USP: SOUSA, THIAGO CARVALHO DE - IME
  • Unidade: IME
  • Sigla do Departamento: MAC
  • Subjects: ENGENHARIA DE PROGRAMAS; ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS
  • Agências de fomento:
  • Language: Português
  • Abstract: Neste trabalho apresentamos uma implementação de revisão de crenças baseada em comparação de modelos (estados) em uma ferramenta de verificação automática de sistemas de estados finitos. Dada uma fórmula (na lógica CTL) inconsistente com o modelo do sistema, revisamos esse modelo de tal maneira que essa fórmula temporal se torne verdadeira. Como temos oito operadores temporais (AG, AF, AX, AU, EG, EF, EX e EU), foram criados algoritmos específicos para cada um deles. Como o modelo do sistema deriva do seu código na linhagem SMV, a sua revisão passa obrigatoriamente por mudanças na sua descrição. A nossa implementação contempla três tipos de mudanças: acréscimo de linhas, eliminação de linhas e mudança no estado inicial, sendo que as duas primeiras provocam modificaçòes nas transições entre os estados que compõem o modelo. Alguns testes foram aplicados para comprovar a contribuição da revisão de crenças (revisão de modelos) como ferramenta de auxílio ao usuário durante o processo de modelagem de sistemas.
  • Imprenta:
  • Data da defesa: 26.03.2007
  • Acesso à fonte
    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SOUSA, Thiago Carvalho de; WASSERMANN, Renata. Revisão de modelos formais de sistemas de estados finitos. 2007.Universidade de São Paulo, São Paulo, 2007. Disponível em: < http://www.teses.usp.br/teses/disponiveis/45/45134/tde-06032014-080953/ >.
    • APA

      Sousa, T. C. de, & Wassermann, R. (2007). Revisão de modelos formais de sistemas de estados finitos. Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-06032014-080953/
    • NLM

      Sousa TC de, Wassermann R. Revisão de modelos formais de sistemas de estados finitos [Internet]. 2007 ;Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-06032014-080953/
    • Vancouver

      Sousa TC de, Wassermann R. Revisão de modelos formais de sistemas de estados finitos [Internet]. 2007 ;Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-06032014-080953/

    Últimas obras dos mesmos autores vinculados com a USP cadastradas na BDPI:

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2021