SCExamine : um mercanismo para introspecção de Sistemas em SystemC

Detalhes bibliográficos
Ano de defesa: 2006
Autor(a) principal: Rocha de Almeida Neto, Humberto
Orientador(a): Natividade da Silva Barros, Edna
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Federal de Pernambuco
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://repositorio.ufpe.br/handle/123456789/2607
Resumo: No competitivo mercado de sistemas digitais dedicados, a crescente demanda por produtos com funcionalidades cada vez mais complexas tem tornado o projeto de tais sistemas um grande desafio. Neste cenário, torna-se necessária à construção de modelos virtuais de sistemas, em diferentes níveis de abstração, a fim de permitir a exploração do espaço de projeto e a validação funcional dos mesmos, antes de implementações em plataformas alvo. SystemC é uma biblioteca de classes C++ que permite a modelagem e simulação de tais modelos e que tem conquistado espaço diante de gigantes do mercado. Ferramentas de desenvolvimento de sistemas tradicionalmente necessitam de mecanismos de introspecção para oferecer serviços de apoio. Introspecção é o ato de extrair informações a respeito de um dado programa ou componente de software. Contextos típicos que podem demonstrar a relevância da extração destas informações são os ambientes de composição de sistemas de apoio ao paradigma de projetos baseados em plataforma. Estes ambientes necessitam extrair informações estruturais e comportamentais de comunicação e sincronização, tanto da própria aplicação quanto da especificação da plataforma. As informações extraídas são de extrema utilidade para apoiar projestistas nas atividades de mapeamento entre os componentes do sistema. O projeto aqui proposto destinou-se ao desenvolvimento de técnicas para identificação de elementos estruturais e comportamentais a partir de sistemas especificados em SystemC. Uma vez identificados, estes elementos puderam então ter suas informações extraídas e disponibilizadas. Esta pesquisa resultou na construção de um mecanismo intitulado SCExamine que tem o objetivo de implementar as técnicas de introspecção propostas neste trabalho. O mecanismo de introspecção foi aplicado em vários modelos de sistemas, dentre eles o modelo de uma CPU RISC atualmente distribuída na biblioteca SystemC padrão. As informações extraídas são disponibilizadas por meio de arquivos XML que podem ser facilmente utilizadas por outras ferramentas de apoio ao desenvolvimento de sistemas. A obtenção de tais informações de maneira automatizada proporciona um aumento significativo na produtividade de projetistas que utilizam SystemC como linguagem de especificação de sistemas