Next Article in Journal
Soft Switching DC Converter for Medium Voltage Applications
Previous Article in Journal
Using a Current Controlled Light-Dependent Resistor to Bridge the Control of DC/DC Power Converter
Article Menu
Issue 12 (December) cover image

Export Article

Open AccessArticle
Electronics 2018, 7(12), 448; https://doi.org/10.3390/electronics7120448

Improving Synchronous Dataflow Analysis Supported by Petri Net Mappings

1
Escola Superior de Tecnologia de Setúbal, Instituto Politécnico de Setúbal, Campus do IPS, 2914-761 Estefanilha, Portugal
2
Center of Technology and Systems, UNINOVA-CTS, FCT Campus, 2829-516 Caparica, Portugal
3
Lusíada University of Lisbon, Rua da Junqueira, 188-198, 1349-001 Lisboa, Portugal
4
Faculty of Science and Technology (FCT NOVA), Campus Caparica, 2829-516 Caparica, Portugal
*
Author to whom correspondence should be addressed.
Received: 23 November 2018 / Revised: 10 December 2018 / Accepted: 11 December 2018 / Published: 18 December 2018
(This article belongs to the Section Computer Science & Engineering)
Full-Text   |   PDF [624 KB, uploaded 18 December 2018]   |  
  |   Review Reports

Abstract

Whereas 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. View Full-Text
Keywords: synchronous dataflow; Petri net; digital signal processing computation; place and transition invariant; multi-rate dataflow synchronous dataflow; Petri net; digital signal processing computation; place and transition invariant; multi-rate dataflow
Figures

Figure 1

This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited (CC BY 4.0).
SciFeed

Share & Cite This Article

MDPI and ACS Style

Rocha, J.-I.; Páscoa Dias, O.; Gomes, L. Improving Synchronous Dataflow Analysis Supported by Petri Net Mappings. Electronics 2018, 7, 448.

Show more citation formats Show less citations formats

Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Related Articles

Article Metrics

Article Access Statistics

1

Comments

[Return to top]
Electronics EISSN 2079-9292 Published by MDPI AG, Basel, Switzerland RSS E-Mail Table of Contents Alert
Back to Top