Semi-formal method design using synchronous dataflows and Petri nets

José Inácio Rocha; Octávio Páscoa Dias; Luís Gomes

doi:10.1109/IECON.2016.7793262

Semi-formal method design using synchronous dataflows and Petri nets

José Inácio Rocha, Octávio Páscoa Dias, Luís Gomes

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

The well established modeling techniques and analysis methods defined in the Petri net framework developed through a half century by the scientific community allows to infer and state reliableness conclusions about other Models of Computation (MoC), as long as one can trace or discover links between them. This type of relationship mappings are crucial to strengthen and enlighten hidden issues normally not addressed in one of the engaged mapping domain. A semi-formal method (S-FM) design encompassing well ordered chain dataflows and Petri nets is presented. Also as a contribution, an extension to the S-FM is given for chain ordered dataflow with feedback actors. By adopting the S-FM strategy the designer will be able to envision the maximum amount of storage resource allocated inside every static scheduling lists, taking a reduced state space generated in Petri net framework. To exemplify the effectiveness and verification methodology of S-FM analysis a signal processing application case study is shown.

Original language	English
Title of host publication	Proceedings of the IECON 2016 - 42nd Annual Conference of the Industrial Electronics Society
Publisher	IEEE Computer Society
Pages	1043-1048
Number of pages	6
ISBN (Electronic)	9781509034741
DOIs	https://doi.org/10.1109/IECON.2016.7793262
Publication status	Published - 2016
Event	42nd Conference of the Industrial Electronics Society, IECON 2016 - Florence, Italy Duration: 24 Oct 2016 → 27 Oct 2016

Conference

Conference	42nd Conference of the Industrial Electronics Society, IECON 2016
Country/Territory	Italy
City	Florence
Period	24/10/16 → 27/10/16

Keywords

MINIMIZING BUFFER REQUIREMENTS
DATA-FLOW GRAPHS
VERIFICATION TECHNIQUES
WAVELET TECHNIQUE
MODEL-CHECKING

Access to Document

10.1109/IECON.2016.7793262Licence: Unspecified

Cite this

@inproceedings{00c22f4c70914e82aec9ad9da6fa0c65,

title = "Semi-formal method design using synchronous dataflows and Petri nets",

abstract = "The well established modeling techniques and analysis methods defined in the Petri net framework developed through a half century by the scientific community allows to infer and state reliableness conclusions about other Models of Computation (MoC), as long as one can trace or discover links between them. This type of relationship mappings are crucial to strengthen and enlighten hidden issues normally not addressed in one of the engaged mapping domain. A semi-formal method (S-FM) design encompassing well ordered chain dataflows and Petri nets is presented. Also as a contribution, an extension to the S-FM is given for chain ordered dataflow with feedback actors. By adopting the S-FM strategy the designer will be able to envision the maximum amount of storage resource allocated inside every static scheduling lists, taking a reduced state space generated in Petri net framework. To exemplify the effectiveness and verification methodology of S-FM analysis a signal processing application case study is shown.",

keywords = "MINIMIZING BUFFER REQUIREMENTS, DATA-FLOW GRAPHS, VERIFICATION TECHNIQUES, WAVELET TECHNIQUE, MODEL-CHECKING",

author = "Rocha, {Jos{\'e} In{\'a}cio} and Dias, {Oct{\'a}vio P{\'a}scoa} and Lu{\'i}s Gomes",

note = "info:eu-repo/grantAgreement/FCT/5876/147324/PT# Sem PDF conforme despacho. ; 42nd Conference of the Industrial Electronics Society, IECON 2016 ; Conference date: 24-10-2016 Through 27-10-2016",

year = "2016",

doi = "10.1109/IECON.2016.7793262",

language = "English",

pages = "1043--1048",

booktitle = "Proceedings of the IECON 2016 - 42nd Annual Conference of the Industrial Electronics Society",

publisher = "IEEE Computer Society",

address = "United States",

}

Rocha, JI, Dias, OP & Gomes, L 2016, Semi-formal method design using synchronous dataflows and Petri nets. in Proceedings of the IECON 2016 - 42nd Annual Conference of the Industrial Electronics Society., 7793262, IEEE Computer Society, pp. 1043-1048, 42nd Conference of the Industrial Electronics Society, IECON 2016, Florence, Italy, 24/10/16. https://doi.org/10.1109/IECON.2016.7793262

Semi-formal method design using synchronous dataflows and Petri nets. / Rocha, José Inácio; Dias, Octávio Páscoa; Gomes, Luís.
Proceedings of the IECON 2016 - 42nd Annual Conference of the Industrial Electronics Society. IEEE Computer Society, 2016. p. 1043-1048 7793262.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Semi-formal method design using synchronous dataflows and Petri nets

AU - Rocha, José Inácio

AU - Dias, Octávio Páscoa

AU - Gomes, Luís

N1 - info:eu-repo/grantAgreement/FCT/5876/147324/PT# Sem PDF conforme despacho.

PY - 2016

Y1 - 2016

N2 - The well established modeling techniques and analysis methods defined in the Petri net framework developed through a half century by the scientific community allows to infer and state reliableness conclusions about other Models of Computation (MoC), as long as one can trace or discover links between them. This type of relationship mappings are crucial to strengthen and enlighten hidden issues normally not addressed in one of the engaged mapping domain. A semi-formal method (S-FM) design encompassing well ordered chain dataflows and Petri nets is presented. Also as a contribution, an extension to the S-FM is given for chain ordered dataflow with feedback actors. By adopting the S-FM strategy the designer will be able to envision the maximum amount of storage resource allocated inside every static scheduling lists, taking a reduced state space generated in Petri net framework. To exemplify the effectiveness and verification methodology of S-FM analysis a signal processing application case study is shown.

AB - The well established modeling techniques and analysis methods defined in the Petri net framework developed through a half century by the scientific community allows to infer and state reliableness conclusions about other Models of Computation (MoC), as long as one can trace or discover links between them. This type of relationship mappings are crucial to strengthen and enlighten hidden issues normally not addressed in one of the engaged mapping domain. A semi-formal method (S-FM) design encompassing well ordered chain dataflows and Petri nets is presented. Also as a contribution, an extension to the S-FM is given for chain ordered dataflow with feedback actors. By adopting the S-FM strategy the designer will be able to envision the maximum amount of storage resource allocated inside every static scheduling lists, taking a reduced state space generated in Petri net framework. To exemplify the effectiveness and verification methodology of S-FM analysis a signal processing application case study is shown.

KW - MINIMIZING BUFFER REQUIREMENTS

KW - DATA-FLOW GRAPHS

KW - VERIFICATION TECHNIQUES

KW - WAVELET TECHNIQUE

KW - MODEL-CHECKING

UR - http://www.scopus.com/inward/record.url?scp=85010030914&partnerID=8YFLogxK

U2 - 10.1109/IECON.2016.7793262

DO - 10.1109/IECON.2016.7793262

M3 - Conference contribution

AN - SCOPUS:85010030914

SP - 1043

EP - 1048

BT - Proceedings of the IECON 2016 - 42nd Annual Conference of the Industrial Electronics Society

PB - IEEE Computer Society

T2 - 42nd Conference of the Industrial Electronics Society, IECON 2016

Y2 - 24 October 2016 through 27 October 2016

ER -

Semi-formal method design using synchronous dataflows and Petri nets

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this