Uma abordagem para a modelagem de sistemas digitais

• Processo: 99/04321-7
• Modalidade de apoio: Bolsas no Brasil - Doutorado
• Data de Início da vigência: 01 de janeiro de 2000
• Data de Término da vigência: 31 de dezembro de 2003
• Área de conhecimento: Engenharias - Engenharia Elétrica - Circuitos Elétricos, Magnéticos e Eletrônicos
• Pesquisador responsável: Norian Marranghello
• Beneficiário: Wagner Luiz Alves de Oliveira
• Instituição Sede: Faculdade de Engenharia Elétrica e de Computação (FEEC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Palavra(s)-Chave do Pesquisador: Analise | Modelagem | Redes De Petri | Simulacao | Sintese | Sistemas Digitais

Resumo

Atualmente, dentro da área de projeto de sistemas digitais, busca-se a utilização de linguagens para a especificação e síntese em alto-nível. Tal exigência vai ao encontro da necessidade de se representar sistemas cada vez mais complexos e de aumentar o grau de automatização do projeto dos mesmos. Utilizadas como linguagens de modelagem de sistemas computacionais de alto e baixo nível, encontram-se as redes de Petri e suas extensões. Embora apresentem características potenciais para a representação de sistemas digitais, as extensões de redes de Petri formalmente definidas para esta finalidade não apresentam os requisitos necessários em sua totalidade. O objetivo deste trabalho é desenvolver uma metodologia para a modelagem, simulação e análise de sistemas digitais em alto-nível. A princípio, deseja-se que tal metodologia seja baseada em redes de Petri. (AU)

Publicações acadêmicas

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

OLIVEIRA, Wagner Luiz Alves de. Uma abordagem para a modelagem de sistemas digitais. 2003. Tese de Doutorado - Universidade Estadual de Campinas (UNICAMP). Faculdade de Engenharia Elétrica e de Computação Campinas, SP.