Repository logo
 
Publication

Remote operation of embedded controllers designed using IOPT Petri-nets

2015-09-28Conference object Restricted access
Simple item page
dc.contributor.authorPereira, Fernando
dc.contributor.authorMelo, Arildo
dc.contributor.authorGomes, Luís
dc.date.accessioned2016-04-14T15:11:38Z
dc.date.available2016-04-14T15:11:38Z
dc.date.issued2015-09-28
dc.description.abstractThis 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. © 2015 IEEE.pt_PT
dc.identifier.citationPEREIRA, Fernando; [et al] - Remote operation of embedded controllers designed using IOPT Petri-nets. In INDIN 2015 -13th International Conference on Industrial Informatics. Cambridge, UK : IEEE, 2015. ISBN 978-1-4799-6649-3. Pp. 572-579pt_PT
dc.identifier.doi10.1109/INDIN.2015.7281797pt_PT
dc.identifier.isbn978-147996649-3
dc.identifier.urihttp://hdl.handle.net/10400.21/5980
dc.language.isoengpt_PT
dc.peerreviewedyespt_PT
dc.publisherIEEE - Institute of Electrical and Electronics Engineers Inc.pt_PT
dc.relation.ispartofseries7281797
dc.subjectIOPT Petri-netspt_PT
dc.subjectRemote controlpt_PT
dc.subjectEmbedded-system controllerspt_PT
dc.titleRemote operation of embedded controllers designed using IOPT Petri-netspt_PT
dc.typeconference object
dspace.entity.typePublication
oaire.citation.conferencePlaceCambridge, United Kingdompt_PT
oaire.citation.endPage579pt_PT
oaire.citation.startPage572pt_PT
oaire.citation.titleINDIN 2015, 13th International Conference on Industrial Informaticspt_PT
person.familyNamePereira
person.givenNameFernando
person.identifier.orcid0000-0001-7255-369X
rcaap.rightsclosedAccesspt_PT
rcaap.typeconferenceObjectpt_PT
relation.isAuthorOfPublication7a448068-c78a-4f07-988e-3793c38f0e73
relation.isAuthorOfPublication.latestForDiscovery7a448068-c78a-4f07-988e-3793c38f0e73

Files

Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
Remote operation of embedded controllers designed using IOPT Petri-nets.pdf
Size:
762.1 KB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

ISEL - Eng. Electrotécn. - Comunicações