Automatos hibridos e bdds: representacao, algoritmos e implementacoes.

• Processo: 00/08853-2
• Modalidade de apoio: Bolsas no Brasil - Doutorado
• Data de Início da vigência: 01 de outubro de 2000
• Data de Término da vigência: 31 de julho de 2001
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Teoria da Computação
• Pesquisador responsável: Arnaldo Vieira Moura
• Beneficiário: Adilson Luiz Bonifácio
• Instituição Sede: Instituto de Computação (IC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Assunto(s): Sistemas híbridos Validação
• Palavra(s)-Chave do Pesquisador: Algoritmos Aproximados | Automatos Hibridos | Bdds | Sistemas Hibridos | Validacao | Verificacao

Resumo

Sistemas híbridos críticos são sistemas complexos que envolvem grandes riscos de falhas em sua operação. Esses sistemas exigem um processo de verificação rigorosa para minimizar tais riscos. Uma abordagem comumente aplicada na verificação de sistemas híbridos é a de autômatos híbridos. Contudo, a pura e simples aplicação dessa técnica, juntamente com algoritmos atualmente desenvolvidos, freqüentemente não suportam sistemas reais mais complexos. O objetivo do trabalho é, por um lado, buscar novos algoritmos para tratar, basicamente, do problema de alcançabilidade em autômatos híbridos, de forma a produzir resultados com uma melhor aproximação. Por outro lado, pretende-se estender a noção de BDDs e suas operações, de modo a acomodar, dentro desta extensão, a noção de autômatos híbridos. Desta forma, procura-se uma representação mais compacta e eficiente para este formalismo, e que ainda ofereça meios eficazes para se realizar os cálculos de alcançabilidade necessários à validação de modelos especificados usando-se esta nova representação de autômatos híbridos, lineares ou não. Outro objetivo deste trabalho' diz respeito à implementação de uma ferramenta automática que incorpore os novos algoritmos e técnicas de representação, e que ofereçam potencial para verificação e validação de sistemas reais mais complexos. Candidatos S aplicação destas novas técnicas seriam sistemas de controle aéreo, metroviário, e sistemas complexos autônomos. (AU)

Publicações acadêmicas

(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)

BONIFÁCIO, Adilson Luiz. Geração de conjuntos de teste para sistemas reativos, de tempo-real, e com transformações de contexto. 2009. Tese de Doutorado - Universidade Estadual de Campinas (UNICAMP). Instituto de Computação Campinas, SP.