Skip to Main content Skip to Navigation
Conference papers

Cloud Based IOPT Petri Net Simulator to Test and Debug Embedded System Controllers

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
Document type :
Conference papers
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Friday, July 8, 2016 - 2:58:24 PM
Last modification on : Friday, July 8, 2016 - 3:33:08 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Fernando Pereira, Luis Gomes. Cloud Based IOPT Petri Net Simulator to Test and Debug Embedded System Controllers. 6th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2015, Costa de Caparica, Portugal. pp.165-175, ⟨10.1007/978-3-319-16766-4_18⟩. ⟨hal-01343480⟩



Record views


Files downloads