Logo do repositório
 
Publicação

Improving Synchronous Dataflow Analysis Supported by Petri Net Mappings

2018-12-18Artigo científico Acesso aberto
Ver registo simples
dc.contributor.authorRocha, José Inácio
dc.contributor.authorDias, Octávio Páscoa
dc.contributor.authorGomes, Luís
dc.contributor.institutionUNINOVA-Instituto de Desenvolvimento de Novas Tecnologias
dc.contributor.institutionCTS - Centro de Tecnologia e Sistemas
dc.contributor.institutionDEE2010-C1 Sistemas Digitais e Percepcionais
dc.contributor.institutionDEE - Departamento de Engenharia Electrotécnica e de Computadores
dc.contributor.pblMDPI - Multidisciplinary Digital Publishing Institute
dc.date.accessioned2022-12-16T22:06:46Z
dc.date.available2022-12-16T22:06:46Z
dc.date.issued2018-12-18
dc.descriptionThe APC was funded by UNINOVA, Campus de Caparica, Caparica, 2829-516 Almada, Portugal.
dc.description.abstractWhereas most of the work that analyses Synchronous Dataflow (SDF) stays in the dataflow framework, this work pushes its analysis into another framework level, thereby addressing issues that are not well addressed or are even unexplored in SDF. In this manner, the paper proposes a model-driven engineering (MDE) method, combining Synchronous Dataflow (SDF) and Petri nets, to highlight and reinforce their interoperability in digital signal processing applications, cyber-physical systems, or industrial applications. Improvements regarding the settlement and exploitation of the initial conditions associated with SDF are demonstrated; this issue is crucial for every cyber-physical system, since a system’s initial conditions are crucial to ensuring the system’s liveness. The improvements outlined in this work exploit an innovating mapping in the Place/Transition (P/T) Petri net domain that is intended to reduce and predict the total amount of initial data in SDF channels. The relevance of the firing semantics engaged with the equivalent Petri net model is discussed. This paper proposes a new approach to estimate whether an SDF has a static schedule by performing simulation and property verification of the equivalent-based P/T Petri net system achieved, framed by a Petri net invariant analysis and based on the stubborn set method of Petri nets. In this way, this new approach will allow mitigating the state explosion problem. Finally, a strategy is applied to two case studies to discover all the elementary circuits (static schedules) associated with the generated model’s state-space.en
dc.description.versionpublishersversion
dc.description.versionpublished
dc.format.extent18
dc.format.extent638691
dc.identifier.doi10.3390/electronics7120448
dc.identifier.issn2079-9292
dc.identifier.otherPURE: 11822291
dc.identifier.otherPURE UUID: 9d6acb5a-d7f4-4fd6-9712-35db39f8e910
dc.identifier.otherWOS: 000455067800107
dc.identifier.otherScopus: 85064988294
dc.identifier.urihttp://hdl.handle.net/10362/146310
dc.language.isoeng
dc.peerreviewedyes
dc.subjectsynchronous dataflow
dc.subjectPetri net
dc.subjectdigital signal processing computation
dc.subjectplace and transition invariant
dc.subjectmulti-rate dataflow
dc.titleImproving Synchronous Dataflow Analysis Supported by Petri Net Mappingsen
dc.typejournal article
degois.publication.issue12
degois.publication.titleElectronics (Switzerland)
degois.publication.volume7
dspace.entity.typePublication
rcaap.rightsopenAccess

Ficheiros

Principais
A mostrar 1 - 1 de 1
Miniatura
Nome:
Improving_Synchronous_Dataflow_Analysis.pdf
Tamanho:
623.72 KB
Formato:
Adobe Portable Document Format
Ver/Abrir

Coleções

FCT: DEE - Artigos em revista internacional com arbitragem científica