TY - GEN
T1 - Cloud based IOPT petri net simulator to test and debug embedded system controllers
AU - Pereira, Fernando
AU - Gomes, Luis
N1 - sem pdf
PY - 2015
Y1 - 2015
N2 - 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.
AB - 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.
KW - Cloud based tools
KW - Embedded systems
KW - Petri nets
UR - http://www.scopus.com/inward/record.url?scp=84926621207&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-16766-4_18
DO - 10.1007/978-3-319-16766-4_18
M3 - Conference contribution
AN - SCOPUS:84926621207
VL - 450
T3 - IFIP Advances in Information and Communication Technology
SP - 165
EP - 175
BT - Technological Innovation for Cloud-Based Engineering Systems - 6th IFIPWG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2015, Proceedings
PB - Springer New York LLC
T2 - 6th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2015
Y2 - 13 April 2015 through 15 April 2015
ER -