Publicação
Developing Globally-Asynchronous Locally- Synchronous Systems through the IOPT-Flow Framework
| Resumo: | Throughout the years, synchronous circuits have increased in size and com-plexity, consequently, distributing a global clock signal has become a laborious task. Globally-Asynchronous Locally-Synchronous (GALS) systems emerge as a possible solution; however, these new systems require new tools. The DS-Pnet language formalism and the IOPT-Flow framework aim to support and accelerate the development of cyber-physical systems. To do so it offers a tool chain that comprises a graphical editor, a simulator and code gener-ation tools capable of generating C, JavaScript and VHDL code. However, DS-Pnets and IOPT-Flow are not yet tuned to handle GALS systems, allowing for partial specification, but not a complete one. This dissertation proposes extensions to the DS-Pnet language and the IOPT-Flow framework in order to allow development of GALS systems. Addi-tionally, some asynchronous components were created, these form interfaces that allow synchronous blocks within a GALS system to communicate with each other. |
|---|---|
| Autores principais: | Almeida, João Gonçalves de |
| Assunto: | DS-Pnets OPT-Flow GALS Asynchronous components model-based development |
| Ano: | 2019 |
| País: | Portugal |
| Tipo de documento: | dissertação de mestrado |
| Tipo de acesso: | acesso aberto |
| Instituição associada: | Universidade Nova de Lisboa |
| Idioma: | inglês |
| Origem: | Repositório Institucional da UNL |
Registos relacionados
school FPGA in image processing supported by IOPT-Flow
por: Carrasqueira, Tiago Miguel Saraiva
Publicado em: (2019)
por: Carrasqueira, Tiago Miguel Saraiva
Publicado em: (2019)
groups The influence of asynchronous dynamics in the spatial prisioner's dilemma game
por: Grilo, Carlos Fernando Almeida
Publicado em: (2008)
por: Grilo, Carlos Fernando Almeida
Publicado em: (2008)
groups Asynchronous stochastic dynamics and the spatial prisioner's dilemma game
por: Grilo, Carlos Fernando Almeida
Publicado em: (2007)
por: Grilo, Carlos Fernando Almeida
Publicado em: (2007)
article Effects of asynchronism on evolutionary games
por: Grilo, Carlos Fernando Almeida
Publicado em: (2011)
por: Grilo, Carlos Fernando Almeida
Publicado em: (2011)
assignment Atomic Broadcast and Quorum-based Replication in Asynchronous Crash-Recovery Distributed Systems
por: Rodrigues, Luís
Publicado em: (1999)
por: Rodrigues, Luís
Publicado em: (1999)
school Levantamento de necessidades de formação : proposta de um procedimento num Instituto da Administração Pública Portuguesa
por: Baiona, Cláudia Maria Guerreiro
Publicado em: (2012)
por: Baiona, Cláudia Maria Guerreiro
Publicado em: (2012)
school Petri nets based components within globally asynchronous locally synchronous systems
por: Ferreira, Henrique Afonso
Publicado em: (2010)
por: Ferreira, Henrique Afonso
Publicado em: (2010)
school Estudo de soluções de otimização para edifícios de balanço energético nulo
por: Ferreira, Ana Rute Carvalho dos Santos
Publicado em: (2012)
por: Ferreira, Ana Rute Carvalho dos Santos
Publicado em: (2012)
groups Synchronous and asynchronous sequential symbol synchronizers
por: Reis, A. D.
Publicado em: (2008)
por: Reis, A. D.
Publicado em: (2008)
groups High performance position control of permanent magnet synchronous drives
por: Pesántez, António
Publicado em: (2018)
por: Pesántez, António
Publicado em: (2018)
groups Update dynamics, strategy exchanges and the evolution of cooperation in the snowdrift game
por: Grilo, Carlos Fernando Almeida
Publicado em: (2009)
por: Grilo, Carlos Fernando Almeida
Publicado em: (2009)
article Boolean dynamics revisited through feedback interconnections
por: Chaves, Madalena
Publicado em: (2020)
por: Chaves, Madalena
Publicado em: (2020)
school High performance position control for permanent magnet synchronous drives
por: Palacios, Aurelio Antonio Pesántez
Publicado em: (2017)
por: Palacios, Aurelio Antonio Pesántez
Publicado em: (2017)
school Relatório de Estágio Curricular – Desigual – Arquitectura de Interiores, Lda.
por: Teixeira, Liliana
Publicado em: (2011)
por: Teixeira, Liliana
Publicado em: (2011)
category Entre Nós: entrevista a Lena Gal
por: Universidade Aberta
Publicado em: (2006)
por: Universidade Aberta
Publicado em: (2006)
article Improved dsRNA isolation and purification method validated by viral dsRNA detection using novel primers in Saccharomyces cerevisiae
por: Cardoso, Fernando M.H.
Publicado em: (2023)
por: Cardoso, Fernando M.H.
Publicado em: (2023)
article The influence of the update dynamics on the evolution of cooperation
por: Grilo, Carlos Fernando Almeida
Publicado em: (2009)
por: Grilo, Carlos Fernando Almeida
Publicado em: (2009)
groups Frequency domain equalizer for multirate UMTS-TDD systems
por: Gonçalves, Luís
Publicado em: (2003)
por: Gonçalves, Luís
Publicado em: (2003)
groups Frequency shift based multiple access interference canceller for multirate UMTS-TDD systems
por: Gonçalves, Luís
Publicado em: (2002)
por: Gonçalves, Luís
Publicado em: (2002)
article Play it again: how game-based learning improves flow in accounting and marketing education
por: Rodrigues, Ricardo Gouveia
Publicado em: (2019)
por: Rodrigues, Ricardo Gouveia
Publicado em: (2019)
school GAL-3 inhibitors as radiosensitizers for prostate cancer
por: Rodrigues, Renato Manuel da Silva
Publicado em: (2025)
por: Rodrigues, Renato Manuel da Silva
Publicado em: (2025)
article Integrated platform resorting to ionic liquids comprising the extraction, purification and preservation of DNA
por: Dinis, Teresa B. V.
Publicado em: (2023)
por: Dinis, Teresa B. V.
Publicado em: (2023)
rate_review An integrative view on glucagon function and putative role in the progression of pancreatic neuroendocrine tumours (pNETs) and hepatocellular carcinomas (HCC)
por: Ferreira, Bárbara
Publicado em: (2023)
por: Ferreira, Bárbara
Publicado em: (2023)
article Reproductive traits of the European catfish, Silurus glanis, during the early stages of invasion
por: Gkenas, C.
Publicado em: (2025)
por: Gkenas, C.
Publicado em: (2025)
article Real-Time EEG Signal Analysis for Microsleep Detection
por: Hasan, Md Mahmudul
Publicado em: (2025)
por: Hasan, Md Mahmudul
Publicado em: (2025)
school Utilidade do score cha2ds2-vasc na predição de recorrência de fibrilhação auricular após ablação por cateter
por: Mata, Ana Catarina Vagos Gomes Rodrigues da
Publicado em: (2015)
por: Mata, Ana Catarina Vagos Gomes Rodrigues da
Publicado em: (2015)
draft The networks of inter-industry flows in a SAM framework
por: Santos, Susana
Publicado em: (2018)
por: Santos, Susana
Publicado em: (2018)
article Hyperbolicity through stable shadowing for generic geodesic flows
por: Bessa, Mário
Publicado em: (2020)
por: Bessa, Mário
Publicado em: (2020)
article Quality-assurance of heat-flow data: The new structure and evaluation scheme of the IHFC Global Heat Flow Database
por: Fuchs, Sven
Publicado em: (2023)
por: Fuchs, Sven
Publicado em: (2023)
article Global transpiration data from sap flow measurements: the SAPFLUXNET database
por: Poyatos, Rafael
Publicado em: (2021)
por: Poyatos, Rafael
Publicado em: (2021)
article Negeviruses found in multiple species of mosquitoes from southern Portugal: Isolation, genetic diversity, and replication in insect cell culture
por: Carapeta, Sara
Publicado em: (2015)
por: Carapeta, Sara
Publicado em: (2015)
article Update in tuberculosis treatment: a scoping review of current practices
por: Lopes, Sofia R.
Publicado em: (2025)
por: Lopes, Sofia R.
Publicado em: (2025)
groups Prefilter bandwidth effects in asynchronous sequential symbol synchronizers based on pulse comparison
por: Gameiro, Atílio
Publicado em: (2012)
por: Gameiro, Atílio
Publicado em: (2012)
school Effects of different Buffy Coat processing on monocyte function
por: Rodrigues, Inês Martins Mondragão
Publicado em: (2021)
por: Rodrigues, Inês Martins Mondragão
Publicado em: (2021)
article A normal form theorem for Brjuno skew systems through renormalization
por: Dias, João Lopes
Publicado em: (2006)
por: Dias, João Lopes
Publicado em: (2006)
article Cation export by overland flow in a recently burnt forest area in north-central Portugal
por: Machado, A. I.
Publicado em: (2015)
por: Machado, A. I.
Publicado em: (2015)
article Towards effective e-learning on sustainability: a case study-course on participatory processes in environmental politics
por: Perbandt, Daniela
Publicado em: (2021)
por: Perbandt, Daniela
Publicado em: (2021)
article Improvement on the yield of polyhydroxyalkanotes production from cheese whey by a recombinant Escherichia coli strain using the proton suicide methodology
por: Pais, Joana
Publicado em: (2014)
por: Pais, Joana
Publicado em: (2014)
school Deciphering the structural features of glycan-lectin interactions in the immune system
por: Lima, Carlos David Lourenço
Publicado em: (2021)
por: Lima, Carlos David Lourenço
Publicado em: (2021)
groups Exploring the use of Facebook in the classroom: the case of a workshop on the history of cinema in Mozambique
por: Manhiça, Diana
Publicado em: (2019)
por: Manhiça, Diana
Publicado em: (2019)
Registos relacionados
-
school FPGA in image processing supported by IOPT-Flow
por: Carrasqueira, Tiago Miguel Saraiva
Publicado em: (2019) -
groups The influence of asynchronous dynamics in the spatial prisioner's dilemma game
por: Grilo, Carlos Fernando Almeida
Publicado em: (2008) -
groups Asynchronous stochastic dynamics and the spatial prisioner's dilemma game
por: Grilo, Carlos Fernando Almeida
Publicado em: (2007) -
article Effects of asynchronism on evolutionary games
por: Grilo, Carlos Fernando Almeida
Publicado em: (2011) -
assignment Atomic Broadcast and Quorum-based Replication in Asynchronous Crash-Recovery Distributed Systems
por: Rodrigues, Luís
Publicado em: (1999)