IOPT-Tools: From Executable Models to Automatic Code Generation for Embedded Controllers Development

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Citation (Scopus)

Abstract

This paper describes the IOPT-Tools cloud-based tool-chain, offering a complete set of tools supporting design automation for embedded controller’s development, benefiting from adopting a model-driven development attitude. The tools are freely available online at http://gres.uninova.pt/IOPT-Tools/. The tool-chain relies on IOPT nets (Input-Output Place-Transition nets) to describe the controller behavior, allowing an explicit representation of constraints on input and output signals and events, which is necessary for the development of controllers. The IOPT-Tools tool-chain includes tools for interactive graphical IOPT nets models editing, simulation and test (token-player, timing diagram, remote debugging), as well as a state-space generator, state-space visualization, and a query system for properties verification. The tool-chain also supports the automatic generation of execution code to be directly deployed in the controllers’ implementation platforms, such as FPGA boards, as well as Arduino, Raspberry, and other Linux-based boards. Most notably, it is possible to obtain C code and VHDL code to be directly deployed into the referred boards without writing/changing a line in the generated code. The tool-chain uses the PNML format for storing the models and can import PNML models generated by other frameworks, automatically generating, if necessary, an associated graphical representation. After, it is possible to add input and output signals and events to create controller models. IOPT-Tools also supports net operations, namely net addition, allowing composition of sub-models, and net splitting, which in conjunction with the use of clock domains and dedicated communication channels support the development of distributed controllers.

Original languageEnglish
Title of host publicationApplication and Theory of Petri Nets and Concurrency
Subtitle of host publication43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings
EditorsLuca Bernardinello, Laure Petrucci
Place of PublicationCham
PublisherSpringer
Pages127-138
Number of pages12
ISBN (Electronic)978-3-031-06653-5
ISBN (Print)978-3-031-06652-8
DOIs
Publication statusPublished - 13 Jun 2022
Event43rd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2022 - Bergen, Norway
Duration: 19 Jun 202224 Jun 2022

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer
Volume13288
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference43rd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2022
Country/TerritoryNorway
CityBergen
Period19/06/2224/06/22

Keywords

  • Code Generation
  • Design Automation
  • Embedded controllers
  • Petri nets

Fingerprint

Dive into the research topics of 'IOPT-Tools: From Executable Models to Automatic Code Generation for Embedded Controllers Development'. Together they form a unique fingerprint.

Cite this