Remote operation of embedded controllers designed using IOPT Petri-nets

Fernando Pereira, Arildo Melo, Luis Gomes

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-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 languageEnglish
Title of host publicationProceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages572-579
Number of pages8
ISBN (Electronic)9781479966493
DOIs
Publication statusPublished - 28 Sep 2015
Event13th International Conference on Industrial Informatics, INDIN 2015 - Cambridge, United Kingdom
Duration: 22 Jul 201524 Jul 2015

Conference

Conference13th International Conference on Industrial Informatics, INDIN 2015
CountryUnited Kingdom
CityCambridge
Period22/07/1524/07/15

Keywords

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

Fingerprint

Dive into the research topics of 'Remote operation of embedded controllers designed using IOPT Petri-nets'. Together they form a unique fingerprint.

Cite this