Uma abordagem para a modelagem de sistemas digitais
| Ano de defesa: | 2003 |
|---|---|
| Autor(a) principal: | |
| Orientador(a): | |
| Banca de defesa: | |
| Tipo de documento: | Tese |
| Tipo de acesso: | Acesso aberto |
| Idioma: | por |
| Instituição de defesa: |
[s.n.]
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: | |
| Link de acesso: | https://hdl.handle.net/20.500.12733/1598271 |
Resumo: | Orientadores: Norian Marranghello |
| id |
UNICAMP-30_a3845bca2e5f54e80cd9da2f5354c0c4 |
|---|---|
| oai_identifier_str |
oai::322205 |
| network_acronym_str |
UNICAMP-30 |
| network_name_str |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
| repository_id_str |
|
| spelling |
Uma abordagem para a modelagem de sistemas digitaisRedes de PetriSimulação (Computadores)Sistemas embarcados (Computadores)Hardware - Linguagens descritivasPetri NetsDigital Embedded SystemsDigital SystemsHardware / Software CodesignOrientadores: Norian MarranghelloTese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de ComputaçãoResumo: 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 embutidosAbstract: Digital system design has reached a high degree of complexity that prevents its realization without CAD tools. The starting point of such tools consists on a conceptual view of the intended system (given by one or more conceptual models), which is captured for computational handling by one or more specification languages. Several of such languages were developed aiming to capture as many hardware and software characteristics as possible, according to different design methodologies. Petri net is a class of conceptual models for parallel system modeling. Some Petri net extensions have been proposed aiming at describing digital systems characteristics as accurately as possible. However, only two of them have nearly all features needed to describe such systems in full. This work presents a Petri net extension developed to overcome the restrictions for digital system modeling through Petri net extensions. A hardware/software codesign methodology in which the proposed extension can be used as the internal modeling language is presented as well. Such a framework aims embedded digital system description, simulation, analysis, validation, and high-level synthesisDoutoradoEletrônica, Microeletrônica e OptoeletrônicaDoutor em Engenharia Elétrica[s.n.]Marranghello, Norian, 1957-Damiani, Furio, 1943-2016Yamakami, AkeboSilva, Alexandre Cesar Rodrigues daTokarnia, Alice Maria Bastos HubingerOliveira, José Raimundo deChau, Wang JiangUniversidade Estadual de Campinas (UNICAMP). Faculdade de Engenharia Elétrica e de ComputaçãoPrograma de Pós-Graduação em Engenharia ElétricaUNIVERSIDADE ESTADUAL DE CAMPINASOliveira, Wagner Luiz Alves de20042003-12-18T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdf432p. : il.(Broch.)https://hdl.handle.net/20.500.12733/1598271OLIVEIRA, Wagner Luiz Alves de. Uma abordagem para a modelagem de sistemas digitais. 2004. 432p. Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1598271. Acesso em: 27 fev. 2025.https://repositorio.unicamp.br/acervo/detalhe/322205porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2017-02-18T04:00:31Zoai::322205Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2017-02-18T04:00:31Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false |
| dc.title.none.fl_str_mv |
Uma abordagem para a modelagem de sistemas digitais |
| title |
Uma abordagem para a modelagem de sistemas digitais |
| spellingShingle |
Uma abordagem para a modelagem de sistemas digitais Oliveira, Wagner Luiz Alves de Redes de Petri Simulação (Computadores) Sistemas embarcados (Computadores) Hardware - Linguagens descritivas Petri Nets Digital Embedded Systems Digital Systems Hardware / Software Codesign |
| title_short |
Uma abordagem para a modelagem de sistemas digitais |
| title_full |
Uma abordagem para a modelagem de sistemas digitais |
| title_fullStr |
Uma abordagem para a modelagem de sistemas digitais |
| title_full_unstemmed |
Uma abordagem para a modelagem de sistemas digitais |
| title_sort |
Uma abordagem para a modelagem de sistemas digitais |
| author |
Oliveira, Wagner Luiz Alves de |
| author_facet |
Oliveira, Wagner Luiz Alves de |
| author_role |
author |
| dc.contributor.none.fl_str_mv |
Marranghello, Norian, 1957- Damiani, Furio, 1943-2016 Yamakami, Akebo Silva, Alexandre Cesar Rodrigues da Tokarnia, Alice Maria Bastos Hubinger Oliveira, José Raimundo de Chau, Wang Jiang Universidade Estadual de Campinas (UNICAMP). Faculdade de Engenharia Elétrica e de Computação Programa de Pós-Graduação em Engenharia Elétrica UNIVERSIDADE ESTADUAL DE CAMPINAS |
| dc.contributor.author.fl_str_mv |
Oliveira, Wagner Luiz Alves de |
| dc.subject.por.fl_str_mv |
Redes de Petri Simulação (Computadores) Sistemas embarcados (Computadores) Hardware - Linguagens descritivas Petri Nets Digital Embedded Systems Digital Systems Hardware / Software Codesign |
| topic |
Redes de Petri Simulação (Computadores) Sistemas embarcados (Computadores) Hardware - Linguagens descritivas Petri Nets Digital Embedded Systems Digital Systems Hardware / Software Codesign |
| description |
Orientadores: Norian Marranghello |
| publishDate |
2003 |
| dc.date.none.fl_str_mv |
2003-12-18T00:00:00Z 2004 |
| dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
| dc.type.driver.fl_str_mv |
info:eu-repo/semantics/doctoralThesis |
| format |
doctoralThesis |
| status_str |
publishedVersion |
| dc.identifier.uri.fl_str_mv |
(Broch.) https://hdl.handle.net/20.500.12733/1598271 OLIVEIRA, Wagner Luiz Alves de. Uma abordagem para a modelagem de sistemas digitais. 2004. 432p. Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1598271. Acesso em: 27 fev. 2025. |
| identifier_str_mv |
(Broch.) OLIVEIRA, Wagner Luiz Alves de. Uma abordagem para a modelagem de sistemas digitais. 2004. 432p. Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1598271. Acesso em: 27 fev. 2025. |
| url |
https://hdl.handle.net/20.500.12733/1598271 |
| dc.language.iso.fl_str_mv |
por |
| language |
por |
| dc.relation.none.fl_str_mv |
https://repositorio.unicamp.br/acervo/detalhe/322205 |
| dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
| eu_rights_str_mv |
openAccess |
| dc.format.none.fl_str_mv |
application/pdf 432p. : il. |
| dc.publisher.none.fl_str_mv |
[s.n.] |
| publisher.none.fl_str_mv |
[s.n.] |
| dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) instname:Universidade Estadual de Campinas (UNICAMP) instacron:UNICAMP |
| instname_str |
Universidade Estadual de Campinas (UNICAMP) |
| instacron_str |
UNICAMP |
| institution |
UNICAMP |
| reponame_str |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
| collection |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
| repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP) |
| repository.mail.fl_str_mv |
sbubd@unicamp.br |
| _version_ |
1829137447288569856 |