Remote operation of embedded controllers designed using IOPT Petri-nets

Fernando Pereira; Arildo Melo; Luis Gomes

doi:10.1109/INDIN.2015.7281797

Remote operation of embedded controllers designed using IOPT Petri-nets

Fernando Pereira, Arildo Melo, Luis Gomes

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

7 Citations (Scopus)

Abstract

This paper presents a new communication architecture to enable the remote control, monitoring and debug of embedded-system controllers designed using IOPT Petri nets. IOPT Petri nets and the related tools (http://gres.uninova.pt) have been used as a rapid prototyping and development framework, including model-checking, simulation and automatic code generation tools. The new architecture adds remote operation capabilities to the controllers produced by the automatic code generators, enabling quasi-real-time remote debugging and monitoring using the IOPT simulator tool. Furthermore, it enables the creation of graphical user interfaces for remote operation and the development of distributed systems where a Petri net model running on a central system supervises the actions of multiple remote subsystems.

Original language	English
Title of host publication	Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015
Publisher	Institute of Electrical and Electronics Engineers (IEEE)
Pages	572-579
Number of pages	8
ISBN (Electronic)	9781479966493
DOIs	https://doi.org/10.1109/INDIN.2015.7281797
Publication status	Published - 28 Sept 2015
Event	13th International Conference on Industrial Informatics, INDIN 2015 - Cambridge, United Kingdom Duration: 22 Jul 2015 → 24 Jul 2015

Conference

Conference	13th International Conference on Industrial Informatics, INDIN 2015
Country/Territory	United Kingdom
City	Cambridge
Period	22/07/15 → 24/07/15

Keywords

Computer Science
Artificial Intelligence
Engineering, Industrial
Engineering, Electrical & Electronic

Access to Document

10.1109/INDIN.2015.7281797

Cite this

@inproceedings{814303ce0be34280a262fde299cdc21a,

title = "Remote operation of embedded controllers designed using IOPT Petri-nets",

abstract = "This paper presents a new communication architecture to enable the remote control, monitoring and debug of embedded-system controllers designed using IOPT Petri nets. IOPT Petri nets and the related tools (http://gres.uninova.pt) have been used as a rapid prototyping and development framework, including model-checking, simulation and automatic code generation tools. The new architecture adds remote operation capabilities to the controllers produced by the automatic code generators, enabling quasi-real-time remote debugging and monitoring using the IOPT simulator tool. Furthermore, it enables the creation of graphical user interfaces for remote operation and the development of distributed systems where a Petri net model running on a central system supervises the actions of multiple remote subsystems.",

keywords = "Computer Science, Artificial Intelligence, Engineering, Industrial, Engineering, Electrical & Electronic",

author = "Fernando Pereira and Arildo Melo and Luis Gomes",

year = "2015",

month = sep,

day = "28",

doi = "10.1109/INDIN.2015.7281797",

language = "English",

pages = "572--579",

booktitle = "Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015",

publisher = "Institute of Electrical and Electronics Engineers (IEEE)",

address = "United States",

note = "13th International Conference on Industrial Informatics, INDIN 2015 ; Conference date: 22-07-2015 Through 24-07-2015",

}

Pereira, F, Melo, A & Gomes, L 2015, Remote operation of embedded controllers designed using IOPT Petri-nets. in Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015., 7281797, Institute of Electrical and Electronics Engineers (IEEE), pp. 572-579, 13th International Conference on Industrial Informatics, INDIN 2015, Cambridge, United Kingdom, 22/07/15. https://doi.org/10.1109/INDIN.2015.7281797

Remote operation of embedded controllers designed using IOPT Petri-nets. / Pereira, Fernando; Melo, Arildo; Gomes, Luis.
Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015. Institute of Electrical and Electronics Engineers (IEEE), 2015. p. 572-579 7281797.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Remote operation of embedded controllers designed using IOPT Petri-nets

AU - Pereira, Fernando

AU - Melo, Arildo

AU - Gomes, Luis

PY - 2015/9/28

Y1 - 2015/9/28

N2 - This paper presents a new communication architecture to enable the remote control, monitoring and debug of embedded-system controllers designed using IOPT Petri nets. IOPT Petri nets and the related tools (http://gres.uninova.pt) have been used as a rapid prototyping and development framework, including model-checking, simulation and automatic code generation tools. The new architecture adds remote operation capabilities to the controllers produced by the automatic code generators, enabling quasi-real-time remote debugging and monitoring using the IOPT simulator tool. Furthermore, it enables the creation of graphical user interfaces for remote operation and the development of distributed systems where a Petri net model running on a central system supervises the actions of multiple remote subsystems.

AB - This paper presents a new communication architecture to enable the remote control, monitoring and debug of embedded-system controllers designed using IOPT Petri nets. IOPT Petri nets and the related tools (http://gres.uninova.pt) have been used as a rapid prototyping and development framework, including model-checking, simulation and automatic code generation tools. The new architecture adds remote operation capabilities to the controllers produced by the automatic code generators, enabling quasi-real-time remote debugging and monitoring using the IOPT simulator tool. Furthermore, it enables the creation of graphical user interfaces for remote operation and the development of distributed systems where a Petri net model running on a central system supervises the actions of multiple remote subsystems.

KW - Computer Science

KW - Artificial Intelligence

KW - Engineering, Industrial

KW - Engineering, Electrical & Electronic

UR - http://www.scopus.com/inward/record.url?scp=84949506107&partnerID=8YFLogxK

U2 - 10.1109/INDIN.2015.7281797

DO - 10.1109/INDIN.2015.7281797

M3 - Conference contribution

AN - SCOPUS:84949506107

SP - 572

EP - 579

BT - Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015

PB - Institute of Electrical and Electronics Engineers (IEEE)

T2 - 13th International Conference on Industrial Informatics, INDIN 2015

Y2 - 22 July 2015 through 24 July 2015

ER -

Remote operation of embedded controllers designed using IOPT Petri-nets

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this