Cloud Based IOPT Petri Net Simulator to Test and Debug Embedded System Controllers - Technological Innovation for Cloud-Based Engineering Systems
Conference Papers Year : 2015

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.
Fichier principal
Vignette du fichier
336594_1_En_18_Chapter.pdf (847.05 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01343480 , version 1 (08-07-2016)

Licence

Identifiers

Cite

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⟩
85 View
299 Download

Altmetric

Share

More