Cloud based IOPT petri net simulator to test and debug embedded system controllers

Fernando Pereira, Luis Gomes

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

4 Citations (Scopus)

Abstract

IOPT-Tools is a cloud based integrated development environment to the design of embedded system controllers and other digital systems, employing the IOPT Petri net modeling formalism. The tools include a graphical editor, a state-space based model-checking subsystem and automatic code generators to deploy the controllers on the target hardware platforms. This paper presents a new Simulator tool that offers the capability to execute embedded system controllers based on IOPT models in a Web browser. To allow the test and debug of embedded system controllers, the Simulator provides options to manipulate the value of input signals, step by step execution, and continuous execution with programmed step frequency and breakpoint definition. Simulation history is recorded, continuously storing information about the entire system state, to enable playback and history navigation. History data can later be exported in spreadsheet format for analysis with external tools and waveform drawing. The tool can be accessed from http://gres.uninova.pt.

Original languageEnglish
Title of host publicationTechnological Innovation for Cloud-Based Engineering Systems - 6th IFIPWG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2015, Proceedings
PublisherSpringer New York LLC
Pages165-175
Number of pages11
Volume450
ISBN (Electronic)9783319167657
DOIs
Publication statusPublished - 2015
Event6th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2015 - Costa de Caparica, Portugal
Duration: 13 Apr 201515 Apr 2015

Publication series

NameIFIP Advances in Information and Communication Technology
Volume450
ISSN (Print)18684238

Conference

Conference6th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2015
CountryPortugal
CityCosta de Caparica
Period13/04/1515/04/15

Keywords

  • Cloud based tools
  • Embedded systems
  • Petri nets

Fingerprint Dive into the research topics of 'Cloud based IOPT petri net simulator to test and debug embedded system controllers'. Together they form a unique fingerprint.

  • Cite this

    Pereira, F., & Gomes, L. (2015). Cloud based IOPT petri net simulator to test and debug embedded system controllers. In Technological Innovation for Cloud-Based Engineering Systems - 6th IFIPWG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2015, Proceedings (Vol. 450, pp. 165-175). (IFIP Advances in Information and Communication Technology; Vol. 450). Springer New York LLC. https://doi.org/10.1007/978-3-319-16766-4_18