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.
Type de document :
Communication dans un congrès
Luis M. Camarinha-Matos; Thais A. Baldissera; Giovanni Di Orio; Francisco Marques. 6th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2015, Costa de Caparica, Portugal. IFIP Advances in Information and Communication Technology, AICT-450, pp.165-175, 2015, Technological Innovation for Cloud-Based Engineering Systems. 〈10.1007/978-3-319-16766-4_18〉
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01343480
Contributeur : Hal Ifip <>
Soumis le : vendredi 8 juillet 2016 - 14:58:24
Dernière modification le : vendredi 8 juillet 2016 - 15:33:08

Fichier

336594_1_En_18_Chapter.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Fernando Pereira, Luis Gomes. Cloud Based IOPT Petri Net Simulator to Test and Debug Embedded System Controllers. Luis M. Camarinha-Matos; Thais A. Baldissera; Giovanni Di Orio; Francisco Marques. 6th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2015, Costa de Caparica, Portugal. IFIP Advances in Information and Communication Technology, AICT-450, pp.165-175, 2015, Technological Innovation for Cloud-Based Engineering Systems. 〈10.1007/978-3-319-16766-4_18〉. 〈hal-01343480〉

Partager

Métriques

Consultations de la notice

73

Téléchargements de fichiers

4