Comunicações intra- e inter-circuito de componentes especificados com Redes de Petri

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Este trabalho tem como objectivo a apresentação de uma solução que possa vir a ser obtida através da geração automática de código para a interligação de componentes resultantes da partição de um modelo expresso em Redes de Petri – RdP – em diferentes plataformas. A interligação proposta recorre a uma solução Network-on-Chip – NoC – com suporte a comunicações intra- e inter-circuito, baseada no protocolo RS-232 (embora possa funcionar a ritmos de transmissão mais elevados). O resultado obtido foi validado através da implementação em plataformas reconfiguráveis da Xilinx, FPGA Spartan3 e Virtex-II, e em microcontroladores de baixo custo, PIC 18F4620 da Microchip. Considerando uma topologia em anel e utilizando o protocolo série RS-232 (não só suportado pela generalidade dos microcontroladores como por qualquer dispositivo externo que o suporte) serão introduzidas as regras e considerações necessárias para que seja possível gerar este tipo de soluções. Finalmente, serão mostrados dois exemplos onde, através de um modelo inicial expresso em redes de Petri, posteriormente decomposto em vários submodelos, se apresentará o fluxo de desenvolvimento e o modo de aplicação das regras.