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 proceedingConference contribution

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 languageEnglish
Title of host publicationProceedings of the IECON 2016 - 42nd Annual Conference of the Industrial Electronics Society
PublisherIEEE Computer Society
Pages1043-1048
Number of pages6
ISBN (Electronic)9781509034741
DOIs
Publication statusPublished - 2016
Event42nd Conference of the Industrial Electronics Society, IECON 2016 - Florence, Italy
Duration: 24 Oct 201627 Oct 2016

Conference

Conference42nd Conference of the Industrial Electronics Society, IECON 2016
CountryItaly
CityFlorence
Period24/10/1627/10/16

Keywords

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

Fingerprint Dive into the research topics of 'Semi-formal method design using synchronous dataflows and Petri nets'. Together they form a unique fingerprint.

  • Cite this

    Rocha, J. I., Dias, O. P., & 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 (pp. 1043-1048). [7793262] IEEE Computer Society. https://doi.org/10.1109/IECON.2016.7793262