Abstract
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.
Original language | Unknown |
---|---|
Title of host publication | Jornadas sobre Sistemas Reconfiguráveis |
Pages | 00 |
Publication status | Published - 1 Jan 2012 |
Event | REC’2012 – VIII Jornadas sobre Sistemas Reconfiguráveis - Duration: 1 Jan 2012 → … |
Conference
Conference | REC’2012 – VIII Jornadas sobre Sistemas Reconfiguráveis |
---|---|
Period | 1/01/12 → … |