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 http://gres.uninova.pt.
Document type :
Conference papers
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download

https://hal.inria.fr/hal-01343480
Contributor : Hal Ifip <>
Submitted on : Friday, July 8, 2016 - 2:58:24 PM
Last modification on : Friday, July 8, 2016 - 3:33:08 PM

File

336594_1_En_18_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

138

Files downloads

251