Texto completo
| |
| Autor(es): |
Wagner Luiz Alves de Oliveira
Número total de Autores: 1
|
| Tipo de documento: | Tese de Doutorado |
| Imprenta: | Campinas, SP. |
| Instituição: | Universidade Estadual de Campinas (UNICAMP). Faculdade de Engenharia Elétrica e de Computação |
| Data de defesa: | 2003-12-18 |
| Membros da banca: |
Norian Marranghello;
Akebo Yamakami;
Alexandre Cesar Rodrigues da Silva;
Alice Maria Bastos Hubinger Tokarnia;
José Raimundo de Oliveira;
Wang Jiang Chau
|
| Orientador: | Norian Marranghello; Furio Damiani |
| Resumo | |
O projeto de sistemas digitais alcançou um elevado grau de complexidade, inviabilizando sua consecução sem o uso de ferramentas de CAD. O ponto de partida de tais ferramentas consiste numa visão conceitual do sistema pretendido (dada por um ou mais modelos conceituais), a qual é capturada para tratamento computacional por uma ou mais linguagens de especificação. Várias dessas linguagens foram desenvolvidas visando capturar tantas características de hardware e de software quanto possível, de acordo com diferentes metodologias de projeto. Rede de Petri é uma classe de modelos conceituais utilizada na modelagem de diversos tipos de sistemas computacionais paralelos. Algumas extensões de rede de Petri foram propostas visando à descrição, de forma tão acurada quanto possível, de características de sistemas digitais. Entretanto, somente duas destas extensões possuem um número maior de características necessárias à descrição integral de tais sistemas. O presente trabalho apresenta uma extensão de rede de Petri desenvolvida para superar as limitações das demais extensões na representação de sistemas digitais. O trabalho apresenta, também, uma metodologia de coprojeto hardware/software na qual a extensão proposta pode ser usada como linguagem de modelagem interna. Tal plataforma visa a descrição, simulação, análise, validação e síntese em alto nível de sistemas digitais embutidos (AU) | |
| Processo FAPESP: | 99/04321-7 - Uma abordagem para a modelagem de sistemas digitais |
| Beneficiário: | Wagner Luiz Alves de Oliveira |
| Modalidade de apoio: | Bolsas no Brasil - Doutorado |