IOPT-tools-Towards cloud design automation of digital controllers with Petri nets

Fernando Pereira, Filipe Moutinho, Luis Gomes

Research output: Chapter in Book/Report/Conference proceedingConference contribution

22 Citations (Scopus)

Abstract

This paper describes the IOPT-Tools cloud-based tool-chain, offering a complete set of Petri net tools with a Web interface supporting digital controllers development. The tools include an interactive graphical Petri net editor, a model-checking subsystem composed of a state-space generator, state-space visualization and a query system, and automatic code generation tools that produce software 'C' code or VHDL hardware descriptions ready to be deployed into implementation platforms. All interactive tools are executed directly in the user's Web Browser using AJAX principles, but file-storage and intensive processing operations are processed in the cloud. For example, state-space computation and the storage of the resulting data is performed in dedicated fast servers, minimizing network traffic and enabling the use of lightweight terminal equipment to access the tools, as simple as smart-phones or tablet computers. The tools are available on-line at http://gres.uninova.pt.

Original languageEnglish
Title of host publicationProceedings - 2014 International Conference on Mechatronics and Control, ICMC 2014
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages2414-2419
Number of pages6
ISBN (Electronic)978-1-4799-2538-4
DOIs
Publication statusPublished - 31 Aug 2015
EventInternational Conference on Mechatronics and Control, ICMC 2014 - Jinzhou, China
Duration: 3 Jul 20145 Jul 2014

Conference

ConferenceInternational Conference on Mechatronics and Control, ICMC 2014
CountryChina
CityJinzhou
Period3/07/145/07/14

Keywords

  • Browsers
  • Computational modeling
  • Generators
  • Hardware
  • Petri nets
  • Servers
  • Software

Fingerprint Dive into the research topics of 'IOPT-tools-Towards cloud design automation of digital controllers with Petri nets'. Together they form a unique fingerprint.

Cite this