Um estudo sobre a utilização de modelos computacionais para a representação de sistemas digitais

• Processo: 00/12146-0
• Modalidade de apoio: Bolsas no Brasil - Doutorado
• Data de Início da vigência: 01 de fevereiro de 2001
• Data de Término da vigência: 31 de janeiro de 2005
• Área de conhecimento: Engenharias - Engenharia Elétrica - Circuitos Elétricos, Magnéticos e Eletrônicos
• Pesquisador responsável: Marius Strum
• Beneficiário: Ivan Jeukens
• Instituição Sede: Escola Politécnica (EP). Universidade de São Paulo (USP). São Paulo , SP, Brasil

Resumo

Este trabalho consiste em desenvolver um conjunto de critérios/técnicas/ferramentas de CAD que auxiliem um projetista em sua tarefa de capturar a especificação de um sistema eletrônico numa linguagem formal para utilizá-la 1) como base para a validação do comportamento, e 2) como base para a síntese de sua arquitetura. Toda linguagem fundamenta-se em um ou num conjunto de modelos computacionais (MoC) que definem a interpretação semântica dos comandos desta linguagem. Desta forma o comportamento do sistema fica limitado à capacidade de representação da linguagem adotada, o que pode levar a uma descrição inicial ineficiente, caso o(s) MoC(s) inferidos pela linguagem não sejam os mais adequados para expressar aquele comportamento (ou parte dele). A fim de lidar com a complexidade deste problema introduzimos em nosso trabalho de mestrado um novo conceito denominado primitiva comportamental, caracterizado como um tipo de comportamento elementar presente em uma grande variedade de sistemas reais. A combinação destas primitivas comportamentais correspondem ao comportamento global do sistema (em analogia com 0 conceito de base de um sistema matemático). O resultado deste trabalho deverá fornecer uma estratégia para um projetista identificar as primitivas que compõem o comportamento de seu sistema e, com base nisto, auxiliá-lo a escolher um (ou um conjunto) de MoCs (e portanto linguagens) que melhor representem seu comportamento. (AU)