Dimensionamento da infraestrutura de comunicação em sistemas GALS especificados através de redes de Petri

Neste artigo pretende-se dar um contributo para o desenvolvimento de sistemas embutidos distribuídos (Distributed Embedded Systems - DES), em particular de sistemas globalmente assíncronos localmente síncronos (GALS). Através de uma abordagem de desenvolvimento baseada em modelos, é proposta uma forma de dimensionar a infraestrutura de comunicação entre componentes de um sistema GALS anteriormente especificados através de redes de Petri. A partir da especificação dos diversos componentes, é especificada a interacção entre eles utilizando canais assíncronos, obtendo-se a especificação global do sistema GALS. Por fim, é obtida a informação necessária ao dimensionamento da infraestrutura de comunicação, a partir do espaço de estados, automaticamente gerado a partir do modelo. Um exemplo de um sistema GALS é apresentado, permitindo apresentar a abordagem de desenvolvimento indicada e o dimensionamento da infraestrutura de comunicação, que no exemplo é composta por wrappers assíncronos. O exemplo de aplicação foi implementado numa plataforma hardware baseada em FPGAs.