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

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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 languageUnknown
Title of host publicationJornadas sobre Sistemas Reconfiguráveis
Pages00
Publication statusPublished - 1 Jan 2012
EventREC’2012 – VIII Jornadas sobre Sistemas Reconfiguráveis -
Duration: 1 Jan 2012 → …

Conference

ConferenceREC’2012 – VIII Jornadas sobre Sistemas Reconfiguráveis
Period1/01/12 → …

Cite this