Configurador de plataformas específicas em co-design de sistemas embutidos

Abstract

A presente dissertação, articula-se com o projecto FORDESIGN -Métodos formais em Co- design de sistemas embutidos, um projecto de investigação e desenvolvimento (I&D) apoiado pela FCT -Fundação para a Ciência e a Tecnologia. No mundo actual, os sistemas embutidos são usados nas mais diversas áreas, executando e controlando as mais variadas tarefas. Assumindo pacificamente funções que no passado exigiram uma grande alocação de recursos, demonstraram-se direccionados para a execução de tarefas que através do seu teor de precisão ou dificuldade de controlo não eram praticáveis. A modelação destes sistemas através de redes de Petri (RdP) apresenta várias vantagens e a existência de processos automáticos desde a modelação dos sistemas à geração e implementação destes, desempenha um papel importante e merece especial atenção. Tendo presente essa ideia, esta dissertação apresenta um conjunto de aplicações destinadas a gerar ficheiros de configuração, para a implementação de sistemas embutidos adequados a plataformas específicas, num contexto de co-design de sistemas embutidos. Uma ferramenta, constituída por duas aplicações desenvolvidas em C# (C Sharp), é apresentada como contribuição visando esse objectivo. A primeira aplicação, PDC_Editor, permite a especificação da configuração dos sistemas, isto é, a forma como os modelos utilizados serão colocados e actuados nas plataformas físicas, através da utilização de modelos RdP representados através de notação PNML (Petri Net Markup Language); a segunda aplicação, PDC_Generator, irá gerar o código dependente de plataforma necessário à implementação física e interligá-lo com a tradução dos modelos RdP em linguagem ANSI C ou VHDL, providenciada por outras ferramentas também desenvolvidas no âmbito do projecto FORDESIGN. Serão apresentados exemplos de aplicação da ferramenta, tomando como plataformas de implementação as FPGA’s (Field Programmable Gate Array) Spartan3 e Virtex II – Pro, bem como o microcontrolador PIC18F4620. De referir que apesar da inserção desta dissertação no projecto FORDESIGN, a sua contribuição revela-se muito mais abrangente, fornecendo uma solução de geração automática de código para plataformas específicas, independentemente de se ter como partida um modelo expresso em RdP.